我們很高興能繼續與以太坊基金會合作開展形式化驗證工作！ 今年，我們將評估並改進 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相關的任何投資建議。
喜歡
收藏
評論
分享
