Ethereum Research 提案:为 Stealth Address Protocol 设计后量子花费方案 schemeId=6
Ethereum Research 社区提案提出将 ERC-5564 扩展为 schemeId=6,用后量子签名替换 ECDSA 以保护隐形地址协议的花费授权。
10月3日 · 周六论文、分析解读、协议升级与实践资料,为近期事件补充长期背景。
每天一份简报,把重要变化连起来看。
阅读今日简报 →Ethereum Research 社区提案提出将 ERC-5564 扩展为 schemeId=6,用后量子签名替换 ECDSA 以保护隐形地址协议的花费授权。
namnc 在 Ethereum Research 发布 Stealth Address Protocol 后量子升级系列的第二篇,提出以 ML-KEM 替换 ECDH 来保护支付发现与收款方不可关联性,并给出 schemeId 2-5 多种方案。
George 和 Kev 在 Ethereum Research 发文,以 TCB(可信计算基)为视角分析抽象以太坊客户端的形式化验证,将客户端模块分为易验证的纯模块和难验证的脏模块,并提出先将脏模块建模为不可信、再逐步向外扩展验证边界的两步做法。
Ethereum Research 上 Nashatyrev 提出 Snappy with a memory 方案,将 gossip 消息按整条流而非单条压缩,保留跨消息上下文以捕获冗余。
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。
推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。
Ethereum Foundation 学术秘书处宣布启动首届 PhD Fellowship 计划,资助与 Ethereum 相关的博士研究,本轮聚焦制度设计、公司治理、政治经济与去中心化 AI 等方向。