Javascript is required

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

PANews
|

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

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

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

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

内容來源：PANews

FINMETA

香港Web3生態服務商

官方網站：www.finmeta.com.hk

公眾號、視頻號：FINMETA

X.COM：https://x.com/FINMETA_NEWS

YOUTUBE：https://www.youtube.com/@FINMETA_NEWS

Bilibili：https://space.bilibili.com/627654383/channel/collectiondetail?sid=652860

【線上社區】

TG group：https://t.me/finmeta_web3

WhatsApp group：https://chat.whatsapp.com/IgMyxP1ssiO0k212SJJ9U5

Discord group：https://discord.com/invite/vrBdf6YGP3

【線下空間】

Web3 Space：https://www.finmeta.com.hk/en-us/field

地址：香港金鐘道95號 統一中心 2001

Room 2001，Unity Center ，95 Queensway, Admiralty, Central District, Hong Kong Island

FINMETA所刊載內容之知識產權為FINMETA及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。如有意願轉載，請發郵件至[email protected]，獲得書面確認及授權後，方可轉載。