Foresight News 消息，安全审计机构 CertiK 宣布获得以太坊基金会 2025 年第一季度两项研究资助，主要用于 zkEVM 形式化验证领域研究。CertiK 通过其适合处理复杂零知识证明系统的“先进形式化验证”技术，为以太坊扩展性战略提供了更强的安全保障。CertiK 的形式化验证技术已应用于 zkWasm、TON 主链合约、Cosmos SDK 及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等多个 Web3 项目。 [查看更多]
免责声明：投资有风险，本文并非投资建议，以上内容不应被视为任何金融产品的购买或出售要约、建议或邀请，作者或其他用户的任何相关讨论、评论或帖子也不应被视为此类内容。本文仅供一般参考，不考虑您的个人投资目标、财务状况或需求。TTM对信息的准确性和完整性不承担任何责任或保证，投资者应自行研究并在投资前寻求专业建议。