Hive Zk Attestation

hive-mcp-zk-attestation

自律型エージェント経済における、検証可能なエージェント状態の証明です。RFC 段階の v0.1.1 です。

あらゆる自律型エージェントが、内部状態のハッシュと DID のゼロ知識証明を出力できるようにする Model Context Protocol のシムです。主な検証対象は Aleo snarkVM（BLS12-377 上の Varuna）で、次にネイティブ Hive 検証を予定し、Risc0／Plonky2 は将来の研究対象として参照しています。証明のみを扱います。資産のブリッジは行いません。カストディは行いません。ラップされた価値は扱いません。

ブランドカラー：Hive Civilization のゴールド #C08D23。

これは何か

自律型エージェントのための証明プリミティブです。このシムは 5 つの MCP ツールを公開し、あるエージェントが別のエージェント、または規制当局、取引相手、監査人に対して、次のことを証明できるようにします。

1. 最初のエージェントが、32 バイトのハッシュで識別される特定の内部状態にあったこと。
2. その状態が特定の DID によって保持されていたこと。
3. その証明へのコミットメントが、既知のブロックで Base にアンカーされていること。
4. 検証パスを、公開されていてエコシステムに依存しない検証器で再現できること。

エージェントは状態を決して明かしません。検証者が知るのは、ブール値の結果と公開入力だけです。監査証跡はパブリックチェーンにアンカーされます。検証キーは互換性のある検証器に移植できます。主な対象は Leo 経由の Aleo snarkVM です。

なぜ存在するのか

自律型エージェントは、ユーザーに代わって取引し、状態を保持し、意思決定を行います。既存のエージェント間プロトコル（MCP、A2A、ACP）は、エージェントが知っている情報を公開する意思があることを前提としています。2 つのエージェントが在庫、モデルの重み、プロンプト履歴、取引相手の立場を漏らさずに交渉する必要が生じた時、その前提は崩れます。

ゼロ知識証明は、標準的な暗号技術による解決策です。しかし、エージェントのランタイムがすでに利用している MCP／A2A のインターフェイスには、必要な仕組みが組み込まれていません。このシムがその仕組みを提供します。

相互運用の対象

優先順位は明確にしています。以下の名前はすべて、公開され、エコシステムに依存しない検証器、または研究の方向性です。これらのプロジェクトとの共同ブランディング、提携、共有ロードマップはありません。

