CertiK 获以太坊基金会一季度两项研究资助,用于 zkEVM 形式化验证研究

foresightnews
Yesterday

Foresight News 消息,安全审计机构 CertiK 宣布获得以太坊基金会 2025 年第一季度两项研究资助,主要用于 zkEVM 形式化验证领域研究。CertiK 通过其适合处理复杂零知识证明系统的“先进形式化验证”技术,为以太坊扩展性战略提供了更强的安全保障。CertiK 的形式化验证技术已应用于 zkWasm、TON 主链合约、Cosmos SDK 及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等多个 Web3 项目。 [查看更多]

Disclaimer: Investing carries risk. This is not financial advice. The above content should not be regarded as an offer, recommendation, or solicitation on acquiring or disposing of any financial products, any associated discussions, comments, or posts by author or other users should not be considered as such either. It is solely for general information purpose only, which does not consider your own investment objectives, financial situations or needs. TTM assumes no responsibility or warranty for the accuracy and completeness of the information, investors should do their own research and may seek professional advice before investing.

Most Discussed

  1. 1
     
     
     
     
  2. 2
     
     
     
     
  3. 3
     
     
     
     
  4. 4
     
     
     
     
  5. 5
     
     
     
     
  6. 6
     
     
     
     
  7. 7
     
     
     
     
  8. 8
     
     
     
     
  9. 9
     
     
     
     
  10. 10