Certora、AIと形式検証を統合した安全なスマートコントラクト開発基盤を公開
GlobeNewswireによると、Web3向けセキュリティ企業Certoraは、AI生成コードに形式検証を組み込み安全性を担保する開発基盤「Certora AI Composer」を公開した。AIが生成するコード断片を数学的安全ルールで自動検証する仕組みで、12月4日からオープンソースとして提供される。開発者は安全モジュールの拡張や検証エンジンCertora Proverを活用でき、同社はコミュニティと共に安全なAI主導開発の標準化を目指すとしていると報じた。



