Crypto Briefing· Estefano Gomez·· 3 小时前AI 评分72
以太坊 leanVM 完成端到端形式化验证，抗量子迁移目标定在 2028 年 12 月
Ethereum’s leanVM clears formal verification in its push toward quantum resistance
AI brief
The minimal zkVM behind Ethereum's post-quantum signature plan is now formally verified end to end, with a December 2028 target for the full transition Ethereum just checked off one of the less glamorous but more important boxes on its quantum defense roadmap. Ethereum Foundation researcher Justin Drake announced on No…
Source: Crypto Briefing · cryptobriefing.com