Certora推出首个面向智能合约的安全AI编码平台

2025 年 11 月 21 日 – 以色列特拉维夫-雅法

  与那些侧重速度和便捷性的通用“AI代码生成”工具不同，塞托拉 AI Composer 确保每个AI生成的代码片段在运行之前都符合数学安全规则。通过将塞托拉久经考验的形式化验证技术直接嵌入到AI生成循环中，开发者可以自信地探索设计思路，因为安全规则会持续受到检查，而不是事后补救。

  “使用人工智能绝不应以牺牲安全性为代价。Certora AI Composer 证明，人工智能和形式化验证可以协同工作，使智能合约开发默认值得信赖，”Certora 创始人 Mooly Sagiv 解释道。“此次 alpha 版本发布，是我们向社区发出的邀请，希望大家能够帮助我们塑造安全自主编码的未来。”

  Certora AI Composer Alpha 将于 12 月 4 日开源，并在 GitHub 上向社区开放。我们鼓励开发者进行实验、提供反馈，并为构建经验证的 AI 驱动开发的新标准贡献力量。

  主要特点：

• 对人工智能生成的代码进行集成形式化验证检查
• 开源可扩展性，可用于构建您自己的安全模块
• 由 Certora Prover 提供支持，Certora Prover 是 Certora 行业信赖的验证引擎。

  Certora 还将于 12 月 4 日举办一场名为“AI 与验证：与 Certora 研究人员的公开讨论”的直播活动，届时将详细介绍 Certora AI Composer 的运行方式以及它如何增强安全性。

  用户可以报名参加该活动。这里并关注他们的推特账号 @CertoraInc，以获取未来的更新和提醒。

  关于 Certora

  CertoraCertora 是 Web3 领域最先进团队信赖的安全保障合作伙伴。Certora 由编程语言和形式化方法领域的先驱于 2018 年创立，帮助 Lido、Aave、Uniswap 和 Compound 等领先协议自信地保护数十亿美元的价值。

接触

市场营销副总裁
伊利亚·莱博维奇
Certora
ilya@certora.com