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)