emiliaprotocol/emilia-protocol

解決する課題

EMILIA Protocol は、自律型AIエージェントが厳格かつ検証可能な権限なしに重大な操作（高額な支払いやリポジトリの削除など）を実行するセキュリティリスクに対処します。人間が承認した後に、エージェントが要求された操作（支払い金額や宛先の変更など）を不正に変更することを防ぎ、承認された通りの操作のみが実行されることを保証します。

仕組み

このプロトコルは、アイデンティティ（誰が呼び出しているか）とポリシー（一般的に何が許可されているか）を、権限（エージェントが実行できる特定のジョブ）から分離します。保護されたツールが実行される前の制御点として機能する「ゲート（Gate）」メカニズムを使用します。

1. マンデート（Mandate）: 顧客がタスクの具体的な制限、証拠要件、有効期限を定義します。
2. 正確なワークバインディング（Exact Work Binding）: プロトコルは、リクエストの特定のメソッド、ターゲット、およびすべての実質的なフィールドを正規オブジェクトにバインドします。
3. 検証と予約（Verification and Reservation）: 依存側が証拠を検証し、ローカルな承認決定を行い、エージェントがプロバイダーシステムに入る前に権限を予約します。
4. 実行（Execution）: システムは、リプレイ攻撃や盲目的な再試行を防ぐため、その承認インスタンスに対して1回のみのプロバイダー試行を許可します。

対象ユーザー

• AIエージェント開発者: MCP (Model Context Protocol) や HTTP を介して機密性の高いビジネスシステムと統合する必要がある自律型ワーカーを構築している方。
• 企業セキュリティチーム: AI主導の操作に対して、永続的で外部化された権限状態と厳格な監査証跡を必要とする組織。
• ソフトウェアエンジニア: 既存のツール（LangChainなど）をラップし、承認されたパラメータでのみ呼び出されることを保証したい開発者。

ハイライト

• 正確なアクションバインディング: 承認を特定のデータフィールドにバインドすることで、「見たものに署名する」というギャップを防ぎます。
• 形式検証: Tamarin lemmas と Dolev-Yao モデルを用いたセキュリティケースを含み、セキュリティの主張を証明します。
• MCP統合: 宣言された重大な操作を保護するための専用の MCP サーバーとツールを提供します。
• SDK: Python (LangChain) や JavaScript/TypeScript などの言語向けに、軽量な SDK ラッパーを提供します。
• オープン標準: 相互運用性のために IETF Internet-Drafts のポートフォリオに基づいています。