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
Certora Certora 是 Web3 领域最先进团队信赖的安全保障合作伙伴。Certora 由编程语言和形式化方法领域的先驱于 2018 年创立，帮助 Lido、Aave、Uniswap 和 Compound 等领先协议自信地保护数十亿美元的价值。
市场营销副总裁
伊利亚·莱博维奇
Certora
ilya@certora.com
微信里点“发现”，扫一下二维码便可将本篇文章分享至朋友圈
发布者：币下载 转转请注明出处：https://www.baidudian.cn/294372.html
