全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

SP1-CC 简介：释放 EVM 的全部力量

Succinct 推出 SP1-Contract-Call (SP1-CC)，这是一个新的 ZK 原语，旨在增强 EVM 的功能。SP1-CC 允许开发者访问历史区块链状态、执行任意的链下 Solidity 逻辑，并通过链上 ZK 证明来验证计算的正确性，从而突破 EVM 的限制，实现更灵活和可扩展的链上应用。
EVM  ZK证明  SP1-CC  智能合约  历史状态  链下计算 
  • Succinct
  • 发布于 2025-07-18
  • 阅读 ( 1044 )
  • ( 11 )

Gemini 如何使用 ZeroDev WebAuthn 验证器构建通用智能钱包

ZeroDev 的 Kernel 智能账户基于 ERC-7579 标准构建，具有模块化架构，允许互换组件。Gemini 利用 ZeroDev 的 WebAuthn 验证器插件快速开发了新的智能钱包，该验证器采用“双重模式”密钥验证，在支持 RIP-7212 的链上使用原生 RIP-7212 进行验证，否则回退到 Daimo 的 passkey 实现，从而实现通用地址和较低的 gas 成本。
智能账户  ERC-7579  WebAuthn  RIP-7212  Gas 成本  模块化 
  • zerodev
  • 发布于 2025-07-18
  • 阅读 ( 1119 )

ZKStack 跨链架构内幕 — 第一部分：Merkle 树层级结构的深度解析

本文是 ZKStack 协议升级技术结构的探索系列的第一部分，重点介绍了构成 ZKChain 生态系统中安全跨链通信骨干的三个关键 Merkle 树实现：L2ToL1LogsTree、ChainTree 和 SharedTree，并详细解释了它们的构成、大小以及根的用途。
ZKChain  Merkle树  L2ToL1LogsTree  ChainTree  SharedTree  跨链通信 

先发可证明断言 - Layer 2

本文提出了一种扩展 Rollup 灵活性的机制，允许 L2 用户和合约依赖对未来状态的任意断言，只要他们的交易以这些断言最终被证明为条件。文章探讨了 Rollup 通信的背景知识，介绍了 Anchor blocks，Same-slot message passing，以及实现实时 L1 读取、相互依赖的 L2 交易和跨 Rollup 断言的机制，并提供了一个建议的实现框架和示例。
Rollup  L2  L1  Anchor blocks  Same-slot message passing  跨链原子性 

Glamsterdam 方程 - 权益证明

本文提出了“Glamsterdam 方程”，旨在指导在较短的 slot 时间下，延迟执行 (delayed execution) 和 ePBS (enhanced Proposer Builder Separation) 之间的决策。
延迟执行  ePBS  slot 时间  以太坊  信标块  数据传播 

Web3 极客日报 #1779

  • rebase
  • 发布于 2025-07-18
  • 阅读 ( 905 )
  • ( 19 )

专访Anza性能团队的Alessandro Decina

本文采访了Anza性能团队的负责人Alessandro Decina，深入探讨了Solana如何通过不断优化和解决实际问题来提升区块链性能。 Decina分享了他对性能工程的见解，强调了实用主义和解决具体瓶颈的重要性，并展望了Solana未来的发展方向，包括更快的slot时间和更高的交易吞吐量。
Solana  性能优化  区块链  Agave  Turbine  XDP  AccountsDB 
  • Helius
  • 发布于 2025-07-18
  • 阅读 ( 1382 )
  • ( 17 )

RISE Chain 如何构建链上订单簿的基础设施

RISE Chain 是一个以太坊 Layer 2 解决方案，旨在通过其独特的架构创新，如 Shreds 技术和基于 Ethereum 验证器的排序方式，实现与中心化交易所相媲美的性能，特别是在链上中心限价订单簿（CLOB）方面。RISE Chain 致力于提供超低延迟、高吞吐量和完全的 EVM 兼容性，以支持各种去中心化金融应用。
Layer 2  CLOB  EVM  去中心化金融  以太坊  RISE Chain 
  • gelato
  • 发布于 2025-07-18
  • 阅读 ( 1296 )
  • ( 27 )

Uniswap-V1 添加流动性解析

本文将带你深入理解UniswapV1的添加流动性机制，从基础概念到代码实现，循序渐进。📚第一章：基础概念扫盲什么是DeFi和AMM？DeFi：去中心化金融，用智能合约替代传统银行AMM：自动做市商，用数学公式自动定价和交易的系统什么是流动性池？想象一个神奇的双格宝
Uniswap V1 
  • 李楠
  • 发布于 2025-07-18
  • 阅读 ( 1226 )
  • ( 21 )

使用 Chainlink CCIP 发送跨链“Hello World”

本文介绍了如何使用 Chainlink CCIP 将数据从一个链发送到另一个链。具体来说，展示了如何使用 Foundry 设置项目，编写一个 Solidity 函数，该函数可以将简单的字符串“hello world”从源链发送到目标链，并解释了关键的 CCIP 概念和函数，例如 `ccipSend` 和 `EVM2AnyMessage` 结构体。
Chainlink CCIP  跨链互操作  Solidity  智能合约  Foundry  EVM2AnyMessage 

区块链解密：哈希、区块和去中心化初学者指南

