自选
我的自选
查看全部
市值 价格 24h%
  • 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

Certora推出首款智能合约安全AI编码平台(11月21日)

2025-11-22 02:00:16
收藏

Certora推出AI智能合约开发工具,融合形式化验证技术

2025年11月21日,以色列特拉维夫——全栈安全保障平台Certora今日正式发布Certora AI Composer。该开源人工智能编码平台将AI技术与形式化验证相结合,旨在提升智能合约开发的效率与安全性。

与注重速度和便捷性的通用AI编码工具不同,Certora AI Composer确保每段AI生成的代码在运行前均符合数学安全规则。通过将经过实践验证的形式化验证技术直接嵌入AI生成流程,开发者可以放心探索设计思路,同时持续验证安全不变量的有效性,而非事后修补。

Certora创始人Mooly Sagiv表示:“使用AI不应以牺牲安全性为代价。Certora AI Composer证明了人工智能与形式化验证可以协同工作,使智能合约开发天然具备可信基础。此次发布的Alpha版本是我们向社区发出的邀请,共同塑造安全自主编码的未来。”

Certora AI Composer Alpha版本将于12月4日起在GitHub开源。欢迎开发者进行测试并提供反馈,共同推动验证型AI驱动开发新标准的建立。

核心特性

· 对AI生成代码实施集成化形式验证
· 开源可扩展架构,支持自定义安全模块
· 搭载Certora行业公认的形式化验证引擎

Certora将于12月4日举办题为“AI遇见形式验证:与Certora研究团队公开对话”的线上直播活动,深入解析Certora AI Composer的运行机制与安全增强功能。

展开阅读全文
更多新闻