EIP-8440 提出执行链证明，让执行层同步变为常数时间
以太坊 Magicians 论坛发布 EIP-8440 执行链证明的讨论帖，节点只需验证一个递归证明，即可确认从头部信标区块回溯至证明起点的每个 payload 都有效执行，并确认其与信标链的绑定关系。
推荐理由：EIP-8440 用递归证明替代执行层全量重放，读者可了解它对节点同步成本与共识层规范的影响。
赛道与方向
零知识证明 最新动态
零知识证明与 ZK 系统的研究、协议和工程进展。
7 条精选近 30 天 4 条共收录 20 条
更新
零知识证明的精选
Ethereum Magicians · EIP精选AI 评分6262
ethresear.ch · 全部精选AI 评分6262 以太坊后量子证明 ISA 方案比较：EVM、RISC-V 与 eISA
ethresear.ch 帖子讨论 EIP-8288 如何让交易依赖在 EVM 之外验证的后量子签名（leanSPHINCS）和 STARK 证明（leanSTARK），并比较以太坊可暴露的三种 ISA：EVM、RISC-V 和专为证明设计的 eISA。
推荐理由：文章比较以太坊可暴露的三种 ISA 在证明效率、稳定性与形式化验证上的取舍，并给出 EIP-8288 需要的一处改动。
以太坊基金会博客精选AI 评分6262 以太坊基金会探讨原生交易断言如何约束交易最终结果
以太坊基金会提出探索原生交易断言（native transaction assertions），让链上代码在交易执行后检查全部净状态变化，规则不满足则回滚交易动作，以应对盲签和交易结果不确定带来的用户风险。
推荐理由：文章梳理签名与执行结果脱节的几类真实案例，并给出 EIP-7906 的断言机制与设计取舍，便于理解交易结果约束这一方向。
以太坊基金会博客精选AI 评分7272 以太坊基金会与 Open Anonymity 推出 zkAPI，用零知识证明为 API 提供匿名付费额度
以太坊基金会与 Open Anonymity Project 推出 zkAPI，用户先把 ETH、USDC 等 credits 存入以太坊主网的 vault 合约，再用零知识证明授权有上限的 API 用量，使支付层与 API 提供方都无法把请求与身份关联。
推荐理由：zkAPI 把支付与身份拆成两层，读者可以了解零知识证明如何用于计量 API 的匿名付费。
a16z crypto精选AI 评分6262 a16z crypto 发布 Lattice Jolt，改用格密码的后量子 zkVM
a16z crypto 发布开源 zkVM 新版本 Lattice Jolt，把底层密码学从椭圆曲线换成格，用基于 Module-SIS 假设的 Akita 替换原有的 Dory 多项式承诺方案，使其具备后量子安全性。
推荐理由：a16z 把 Jolt 的承诺方案从椭圆曲线换成格，读者可了解后量子 zkVM 在证明速度与证明体积上的取舍。
Arbitrum 博客精选AI 评分7272 Arbitrum 推进 ZK 结算，提款时间有望从七天缩短至数小时
Arbitrum 官方博客披露 ZK 证明接入的最新进展，ZK 证明已可用于 Arbitrum 区块验证，在 SP1 zkVM 中运行与乐观证明相同的状态转换函数，并已扩展至 Stylus 合约。
推荐理由：Arbitrum 官方披露 ZK 证明接入 BoLD 结算的六项进展，读者可了解提款时间从七天缩短到数小时的实现路径。
Flashbots精选AI 评分6262 Flashbots 解析 TEE 证明的物理访问缺口，提出 DCEA 与 Intel POE 两条补足路径
Flashbots 发布研究文章指出，TEE 远程证明只证明 CPU 型号、微码版本和启动状态，无法证明处理器所在的物理位置，因此拥有服务器物理控制权的运营方可以在不受控环境中生成完全有效的证明。
推荐理由：Flashbots 系统梳理 TEE 证明的物理访问缺口，并对比 DCEA 与 Intel POE 两套补足方案在信任假设上的差异。