本文介绍了区块链安全和去中心化的基本原理，包括哈希函数、区块结构、挖矿过程、区块链的不可篡改性以及去中心化的重要性。文章还提及了数据在区块链中的存储方式以及一个可视化区块链运作方式的资源。
区块链  哈希函数  挖矿  去中心化  区块  加密 

ZKStack 跨链架构内幕 — 第一部分：Merkle 树层级结构的深度解析

本文是关于 ZKStack 协议升级的技术结构的探索，重点介绍了构成安全跨链通信骨干的三个关键 Merkle 树实现：`L2ToL1LogsTree`、`ChainTree` 和 `SharedTree`。文章详细描述了每个树的叶子节点构成、大小以及根的用途，并解释了它们在 ZKChain 生态系统中的作用，为理解跨链交互的底层机制提供了重要信息。
Merkle树  ZKChain  跨链通信  L2ToL1LogsTree  ChainTree  SharedTree 

比例带宽分配中的博弈论漏洞：FastLane的ShMonad协议的形式化分析

本文分析了基于Monad的Liquid Staking Token（LST）shMONAD的设计及其潜在的安全隐患。ShMonad通过按比例分配网络带宽来激励用户，但同时也存在过度承诺、财富集中、时机攻击等问题，为了保证长期稳定性，FastLane应考虑引入二次方承诺费、时间加权Stake锁、混合拍卖层等机制。
Liquid Staking Token  shMONAD  Monad  带宽分配  MEV  二次方承诺费 
  • thogiti
  • 发布于 2025-07-18
  • 阅读 ( 1241 )
  • ( 33 )

什么是多签名钱包？一个原理性介绍

本文介绍了多签钱包的工作原理、优点、适用人群和注意事项。多签钱包需要多个签名才能完成交易，提高了安全性，但也增加了复杂性。BitBox02 硬件钱包支持多签设置，并提供了与 Sparrow、Electrum 和 Specter Desktop 等钱包软件配合使用的指南。
多签钱包  数字签名  硬件钱包  BitBox02  Sparrow  Electrum 
  • BTCStudy
  • 发布于 2025-07-18
  • 阅读 ( 1847 )
  • ( 18 )

深度剖析：Solana链上活动 – 2025年6月

该报告深入分析了Solana区块链在2025年6月的链上活动。报告重点关注了网络性能指标，如区块时间、区块生产和跳过率的显著改进，以及Agave 2.0更新带来的影响。此外，报告还分析了验证器客户端的采用情况和程序活动的变化，包括程序部署和升级的增长，以及不同领域（如NFT、预言机、游戏和机器人）的计算单元（CU）消耗和调用频率的变化。
Solana  链上活动  验证器  区块时间  区块生产  跳过率 
  • syndica
  • 发布于 2025-07-18
  • 阅读 ( 1893 )
  • ( 48 )

AAVE V3 DeFi 集成技巧

该文章提供了关于Aave V3 DeFi集成的提示和指南，涵盖了Aave V3的具体功能，包括清算机制、E-mode、隔离借贷模式，以及如何进行供应、借贷和信用委托。此外，文章还分享了如何安全地将项目与Aave V3集成，并提供了一系列相关的链接和资源，方便读者深入了解Aave V3。
Aave V3  DeFi  集成  清算  E-mode  借贷 

solx 编译器彻底消除 "Stack too deep" 错误

本文深入探讨了zkSync的solx编译器如何解决Solidity开发者长期面临的“Stack too deep”错误。Solx通过扩展Solidity的内存布局，引入spill区域，并在LLVM基础设施之上进行优化，实现了比solc `--via-ir`更高效且语义更安全的代码生成，从而彻底消除了该错误，同时保持了合约行为的一致性。
Solidity  zkSync  Solx  编译器  EVM  stack too deep  LLVM  内存Spill 

Rust 编译器之旅记

本文深入讲解了 Rust 编译器的各个阶段，从词法分析、语法分析到生成 LLVM 代码。文章详细介绍了词法分析（Lexing）、语法分析（Parsing）、抽象语法树（AST）、高级中间表示（HIR）、类型化高级中间表示（THIR）、中间中间表示（MIR）以及 LLVM 代码生成等关键步骤，并解释了每个阶段的作用和原理
Rust  编译器  词法分析  语法分析  抽象语法树  LLVM  MIR  HIR  THIR 

Web3 极客日报 #1778

  • rebase
  • 发布于 2025-07-17
  • 阅读 ( 939 )
  • ( 29 )

TFHE-rs v1.3：CPU 除法加速、密钥升级器和 GPU 内存跟踪

TFHE-rs v1.3 版本在 CPU、GPU 和 HPU 后端带来了多项重大改进和新功能，主要包括：GPU 性能提升（整数对数运算速度提升 4 倍，其他操作速度提升高达 20%）、GPU 内存跟踪、CPU 除法加速（速度提升 36%）、零知识证明 v2、密钥升级器等，这些改进提高了全同态加密 (FHE) 工作负载的性能、可用性和安全性。
TFHE-rs  全同态加密  GPU  CPU  HPU  零知识证明 
  • ZamaFHE
  • 发布于 2025-07-17
  • 阅读 ( 1326 )
  • ( 34 )