🚨JUST IN:暗号資産セキュリティおよび監査会社@CertoraIncは、形式的検証をAI生成のスマートコントラクトコードに直接統合するオープンソースのAI Composerを発表しました。このツールは実行前に数学的な安全性チェックを実行します。