CertiK榮獲以太坊基金會兩項資助，助力zkEVM形式化驗證新突破

BTCC / BTCC Square / PanewslabTW /

Author:

PanewslabTW

發佈時間:

2025-05-14 18:22:38

PANews 5月14日消息，據以太坊基金會官網顯示，區塊鏈安全機構CertiK近日榮獲以太坊基金會2025年第一季度兩項研究資助，分別聚焦於開發者工具和zkVM電路驗證的形式化手段提升：

Verus工具評估：CertiK將評估Verus（一種Rust驗證工具）在驗證用Rust編寫的電路及EVM預編譯模塊方面的實用性。

zkVM電路驗證簡化：該項目旨在開發策略以簡化zkVM電路驗證，重點解決模塊算術與多個數值打包為單一域元素的情況。

據悉，CertiK 的形式化驗證技術已廣泛應用於 zkWasm、TON 主鏈合約、Cosmos SDK，以及螞蟻集團的 HyperEnclave TEE、Asterinas OS 等多個頂級 Web3 項目。

來源:

登入回覆

登入分享您的看法

前一篇

<< BSC基金會地址增持CGPT，ChainGPT啟動200萬枚代幣回購 >>

本站轉載文章皆來自公開網絡，部分由AI整理，僅為傳遞產業訊息，不代表BTCC立場。原創權益歸原作者所有。如發現版權問題，請透過[email protected]聯絡我們，我們將依法處理。 BTCC不對資訊準確性、時效性及完整性作任何保證，不承擔因依賴資訊而產生的任何責任。內容僅供參考，不構成投資、法律或商業建議。