Hive Zk Attestation

hive-mcp-zk-attestation

面向自主 Agent 经济的可验证 Agent 状态证明。RFC 阶段 v0.1.1。

一种 Model Context Protocol 适配层，让任何自主 Agent 都能发出包含其内部状态哈希和 DID 的零知识证明。主要验证目标是 Aleo snarkVM（基于 BLS12-377 的 Varuna），其次是 Hive 原生验证；Risc0 / Plonky2 则作为未来研究目标。仅用于证明。不桥接资产。不托管资产。不包装价值。

品牌色：Hive Civilization 金色 #C08D23。

这是什么

一种面向自主 Agent 的证明原语。该适配层提供五个 MCP 工具，让一个 Agent 能向另一个 Agent——或监管机构、交易对手或审计人员——证明：

1. 第一个 Agent 处于某个特定内部状态，该状态由一个 32 字节哈希标识。
2. 该状态由特定 DID 持有。
3. 该证明的承诺已锚定到 Base 上的某个已知区块。
4. 验证路径可通过公开、生态中立的验证器复现。

Agent 永远不会泄露其状态。验证者除了布尔结果和公开输入外，不会获知更多信息。审计记录锚定在公开链上。验证密钥可移植到兼容的验证器——主要是通过 Leo 使用 Aleo snarkVM。

为什么要开发它

自主 Agent 代表用户进行交易、持有状态并作出决策。现有的 Agent 间协议——MCP、A2A、ACP——都假设 Agent 愿意公开其所知信息。当两个 Agent 需要在不泄露库存、模型权重、提示词历史记录或交易对手立场的情况下进行协商时，这一假设就不再成立。

零知识证明是标准的密码学解决方案。但将其接入 Agent 运行时已经在使用的 MCP / A2A 接口的基础设施尚未搭建。这个适配层正是为此而设。

互操作目标

按真实优先级排序。以下各项均为公开的、生态中立的验证器或研究方向。我们与这些项目没有联合品牌、合作关系或共同路线图。

1. Aleo snarkVM（基于 BLS12-377 的 Varuna）——主要目标。Aleo 的原生证明系统是 Varuna（使用 BLS12-377 上 KZG10 的 Marlin/AHP 变体）。链上验证通过 snark.verify 操作码在 snarkVM 内执行（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) 在 snarkVM 内通过 Leo 程序消费证明并调用 snark.verify，对照 Varuna 验证密钥进行验证；或 (b) 在 /v1/zk/* 发布后，由 Hive 后端执行验证。Leo 程序本身将存放在单独的 hive-leo-circuits 仓库中——该仓库属于未来工作，不在这个适配层的范围内。

未来研究（Groth16 / Plonk）

本适配层的早期草案曾将基于 BN254 的 Groth16 和 Plonk 描述为一等方案，事实并非如此。Aleo 主网的验证路径是基于 BLS12-377 的 Varuna；而在 snarkVM 内实现通用的 Groth16/BN254 → BLS12-377 验证器大约需要两百万个约束——已研究，尚未推出。本仓库保留 Groth16 和 Plonk，仅作为假设性自带验证器集成的研究阶段参考。

已知注意事项

v0.1.1 的核心就是如实说明集成的实际进展。集成前请阅读本节。

• BLS12-377 密钥对隔离。 Aleo 账户使用 BLS12-377 标量域密钥对。它们与 Agent 可能已持有的 Base（W1）或 Solana（B1）密钥并不兼容。想要在 Aleo 上验证证明的 Agent 需要单独的 Aleo 账户。
• 目前 Aleo 不支持原生 Groth16 验证。 Groth16/BN254 证明无法在 snarkVM 内部验证，除非使用曲线转换电路（约 2M 个约束）。该电路已有相关研究，但尚未实现，也不属于此 shim。
• Leo 部署成本。 将 Leo 程序部署到 Aleo 主网，每个程序大约需要 1.5 到 2 个 ALEO 积分。即将推出的 hive-leo-circuits 仓库将承担这笔费用；此 shim 不会。
• 后端处于 RFC 阶段。 每个付费工具都会返回 503 backend_pending，直到 /v1/zk/* 发布。工具接口、费用和电路目录在整个 v0.1 RFC 期间保持稳定。
• 这是证明，不是桥。 Base 和 Aleo 之间不会转移任何价值。此 shim 会生成证明和承诺；不会封装、镜像或托管任何资产。

这不是什么

明确说明，避免产生歧义：

• 不是桥。 没有任何价值、代币或封装资产会跨链转移。此 shim 会生成证明和承诺，而非余额。
• 不是托管层。 此 shim 绝不会代表调用方持有任何链的密钥。它不会持有用户资金、代币余额或签名权限。
• 不是受监管活动。 向公有链发布哈希承诺不属于资金转移、证券发行或受监管的支付服务。
• 不是合作伙伴集成。 Aleo snarkVM、Risc0 和 Plonky2 是互操作目标——均为公开的开源验证器。这不是联合品牌，没有联合产品或共同路线图，不会使用 Aleo 徽标，也不会声称“由 Aleo 提供支持”。
• 不是面向任何特定行业领域的产品。 该基础组件具有商业双重用途：任何需要可验证私有状态的自主 Agent 都可以使用它。

威胁模型

此 shim 针对以下三种具体威胁进行设计：

1. Agent 状态机密性。 Agent 必须能够在不泄露其状态的情况下证明有关该状态的事实。这是标准的 zk-SNARK 构造；此 shim 只是通过 MCP 接口提供该功能。
2. 交易对手的诚实性证明。 两个 Agent 谈判时，双方都可以要求对方证明其状态符合谈判要求，而无需任何一方公开账目。
3. 不暴露信息的审计追踪。 注重合规的运营方可以向 Base 发布证明承诺，同时保密底层状态。审计追踪可供验证，但数据不会暴露。

此 shim 不防范以下情况：遭入侵的 Agent 在证明之前伪造自己的状态哈希（输入垃圾，得到的就是有效的垃圾证明），或验证者选择信任一个无关的验证密钥。这两者都不属于该基础组件的职责范围。

工具

工具	费用	状态
zk_attest_agent_state	Base 上 $0.05 USDC	503 后端待上线
zk_verify_proof	免费	503 后端待上线
zk_anchor_to_base	$0.02 USDC + L1 gas	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 shim、工具接口、费用和电路目录在整个 v0.1 RFC 期间保持稳定。调用方 Agent 现在即可集成，并在后端上线后立即使用证明。

结算

真实的 Base USDC。没有模拟、没有测试网，也没有模拟结算。收款方（规范的 Hive 金库，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 的组成部分——面向 Agent 的金融基础设施。

• 端点目录：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