WEEX 唯客博客, PANews 5月14日消息,根據以太坊基金會官網顯示,區塊鏈安全機構CertiK近日榮獲以太坊基金會2025年第一季兩項研究資助,分別聚焦於開發者工具和zkVM電路驗證的形式化手段提升: Verus工具評估:CertiK將評估Verus(一種Rust驗證工具)在驗證用Rust編寫的電路及EVM預編譯模組的實用性。 zkVM電路驗證簡化:此專案旨在開發策略以簡化zkVM電路驗證,重點解決模組算術與多個數值打包為單一域元素的情況。 據悉,CertiK 的形式化驗證技術已廣泛應用於zkWasm、TON 主鏈合約、Cosmos SDK,以及螞蟻集團的HyperEnclave TEE、Asterinas OS 等多個頂級Web3 專案。 WEEX交易所官網:https://www.weex.com
CertiK榮獲以太坊基金會兩項資助,協助zkEVM形式化驗證新突破
Previous: Bitget 透過星鏈計劃,為偏遠地區提供公益網路服務
Next: 川普:我是加密貨幣的忠實粉絲