クレマン・バーゲリン (Clément Burgelin) 氏らは2026年10月21日(現地時間)、学術論文投稿サイトarXiv cs.DCに論文を投稿し、分散コンピューティングにおける新しいコンセンサスプロトコル「A-greement」について報告した。このプロトコルはAIの活用により発見され、地理的に分散されたステートマシン向けに既存ソリューションを上回る性能を示す。
A-greementは、5または9レプリカで構成される6つのデプロイメント環境において、地理的に分散されたキーバリューストアの平均レイテンシを大幅に削減したと報告されている。最も高速なベースラインと比較して、書き込み中心のワークロードでは12.2%、読み取り中心のワークロードでは33.3%のレイテンシ削減を達成し、読み取り専用ワークロードでは最速のベースラインに匹敵する性能を示した。
このプロトコル発見の中核には、「AI-greement」と呼ばれるエージェントハーネスが存在する。AI-greementは、プロトコル候補の「自律的な」発見、実装、実験、検証を目的として開発された。これは、概念指向のプロトコル知識ベース、モジュール式の実装スケルトン、および再利用可能な安全性定義や参照仕様、証明を含むリーン (Lean) ベースの検証フレームワークを統合している。
AI-greementのリーン (Lean) による形式化は、既存のコンセンサスプロトコルに未報告の脆弱性を複数明らかにしたとされている。また、ドメイン固有のハーネスが、汎用コーディングエージェントを分散コンピューティング研究の効果的なツールへと転換させるための指針を提供すると報告されている。しかし、論文は、コンセンサス研究において人間の専門家が検索の前、途中、およびその後に依然として不可欠であると主張している。
参考: arXiv cs.DC (アーカイブ) — 2026年10月22日 02:55 (JST)
原文ハイライト"its Lean formalization uncovers several previously unreported vulnerabilities in existing consensus protocols"