PANews 5月14日消息，據以太坊基金會官網顯示，區塊鏈安全機構CertiK近日榮獲以太坊基金會2025年第一季度兩項研究資助，分別聚焦於開發者工具和zkVM電路驗證的形式化手段提升：
Verus工具評估：CertiK將評估Verus（一種Rust驗證工具）在驗證用Rust編寫的電路及EVM預編譯模塊方面的實用性。
zkVM電路驗證簡化：該項目旨在開發策略以簡化zkVM電路驗證，重點解決模塊算術與多個數值打包為單一域元素的情況。
據悉，CertiK 的形式化驗證技術已廣泛應用於 zkWasm、TON 主鏈合約、Cosmos SDK，以及螞蟻集團的 HyperEnclave TEE、Asterinas OS 等多個頂級 Web3 項目。
内容來源：PANews
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。
PANews是區塊鏈和Web3.0領域領先的智庫型信息平台，為行業用戶提供具有國際視野的前沿資訊與報告。PANews優質多元的内容以圖文、音頻、視頻等形式在全網多渠道覆蓋，包含推特、微博、抖音、視頻號等主流平台，旨在成為用戶的Web3信息官。PANews同時還是騰訊新聞的内容合作夥伴，内容被福佈斯、財新等媒體引用，獲得騰訊新聞、今日頭條、澎湃新聞等頒發的相關獎項。PANews的兩位聯合創始人均為福
或
按钮分享