仕様書からチェックリストを生成し、監査を支援

イーサリアム関連の研究開発を手掛ける一般社団法人Nyx Foundationは2026年5月7日、AI監査支援システム「SPECA」が、Ethereum Foundationのプロトコルセキュリティ研究チームによる助成に採択されたと発表しました。5月から4カ月間、仕様と実装の不整合を検出する技術を、Ethereumのセキュリティ検証工程へ組み込むための研究開発を進めます。

SPECAの正式名称は「Specification-to-Checklist Agentic Auditing」です。自然言語の仕様書に記された要件を検証用チェックリストへ変換し、対応するコードの箇所を調べて、実装が要件を満たしているかを確認します。同じチェック項目を複数のクライアントに適用することで、ある実装で見つけた問題を他の実装でも追跡する仕組みです。

採択された研究は、大規模言語モデルをプロトコルセキュリティ研究に取り入れる財団の公募に応じたものです。公募では、更新される仕様の読み取りやコードとの照合、GitHub上の変更確認への組み込みが求められています。こうした条件からは、AIの検出能力とともに、開発者が日常の作業で使える形に整えることが重視されていると読み取れます。

複数クライアントを支える、仕様との一致

Ethereumでは、異なる開発チームが複数のクライアントを開発・保守しています。クライアントはネットワークに参加するノードのソフトウェアで、共通の仕様に従いながら、異なる言語やコードで同じ機能を実現します。特定の実装に不具合が生じた場合に影響を分散できるため、この多様性はネットワークの耐障害性を支える設計です。

その一方、共通のルールの解釈に差が生じると、クライアント間でブロックの有効性などの判定が食い違うおそれがあります。不整合の内容や利用状況によっては、取引の確定やチェーンの整合性に影響するため、仕様に沿った動作の確認は、アプリケーションが依存する基盤の信頼性にも関わります。

複数実装に同じ入力を与えて結果を比較する差分テストは、動作の違いを見つける手法です。ただし、全実装が同じ要件を誤って解釈している場合には、結果の一致から問題を見抜くことが難しくなります。SPECAの研究論文はこの課題を挙げており、仕様に立ち戻って確認項目を作る手法には、実装同士の比較を補う意義があります。

公開監査の実績と、人間による検証の役割

2026年2月公開の論文によると、SPECAを用いたFusakaアップグレードの公開監査では、11のクライアント実装を対象に54件の報告を提出し、主催者が17件を有効と判定しました。そのうち13件は、実装をまたいでチェックを適用した結果でした。研究チームは、確認項目の再利用が複数実装の監査を広げるうえで有効とみています。

この結果を読む際には、提出した候補と、審査で有効とされた報告を区別する必要があります。論文では、無効とされた報告の主要な原因として、監査対象の範囲や信頼の前提との不一致を挙げています。コード上の疑問点が実際の脆弱性に当たるかは、攻撃の成立条件や仕様上の想定まで照合して評価することになります。

したがって、SPECAの実用性は、候補を多く出せるかに加え、監査者が根拠を追い、検証や修正につなげやすいかという観点で評価するのが適切です。AIが探索を担い、人間が前提や影響を精査する分担が機能すれば、限られた専門家の時間を重要な問題に振り向けやすくなると考えられます。

開発工程への組み込みとLean 4との連携へ

Nyx Foundationは、実行層とコンセンサス層の仕様書を自動で読み込み、不整合を検出するCLI・APIの試作を計画しています。GitHubのCI/CDなど、コード変更を継続的に検査する工程に組み込み、開発の早い段階で仕様違反の候補を示す狙いです。仕様が変わるたびに確認対象を更新できれば、大型アップグレード前の監査を日常の開発へ近づけることになります。

さらに、SPECAが生成したセキュリティ要件をLean 4の形式仕様へ変換する仕組みも開発します。形式検証は、明示した条件の下で性質が成立するかを数学的に確認する手法です。連携の価値を左右するのは、元の仕様の意味を正確に形式化できるかという点であり、AIによる要件抽出と厳密な検証をつなぐ研究課題になります。

発表時点でSPECAのオープンソース化はすでに告知されており、助成期間中は監査と修正提案を続けながら、一般利用に向けたツール整備を進める予定です。今後の焦点は、仕様変更への追従や誤検出への対応を含め、各クライアントの開発者が継続して使える運用に結び付くかです。再利用できる検証工程が育てば、実装の多様性を維持しながら共通ルールへの適合を確認する負担の軽減につながり得ます。

公式発表：Nyx Foundation PR TIMES

WEB3業界動向

WEB3業界動向HODL1、自社運用ノウハウを基に経営管理AIエージェントを提供開始 月次決算や内部監査を支援

WEB3業界動向StarPay-X、Aptos連携で対応チェーン拡大を検討 実店舗向けWeb3決済を協議

WEB3業界動向OKJ、大口OTC取引で売り注文に対応 法人向けにBTC・ETHを取り扱い

