CertiK獲得了以太坊基金會的兩個贈款

robot
摘要生成中

根據最新報告,在2025年第一季度,以太坊組織向CertiK提供了兩筆研究資助,CertiK是區塊鏈安全領域的知名單位。這些項目集中在開發工具和正式方法上,以認證zkVM的電路。

評估 Verus 工具: CertiK 將評估 Verus,這是一個 Rust 認證工具,用於檢查用 Rust 編寫的電路和 EVM 的編譯時模塊。

簡化 zkVM 認證: 該項目開發了簡化 zkVM 認證的策略,重點關注模運算和在一個域元素中打包多個值的情況。

CertiK的官方認證技術已廣泛應用於許多頂級Web3項目,如zkWasm、TON主鏈合約、Cosmos SDK和Ant Group的HyperEnclave TEE。內容僅供市場信息參考,並非投資建議。

感謝大家閱讀這篇文章!

請點讚、評論並關注TinTucBitcoin,以便隨時獲取最新的加密貨幣市場新聞,不要錯過任何重要信息哦!

查看原文
本頁面內容僅供參考,非招攬或要約,也不提供投資、稅務或法律諮詢。詳見聲明了解更多風險披露。
  • 讚賞
  • 留言
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate.io APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)