关于执行模型、共识、EVM 基础与可验证 AI 的技术长文。每一篇洞察,都让 Web3 世界变得更清晰。
编辑推荐突破单线程执行有三条成熟路径:Sealevel 式确定性预声明、Block-STM 式乐观并发控制,以及 Sui 式对象模型。本文比较各自的假设、开发者代价与和 EVM 兼容性的关系。
阅读全文 →
TOKEN2049 Singapore 于 10 月 7 日至 8 日举行。Bitroot CEO Juan José 登上主舞台,分享并行化 AI Blockchain 与机器经济;团队通过展位、社区见面会与机构、交易所、项目方、开发者和 KOL 交流,并公布了下一阶段围绕 Pipeline BFT、并行化 EVM、去中心化 AI 与物理 AI 的建设方向。

9 月 29 日至 30 日,GWDC 2026 KOREA 在首尔 aT Center 举行。Bitroot CEO Juan José 登上主舞台,以 “The Parallel AI Blockchain for the Machine Economy” 为题发表演讲,团队同时通过 C08 展位与全球开发者、项目方和机构交流,并围绕并行化 EVM 与 AI 基础设施继续拓展韩国及国际生态合作。

执行客户端把 EVM 当作一块可替换的执行器,中间隔着一层状态访问接口。go-ethereum 的内置解释器、evmone 与 revm 定位各不相同,多实现一致性靠规范测试向量保障,解释器的优化空间则集中在分派、gas 计量与内存管理上。

状态变量按声明顺序落在 32 字节的槽里:小类型共享槽,映射与动态数组靠哈希派生位置,继承顺序还会整体平移槽号。这些定位规则决定了升级代理为什么必须绕开编译器会分配的槽。

四个调用指令在字节码里只差几个编号,语义却决定代码跑在谁的上下文、写谁的存储、msg.sender 与 address(this) 变成什么。逐个对照 CALL、CALLCODE、DELEGATECALL 与 STATICCALL,可以看清代理为何依赖 DELEGATECALL、STATICCALL 因何引入。

从裸 calldata 出发拆解 ABI:4 字节 selector 由规范签名截断而来,静态类型直接占满一个字,动态类型靠偏移量与长度二级寻址;事件把 indexed 参数写进 topics,换来可检索性。ABI 不自描述,解码与升级因此都受约束。

以太坊黄皮书把区块级状态转移写成嵌套调用,求值顺序因此属于规范的一部分。逐笔串行的语义来源、读写集冲突为何无法预先判定、确定性与验证简单性换来了什么,以及这个设计原点正在被怎样的方案正面回应,是接下来的主线。

区块头里的 stateRoot 只有 32 字节,却绑定了全网账户、余额与合约存储。下面拆开 Merkle Patricia Trie 的节点结构与账户下挂存储 trie 的设计,说明 Merkle 证明如何支撑链下校验,以及状态膨胀的成本落到谁身上。

Gas 是 EVM 的资源计量单位,价格则由费用市场决定;把两者混为一谈,会误判扩容与执行中止的边界。下面拆解固有成本与动态成本的构成,说明 out-of-gas 与 REVERT 各退什么,EIP-1559 的 base fee 与 tip 各归谁。

同一份 32 字节数据放在 memory、storage 还是 transient storage,gas 成本能差两个数量级,生命周期也完全不同。下面沿归属、寿命与计价三条线拆开三类存储,说明重入锁、临时数组与状态变量各自该放在哪里。

EVM 是一台没有寄存器的栈机:256 位字长、1024 项栈深、一个只能跳到 JUMPDEST 的程序计数器。取指、解码、执行这一轮循环解释了栈下溢与溢出为何烧光 gas,也解释了栈机相对寄存器机买到了什么、付出了什么代价。

把以太坊当成一本记录转账的账本,会漏掉它最关键的部分:账户存储里可任意读写的变量。依据黄皮书的状态转移函数 Υ(σ, T),以太坊是一个分布式状态机,EVM 是这套状态转移的执行规范。全网逐位重放又给执行语义带来了一组硬约束。

并行 EVM 的吞吐上限很少在转账基准里露馅,却常在 AMM、借贷与 NFT mint 上被打回原形。本文解释冲突热点如何形成、读写集粒度如何影响冲突率,以及峰值 TPS 在真实负载下如何退化。

更高的 TPS 是否靠更贵的硬件与更少的验证者换来?本文拆解验证者门槛、地理分布与客户端多样性等可核查维度,并讨论 BLS 聚合等工程回应——不构成投资建议。

TPS、BPS、确认延迟、最终性、冲突率经常被混用。本文给出可复用的定义、常见误用方式,以及阅读基准测试时必须追问的披露项——不构成任何投资建议。

合约开发者、客户端工程师、研究员关心并行 EVM 的角度完全不同。本文给出三条只指向已发布文章的阅读路径,帮不同背景的读者迅速定位该读什么、不必读什么。

「兼容 EVM」常被压成一句营销话术。真正决定迁移成本的,是字节码语义、预编译集合、JSON-RPC 行为,以及 Foundry/Hardhat 能否原样工作。本文拆清这四层,并说明并行执行下兼容性为何更难保住。

Bitroot 选择做乐观并行 EVM 的 Layer 1,意味着在结算域、兼容性与并行策略上同时取舍。本文用边界而不是口号说明它解决什么、不解决什么,以及技术组合如何互相支撑。

乐观并发控制源自 1981 年的数据库研究,今日成为并行 EVM 的常用骨架。本文用读—验证—写三阶段说明 OCC 假设,对比悲观锁与 MVCC,并指出区块链多出的确定性与拜占庭约束。

突破单线程执行有三条成熟路径:Sealevel 式确定性预声明、Block-STM 式乐观并发控制,以及 Sui 式对象模型。本文比较各自的假设、开发者代价与和 EVM 兼容性的关系。