Ethereum Research· leolara·· 8 天前AI 评分38
Etheorem 更新：用 Lean 4 编写的完整可执行共识规范
Etheorem update: the complete executable consensus specs written in Lean 4
AI 导读
Etheorem 项目更新显示，用 Lean 4 编写的完整可执行共识规范已通过 Fulu、Gloas、Heze 三个分叉在状态转换、分叉选择及所建模容器上的全部 pyspec 测试向量，覆盖 mainnet 与 minimal 两套预设。
来源：Ethereum Research · ethresear.ch