Web3安全公司Certora获得以太坊基金会资助

Odaily星球日报讯 Web3 安全公司 Certora 宣布获得以太坊基金会资助,具体金额暂未披露,相关资金将用于支持其验证自动预编译的正确性,自动预编译是零知识计算中的一项关键优化技术,由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发,据悉 Certora 计划开源其开发的规范、证明和验证框架。(Chainwire)

ETH-1.36%
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
0/400
暂无评论
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)