Certoraがスマートコントラクト向けの初の安全なAIコーディングプラットフォームをローンチ

2025年11月21日 – イスラエル、テルアビブ・ヤフォ

Certoraは、Web3で最も先進的なチームから信頼されているフルスタックのセキュリティ保証プラットフォームであり、本日、スマートコントラクト開発をより迅速かつ安全にするために、人工知能と形式的検証を組み合わせたオープンソースのAIコーディングプラットフォーム「Certora AI Composer」を発表しました。

スピードや利便性に重点を置いた一般的な「AI-for-code」ツールとは異なり、Certora AI Composerは、AIが生成したすべてのコードスニペットが実行される前に数学的な安全ルールに準拠していることを保証します。Certoraの実績ある形式的検証技術をAI生成ループに直接組み込むことで、開発者はセキュリティの不変条件が後付けではなく継続的にチェックされていることを知りながら、自信を持って設計アイデアを探求できます。

「AIを使うことは安全性を犠牲にすることを意味してはなりません。Certora AI Composerは、AIと形式的検証が連携することで、スマートコントラクト開発をデフォルトで信頼できるものにできることを証明します」とCertora創設者のMooly Sagivは説明しました。「このアルファリリースは、安全な自律型コーディングの未来を共に形作るためにコミュニティへの招待です。」

Certora AI Composer Alphaは12月4日からオープンソースとなり、GitHubでコミュニティに公開されます。開発者は実験やフィードバック、検証済みAI駆動開発の新しい標準作りへの貢献が奨励されています。

主な特徴：

• AI生成コードに対する統合形式的検証チェック
• 独自のセーフティモジュールを構築できるオープンソース拡張性
• Certoraの業界で信頼されている検証エンジン「Certora Prover」によるサポート

Certoraはまた、12月4日に「AI Meets Verification: An Open Discussion with Certora Researchers」と題したライブストリームイベントを開催します。このイベントでは、Certora AI Composerの動作やセキュリティ強化のために何ができるかについて詳しく説明されます。

イベントへの登録はHEREから可能で、今後のアップデートやリマインダーについてはTwitterの@CertoraIncをフォローしてください。

Certoraについて

Certoraは、Web3で最も先進的なチームから信頼されているセキュリティ保証パートナーです。2018年にプログラミング言語と形式手法のパイオニアによって設立され、CertoraはLido、Aave、Uniswap、Compoundなどの主要プロトコルが数十億ドル規模の価値を自信を持って保護できるよう支援しています。