Bitcoin Optech Newsletter #426：BIP324 动态单字节消息类型 ID 与 Shielded Bitcoin 隐私转账提案
Anthony Towns 在 Bitcoin-Dev 邮件列表发布草案 BIP，允许节点在 v2 P2P 传输中自选单字节消息类型 ID，通过 set324alias 消息在连接时公布别名，省去新消息的全局协调。
#ZK
Bitcoin OptechAI 评分4040
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 需要的一处改动。
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 的断言机制与设计取舍，便于理解交易结果约束这一方向。
a16z crypto精选AI 评分6262 a16z crypto 发布 Lattice Jolt，改用格密码的后量子 zkVM
a16z crypto 发布开源 zkVM 新版本 Lattice Jolt，把底层密码学从椭圆曲线换成格，用基于 Module-SIS 假设的 Akita 替换原有的 Dory 多项式承诺方案，使其具备后量子安全性。
推荐理由：a16z 把 Jolt 的承诺方案从椭圆曲线换成格，读者可了解后量子 zkVM 在证明速度与证明体积上的取舍。
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 两套补足方案在信任假设上的差异。