EIP-8440 提出执行链证明,让执行层同步变为常数时间
以太坊 Magicians 论坛发布 EIP-8440 执行链证明的讨论帖,节点只需验证一个递归证明,即可确认从头部信标区块回溯至证明起点的每个 payload 都有效执行,并确认其与信标链的绑定关系。
推荐理由:EIP-8440 用递归证明替代执行层全量重放,读者可了解它对节点同步成本与共识层规范的影响。
以太坊 Magicians 论坛发布 EIP-8440 执行链证明的讨论帖,节点只需验证一个递归证明,即可确认从头部信标区块回溯至证明起点的每个 payload 都有效执行,并确认其与信标链的绑定关系。
推荐理由:EIP-8440 用递归证明替代执行层全量重放,读者可了解它对节点同步成本与共识层规范的影响。
以太坊基金会与 Open Anonymity Project 推出 zkAPI,用户先把 ETH、USDC 等 credits 存入以太坊主网的 vault 合约,再用零知识证明授权有上限的 API 用量,使支付层与 API 提供方都无法把请求与身份关联。
推荐理由:zkAPI 把支付与身份拆成两层,读者可以了解零知识证明如何用于计量 API 的匿名付费。
Arbitrum 官方博客披露 ZK 证明接入的最新进展,ZK 证明已可用于 Arbitrum 区块验证,在 SP1 zkVM 中运行与乐观证明相同的状态转换函数,并已扩展至 Stylus 合约。
推荐理由:Arbitrum 官方披露 ZK 证明接入 BoLD 结算的六项进展,读者可了解提款时间从七天缩短到数小时的实现路径。