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的运行机制与安全增强功能。

资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种