EIP-8440 提出执行链证明，让执行层同步变为常数时间
以太坊 Magicians 论坛发布 EIP-8440 执行链证明的讨论帖，节点只需验证一个递归证明，即可确认从头部信标区块回溯至证明起点的每个 payload 都有效执行，并确认其与信标链的绑定关系。
推荐理由：EIP-8440 用递归证明替代执行层全量重放，读者可了解它对节点同步成本与共识层规范的影响。
#ZK
Ethereum Magicians · EIP精选AI 评分6262
Bitcoin OptechAI 评分4040 Bitcoin Optech Newsletter #426：BIP324 动态单字节消息类型 ID 与 Shielded Bitcoin 隐私转账提案
Anthony Towns 在 Bitcoin-Dev 邮件列表发布草案 BIP，允许节点在 v2 P2P 传输中自选单字节消息类型 ID，通过 set324alias 消息在连接时公布别名，省去新消息的全局协调。
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 需要的一处改动。
Ethereum Magicians · EIPAI 评分2222 EIP-8301 提案：为 EVM 引入 MATMUL 操作码与分片张量状态转换引擎
EIP-8301 提出为 EVM 新增原生 MATMUL（0x0C）操作码，将内存重构为权重张量缓冲区、栈改为指针映射，并由全球验证者组成分片张量集群并行执行矩阵乘法。该提案把 RNN 隐藏状态转换与以太坊状态转换视为同构，Gas 按 MAC 硅周期与内存扩展计费，目前处于开放讨论与征求意见阶段。
ethresear.ch · 全部AI 评分3838 叠加 EEZ 与 FCR 如何实现无桥、无中介的跨 Rollup 支付：一个示例
通过叠加 FCR（快速确认规则）与 EEZ（以太坊经济区），跨 Rollup 支付可在约两个 slot（约 25 秒）内完成，无需跨链桥或可信中介。FCR 已于 2026-04-16 合并进以太坊共识规范，将区块确认等待从约 13 分钟缩短至约 13 秒；EEZ 由 Gnosis 与 ZisK 构建、以太坊基金会联合资助，把 Rollup 操作与主网操作打包进同一区块，消除跨层等待。
Delving BitcoinAI 评分3434 Writz Protocol 就比特币 SPV 轻客户端检查点信任、难度调整与重组处理征求评审
Writz Protocol 在 Delving Bitcoin 就其比特币侧 SPV 轻客户端设计征求评审，该协议让 BTC 抵押品留在比特币上、贷款以 USDC 在 Stellar 上发放。当前设计采用单一管理员设置的检查点、每 2,016 块难度调整、6 次确认存款深度，并跟踪累计链工作量以跟随最重链。ZmnSCPxj 建议改用硬编码最低 bits 值的无状态方案，并让确认深度随金额缩放。
以太坊基金会博客精选AI 评分6262 以太坊基金会探讨原生交易断言如何约束交易最终结果
以太坊基金会提出探索原生交易断言（native transaction assertions），让链上代码在交易执行后检查全部净状态变化，规则不满足则回滚交易动作，以应对盲签和交易结果不确定带来的用户风险。
推荐理由：文章梳理签名与执行结果脱节的几类真实案例，并给出 EIP-7906 的断言机制与设计取舍，便于理解交易结果约束这一方向。
Ethereum Magicians · EIPAI 评分4242 EIP-8435：为 PBT 叶子引入 Last-Written Block 字段
EIP-8435 提出在 Partitioned Binary Tree（PBT）的叶子中记录 last_written_block，为 EIP-8188 的写入时间信号在 PBT 中提供存放位置。
以太坊基金会博客精选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 结算的六项进展，读者可了解提款时间从七天缩短到数小时的实现路径。
ParadigmAI 评分3434 Paradigm 推出 Solidus：用自动化研究构建经形式化验证的 Solidity 编译器
Paradigm 推出 Solidus，一个用 Lean 构建经形式化验证的 Solidity 编译器的协作式自动化研究项目，并启动两个优化谜题：确定 Solidity 语言的冻结源语义，以及在保留证明的前提下优化已验证的后端。
Flashbots精选AI 评分6262 Flashbots 解析 TEE 证明的物理访问缺口，提出 DCEA 与 Intel POE 两条补足路径
Flashbots 发布研究文章指出，TEE 远程证明只证明 CPU 型号、微码版本和启动状态，无法证明处理器所在的物理位置，因此拥有服务器物理控制权的运营方可以在不受控环境中生成完全有效的证明。
推荐理由：Flashbots 系统梳理 TEE 证明的物理访问缺口，并对比 DCEA 与 Intel POE 两套补足方案在信任假设上的差异。