アライドアーキテクツとNyx、AIエージェントでDeFiのセキュリティ耐性チェック実証へ

AIでDeFiプロトコルの安全性を評価

東証グロース上場のアライドアーキテクツが、ニックス・ファウンデーション（Nyx Foundation：以下、Nyx）と共同で、AIエージェントを活用したDeFi（分散型金融）プロトコルのセキュリティ耐性チェックに関する実証実験（PoC）を開始する。アライドアーキテクツが6月10日に発表した。

今回のPoCでは、代表的なDeFiカテゴリーから対象プロトコルを選定し、AIバグ発見システム「SPECA（Specification-to-Checklist Agentic Auditing）」と形式検証エージェントを用いて、セキュリティ評価を行うという。

評価対象は、スマートコントラクトのロジックに限らず、運用・設定・ガバナンスまでを含むものとなる。両社はこ…