我们很高兴能继续与以太坊基金会合作开展形式化验证工作！ 今年，我们将评估并改进 Hax（由 @CryspenHQ 开发）、ArkLib 和 CompPoly 的现状，以提升基于 Rust 的零密钥执行虚拟机 (zkEVM) 的安全性，并使其能够通过 Lean 4 进行形式化验证。 如果您对我们的工作感兴趣，欢迎联系我们！
本文为机器翻译
展示原文
EF Ecosystem Support Program
@EF_ESP
01-27
1/ Q4 2025 closed out the year with exciting growth across the ecosystem 🌳
Dive into the projects @ethereumfndn teams supported this quarter and see what our grantees have been building in our latest blog post!
来自推特
免责声明：以上内容仅为作者观点，不代表Followin的任何立场，不构成与Followin相关的任何投资建议。
喜欢
收藏
评论
分享
