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

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 时间  以太坊  信标块  数据传播 

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

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

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

本文是 ZKStack 协议升级的技术结构探索系列的第一部分，介绍了 ZKChain 生态系统中用于安全跨链通信的三个关键 Merkle 树实现：`L2ToL1LogsTree`、`ChainTree` 和 `SharedTree`，分别从叶子节点、大小和根节点三个方面详细阐述了这些树的结构和功能。这些树的合理架构, 能够确保 ZKChain 及其结算层之间安全且可验证的通信。
ZkStack  ZKChain  Merkle 树  跨链通信  L2ToL1LogsTree  ChainTree  SharedTree 

Uniswap-V1 添加流动性解析

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

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

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

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 

区块约束共享：多中继包含列表及其他 - 权益证明/区块提议者

本文介绍了多中继包含列表（mrIL），这是一种使中继以最小的开销收敛到单个共享包含列表的方法。这通过减少任何单个中继对包含列表内容行使的自由裁量权来提高以太坊的抗审查性。此外，该协议可以轻松扩展到收敛共享的任何已签名提议者承诺列表，通过允许每个中继以更明智的方式执行区块合规性来最小化此类承诺的削减风险。
中继包含列表  mrIL  抗审查性  以太坊  区块构建  提议者承诺 

Go-ethereum实战笔记：从源码构建一个功能完备的私有测试网络

in  Web3
Go-ethereum实战笔记：从源码构建一个功能完备的私有测试网络与其在时常拥堵、水龙头枯竭的公共测试网上“看天吃饭”，不如在自己的机器上开辟一片绝对掌控的试验田。这篇实战笔记，便是我从零开始，亲手将官方Go-ethereum源码编译成一个功能完备的私有测试网络的完整记录。这里没有晦涩的理论，只
go  以太坊  Ethereum  Web3 

Safe：链上应用的所有权基础设施层

本文主要介绍了Safe从托管解决方案演变为链上所有权和账户基础设施的关键过程，以及Safe的核心协议和模块化账户堆栈。Safe通过模块化架构提供灵活性和可扩展性，通过有效分离交易执行、安全验证和标准支持的设计，实现传统EOA钱包无法实现的复杂功能。Safe生态系统在统一基础设施上连接了200多个应用程序，为用户提供集成的链上体验。
Safe  智能账户  模块化架构  多重签名  链上所有权  账户抽象 
  • 4pillars
  • 发布于 2025-07-16
  • 阅读 ( 1207 )
  • ( 11 )

为你的Web3应用选择合适的嵌入式钱包

稳定币交易量超过Visa和Mastercard的总和，钱包供应商Dynamic, Turnkey, Privy正在帮助主流用户和传统金融进入Web3基础设施。Stripe收购Privy和Bridge表明主流金融基础设施与加密货币轨道融合。智能账户通过EIP-7702实现gasless交易、批量操作和熟悉的身份验证。
稳定币  智能账户  EIP-7702  gasless交易  钱包基础设施  Web3 
  • gelato
  • 发布于 2025-07-16
  • 阅读 ( 1612 )
  • ( 45 )

展望 2030 年的以太坊

该文章预测了以太坊在2030年的发展方向，核心观点是以太坊将通过L1的优化和rollup技术，支持两种rollup架构：与以太坊深度整合的Aligned Rollup，以及追求高性能的Performance Rollup。文章还分析了以太坊在执行层、结算层、共识层和数据可用性层面的升级，以及这些升级如何影响rollup生态。
以太坊  Rollup  Layer2  EVM  RISC-V  数据可用性 
  • lemniscap
  • 发布于 2025-07-16
  • 阅读 ( 2686 )
  • ( 109 )

以太坊为什么需要提议者-建造者分离（PBS） ？

本文深入探讨了提议者-建造者分离（PBS）的概念及其在以太坊中通过MEV-Boost的实现，旨在缓解最大可提取价值（MEV）带来的负面影响。
MEV  mev-boost  提议者-建造者分离  PBS  区块构建  中继 

内地企业能办理香港稳定币牌照吗？答案来了！

在全球数字金融浪潮汹涌的当下，香港凭借其独特的金融地位和创新的监管举措，成为稳定币市场的焦点。众多内地企业也将目光投向了香港稳定币牌照，那么内地企业究竟能不能办理香港稳定币牌照呢？下面为你详细解答。内地企业申请香港稳定币牌照的可行性根据2025年5月21日通过、8月1日起生效的

走向多维——EVM Gas计量实证分析 - 执行层研究

本文总结了一项实证分析的关键结论，该分析侧重于理解不同的EVM gas计量方案如何影响网络吞吐量和区块利用率，特别是多维方案，其中不同资源的使用被分别计量。研究发现，采用多维gas计量方案可以显著提高L1的可扩展性，但同时也增加了复杂性，需要在复杂性和潜在收益之间进行权衡。
EVM  Gas计量  多维计量  网络吞吐量  区块利用率  以太坊 

Halmos v0.3.0 版本发布亮点

Halmos v0.3.0 发布，这是一个用于 EVM 智能合约的符号测试工具，通过符号执行来帮助发现错误和验证合约行为。此版本主要增加了对状态不变性测试的支持，并添加了覆盖率报告、性能改进、更好的求解器支持等功能。Halmos 现在可以查找以 `invariant_` 前缀开头的测试，并自动探索目标合约的状态，断言所有不变性条件，并报告任何失败。
EVM  智能合约  符号执行  测试  Solidity  Yices 

智胜Mempool掠夺者：对抗以太坊智能合约中的抢跑交易和恶意干扰攻击

本文深入探讨了以太坊智能合约中抢跑交易和恶意干扰攻击的原理、风险及应对措施。文章通过分析实际案例和提供代码示例，展示了如何利用承诺-揭示方案、时间锁、访问控制和熔断机制等技术手段，来保护智能合约免受攻击，确保交易的公平性和合约的稳定性。
前置交易  恶意干扰  智能合约  以太坊  承诺-揭示方案  安全 

30 行 Solidity 把现实房租变成 USDC 现金流：RWA 版「链上乐高」

前言30行Solidity，把一间收租公寓变成链上印钞机：完整开发、部署、测试实战；【业务场景全景图】角色：托管人（房东/资管公司）、投资人、租客、链上合约资产上链•托管人拥有一套月租3000USDC的公寓，估值30万USDC。•在链上一次性铸造1000
RWA  solibity  智能合约 
  • 木西
  • 发布于 2025-07-14
  • 阅读 ( 1213 )
  • ( 26 )

链抽象 意图的增强：资源锁

本文介绍了 Resource Locks 的概念及其在解决当前区块链用户面临的挑战中的作用，Resource Locks 通过临时锁定用户想要花费的资产，创建密码学承诺，保证资金的可用性，从而实现可靠的跨链执行，并改善用户体验，此外，文章还讨论了 Resource Locks 的不同类型与未来发展方向。
Resource Locks  跨链交易  意图(Intents)  链抽象  账户抽象  TEE（可信执行环境）