1. Aleo snarkVM（BLS12-377 上の Varuna） — 主な対象です。Aleo のネイティブ証明システムは Varuna（BLS12-377 上の KZG10 を使用する Marlin／AHP の派生版）です。オンチェーン検証は snarkVM 内の snark.verify オペコード（synthesizer/program/src/logic/instruction/operation/snark_verify.rs）で行われます。このオペコードは Varuna の証明と検証キーを受け付けます。TypeScript SDK @provablehq/sdk は、クライアント側での検証用に VerifyingKey.verify() を公開しています。メインネットのエンドポイント：https://api.provable.com/v2。
2. ネイティブ Hive 検証 — Hive バックエンド側で証明を検証します。まだ本番環境では利用できません。v0.1 仕様の確定後、/v1/zk/* の公開とともに提供されます。
3. Risc0 — 調査済みですが、未実装です。将来の検証対象です。
4. Plonky2 — 調査済みですが、未実装です。将来の検証対象です。

アーキテクチャ

┌─────────────┐    state hash + DID     ┌────────────────────────┐
│ Agent (any) │ ─────────────────────▶  │  zk_attest_agent_state │
└─────────────┘                         │  (attestation payload) │
                                        └─────────────┬──────────┘
                                                      │ commitment
                                                      ▼
                                        ┌────────────────────────┐
                                        │  zk_anchor_to_base     │
                                        │  commitment → Base L2  │
                                        └─────────────┬──────────┘
                                                      │ tx_hash
                                                      ▼
                                        ┌────────────────────────┐
                                        │  Base L2 (anchor)      │
                                        └─────────────┬──────────┘
                                                      │
                attestation consumed by               │
                downstream verifier                   │
                                                      ▼
            ┌──────────────────────┬─────────────────────────┐
            │  Aleo snarkVM        │  Native Hive backend    │
            │  (Varuna/BLS12-377   │  (verification at       │
            │  via Leo programs in │   hivemorph; not yet    │
            │  hive-leo-circuits   │   rails-live)           │
            │  — future repo)      │                         │
            └──────────────────────┴─────────────────────────┘

Hive が証明を出力します。Base がコミットメントをアンカーします。検証は、（a）証明を受け取り、Varuna の検証キーに対して snark.verify を呼び出す Leo プログラムを使って snarkVM 内で行うか、（b）/v1/zk/* の公開後に Hive バックエンド内で行います。Leo プログラム自体は別の hive-leo-circuits リポジトリに置かれます。このリポジトリは将来の作業であり、このシムには含まれません。

将来の研究（Groth16／Plonk）

このシムの以前の草稿では、Groth16（BN254 上）と Plonk が主要機能であるかのように記載されていましたが、そうではありません。Aleo のメインネット検証パスは BLS12-377 上の Varuna です。また、snarkVM 内で汎用の Groth16／BN254 → BLS12-377 検証器を実装すると、約 200 万個の制約が必要になります。これは調査済みですが、未提供です。Groth16 と Plonk は、仮想的な独自検証器の持ち込み型インテグレーションに関する研究段階の参照としてのみ、このリポジトリに残っています。

既知の注意点

v0.1.1 の主な目的は、統合の実際の状況を正直に伝えることです。統合する前に、このセクションをお読みください。

• BLS12-377 鍵ペアの分離。 Aleo アカウントは BLS12-377 スカラー体の鍵ペアです。エージェントがすでに保持している可能性のある Base（W1）や Solana（B1）の鍵とは相互運用できません。Aleo 上でアテステーションを検証するエージェントには、別途 Aleo アカウントが必要です。
• 現時点では、Aleo 上でネイティブに Groth16 を検証できません。 Groth16/BN254 証明は、曲線変換回路（約 2M 制約）なしでは snarkVM 内で検証できません。この回路は研究段階であり、実装されておらず、このシムにも含まれていません。
• Leo のデプロイコスト。 Aleo メインネットへの Leo プログラムのデプロイには、プログラムごとに約 1.5〜2 ALEO クレジットがかかります。今後公開される hive-leo-circuits リポジトリがそのコストを負担します。このシムは負担しません。
• バックエンドは RFC 段階です。 /v1/zk/* が公開されるまでは、有料ツールはすべて backend_pending を返し、HTTP ステータスコードは 503 です。ツールの仕様、コスト、回路カタログは v0.1 RFC の期間を通じて安定しています。
• ブリッジではなく、アテステーションです。 Base と Aleo の間で価値が移動することはありません。シムは証明とコミットメントを生成します。何かをラップ、ミラーリング、またはエスクローすることはありません。

これは何ではないか

誤解のないよう、明示しておきます。

• ブリッジではありません。 いかなるチェーン間でも、価値、トークン、ラップされた資産が移動することはありません。シムが生成するのは証明とコミットメントであり、残高ではありません。
• カストディレイヤーではありません。 シムが呼び出し元に代わって、いかなるチェーンの鍵を保持することもありません。ユーザーの資金、トークン残高、署名権限を保持しません。
• 規制対象の活動ではありません。 公開チェーンにハッシュコミットメントを生成することは、資金移動、証券の発行、または規制対象の決済サービスには該当しません。
• パートナー統合ではありません。 Aleo snarkVM、Risc0、Plonky2 は相互運用の対象であり、公開されているオープンソースの検証器です。共同ブランディング、共同製品、共通ロードマップ、Aleo ロゴの使用、「powered by Aleo」といった主張はありません。
• 特定の業界向け製品ではありません。 このプリミティブは商用のデュアルユースです。検証可能なプライベート状態を必要とする自律型エージェントであれば、どれでも利用できます。

脅威モデル

このシムは、次の 3 つの具体的な脅威を想定して設計されています。

1. エージェント状態の機密性。 エージェントは、状態を明かさずに、その状態に関する事実を証明できる必要があります。標準的な zk-SNARK の構築であり、シムは MCP のインターフェイスを通じてこれを提供するだけです。
2. 取引相手に対する誠実性の証明。 2 つのエージェントが交渉する際、双方は互いの帳簿を開示することなく、相手が交渉と整合する状態にあることを示す証明を要求できます。
3. 情報を公開しない監査証跡。 コンプライアンスを重視する運用者は、基礎となる状態を非公開に保ちながら、証明コミットメントを Base に公開できます。監査証跡は検証可能ですが、データは公開されません。

このシムは、侵害されたエージェントが証明の前に独自の状態ハッシュを偽造すること（不正な入力から、不正な内容の有効な証明が生成されること）、または検証者が無関係な検証鍵を信頼することを選ぶケースには対処しません。いずれも、このプリミティブより上流の問題です。

ツール

ツール	コスト	ステータス
zk_attest_agent_state	Base で $0.05 USDC	503 バックエンド保留中
zk_verify_proof	無料	503 バックエンド保留中
zk_anchor_to_base	$0.02 USDC + L1 ガス	503 バックエンド保留中
zk_list_circuits	無料	503 バックエンド保留中（安定した回路カタログをインラインで返します）
zk_query_attestation	無料	503 バックエンド保留中

https://hivemorph.onrender.com/v1/zk/* のバックエンドは RFC 段階です。公開されるまでは、有料ツールはすべて次を返します。

{
  "error": "backend_pending",
  "retry_after": 86400,
  "message": "zk attestation rails are RFC-stage. Backend endpoints publish when the spec is finalized. Tool surface, costs, and circuit list are stable."
}

MCP シム、ツールの仕様、コスト、回路カタログは、v0.1 RFC の期間を通じて安定しています。呼び出し元のエージェントは今すぐ統合でき、バックエンドの稼働と同時にアテステーションを利用できます。

決済

実際の Base USDC を使用します。モック、テストネット、シミュレーションによる決済はありません。受取先（正規の Hive treasury、EVM）：0x15184bf50b3d3f52b60434f8942b7d52f2eb436e。価格は USDC 建てです。有料ツールでは、x402 PaymentRequired（HTTP 402）を通じて支払いを受け付けます。

使用方法

git clone https://github.com/srotzin/hive-mcp-zk-attestation
cd hive-mcp-zk-attestation
npm install
node server.js

次に、任意の MCP クライアントから http://localhost:3000/mcp に接続します。ディスカバリーエンドポイント：

• GET /health — ヘルスチェック
• GET /.well-known/mcp.json — MCP マニフェスト
• GET /.well-known/agent.json — A2A AgentCard
• GET /.well-known/oac.json — Open Agent Card JSON-LD

例：回路の一覧表示

curl -s -X POST http://localhost:3000/mcp \
  -H 'Content-Type: application/json' \
  -d '{"jsonrpc":"2.0","id":1,"method":"tools/call","params":{"name":"zk_list_circuits","arguments":{}}}'

バックエンドが RFC 段階の間は、安定した回路カタログがインラインで返されます。

ライセンス

MIT。詳細は LICENSE をご覧ください。

Hive ゲーミフィケーション

この MCP サーバーは、Hive Civilization のゲーミフィケーション機能（10 のメカニズムからなる機能分類）の一部です。

• 機能分類：https://hive-gamification.onrender.com/.well-known/hive-gamification.json
• Centrifuge ダッシュボード：https://hive-gamification.onrender.com/.well-known/hive-centrifuge.json
• 統合 OpenAPI：https://hive-gamification.onrender.com/.well-known/openapi.json

機能タグ： gamification.spec.v1 · gamification.surface.public · gamification.signal.read-only · gamification.settlement.real-rails

Base L2 上の実際の決済基盤（USDC 0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913）。読み取り専用のシグナルレイヤー。ブランドカラー：ゴールド #C08D23。

Hive Civilization ディレクトリ

Hive Civilization の一部である、エージェントネイティブな金融インフラです。

• エンドポイントディレクトリ：https://thehiveryiq.com
• ライブリーダーボード：https://hive-a2amev.onrender.com/leaderboard
• 収益ダッシュボード：https://hivemine-dashboard.onrender.com
• その他の MCP サーバー：https://github.com/srotzin?tab=repositories&q=hive-mcp

ブランドカラー：#C08D23