WEB3業界動向AWS、AIエージェント向け決済機能「AgentCore Payments」をプレビュー公開 Coinbaseのx402とStripe基盤を採用

WEB3業界動向日本国債のトークン化を共同検討 ステーブルコイン活用でレポ取引のT+0決済へ

WEB3業界動向Nyx Foundation、AI監査「SPECA」でEthereum財団の助成獲得 仕様と実装のズレ検出へ

WEB3業界動向GOODREI、デジタル終活支援サービス「デジ・タクセル」開始 スマホ・SNS・生成AI・暗号資産時代のデジタル遺品整理を支援

WEB3業界動向BTQ、韓国のiM BankによるKRWステーブルコイン実証に量子耐性セキュリティを提供

WEB3業界動向セイビ堂とNEORT、デジタルアートを生かしたDOOH領域で資本業務提携 筐体一体型作品の国内販売も

WEB3業界動向DTCC、DTCのトークン化サービスを10月に開始予定 7月に限定取引を計画

WEB3業界動向Ondo、J.P. Morgan、Mastercard、Rippleがトークン化米国債のクロスボーダー償還を実施 XRPLと銀行送金を接続

WEB3業界動向NIKKEI・NADAデジタルアセットカンファレンス2026、11月20日に開催へ 制度設計と市場実装に焦点

WEB3業界動向Solana財団、Pay.shを公開 AIエージェントがAPI利用料を都度決済

WEB3業界動向GameStop、eBayに555億ドルの買収提案 5％保有を背景に非拘束案を提示

WEB3業界動向SLV、スマホから始めるSolanaアプリ開発環境を公開 AIチャットUIもオープンソース化

WEB3業界動向デジタルプラットフォーマーら3社、ステーブルコイン統合基盤の共同検討を開始 発行・運用・決済を一体化

WEB3業界動向Pacific Meta、JPYCを活用した資産運用を開始 法人資金の保有・運用・決済を一体化する構想を提示

WEB3業界動向DatachainとProgmat、Swift連携のステーブルコイン送金特許を取得 Project Paxの基盤技術に

WEB3業界動向BluePay、Stripe連携で法定通貨決済を強化 ステーブルコイン決済との併用を支援

WEB3業界動向Paystand、企業財務向けステーブルコイン「USDb」発表 Rootstock上でB2B決済に活用へ

WEB3業界動向HODL1、自社運用ノウハウを基に経営管理AIエージェントを提供開始　月次決算や内部監査を支援

WEB3業界動向StarPay-X、Aptos連携で対応チェーン拡大を検討　実店舗向けWeb3決済を協議

WEB3業界動向OKJ、大口OTC取引で売り注文に対応　法人向けにBTC・ETHを取り扱い

WEB3業界動向AWS、AIエージェント向け決済機能「AgentCore Payments」をプレビュー公開　Coinbaseのx402とStripe基盤を採用

WEB3業界動向日本国債のトークン化を共同検討　ステーブルコイン活用でレポ取引のT+0決済へ

WEB3業界動向Nyx Foundation、AI監査「SPECA」でEthereum財団の助成獲得　仕様と実装のズレ検出へ

WEB3業界動向GOODREI、デジタル終活支援サービス「デジ・タクセル」開始　スマホ・SNS・生成AI・暗号資産時代のデジタル遺品整理を支援

WEB3業界動向セイビ堂とNEORT、デジタルアートを生かしたDOOH領域で資本業務提携　筐体一体型作品の国内販売も

WEB3業界動向DTCC、DTCのトークン化サービスを10月に開始予定　7月に限定取引を計画

WEB3業界動向Ondo、J.P. Morgan、Mastercard、Rippleがトークン化米国債のクロスボーダー償還を実施　XRPLと銀行送金を接続

WEB3業界動向NIKKEI・NADAデジタルアセットカンファレンス2026、11月20日に開催へ　制度設計と市場実装に焦点

WEB3業界動向Solana財団、Pay.shを公開　AIエージェントがAPI利用料を都度決済

WEB3業界動向GameStop、eBayに555億ドルの買収提案　5％保有を背景に非拘束案を提示

WEB3業界動向SLV、スマホから始めるSolanaアプリ開発環境を公開　AIチャットUIもオープンソース化

WEB3業界動向デジタルプラットフォーマーら3社、ステーブルコイン統合基盤の共同検討を開始　発行・運用・決済を一体化

WEB3業界動向Pacific Meta、JPYCを活用した資産運用を開始　法人資金の保有・運用・決済を一体化する構想を提示

WEB3業界動向DatachainとProgmat、Swift連携のステーブルコイン送金特許を取得　Project Paxの基盤技術に

WEB3業界動向BluePay、Stripe連携で法定通貨決済を強化　ステーブルコイン決済との併用を支援

WEB3業界動向Paystand、企業財務向けステーブルコイン「USDb」発表　Rootstock上でB2B決済に活用へ