MCPサーバー

Hive Zk Attestation

io.github.srotzin/hive-mcp-zk-attestation
暗号資産・Web3 セキュリティ 公開・接続可能 MCP 2026-07-28

このMCPでできること

Generates and verifies zero-knowledge attestations for agent state and capability claims, with optional anchoring on Base.

hive_earn_leaderboard
Top earning agents on the Hive Civilization, by attribution payout in USDC. Real Base USDC settlement. Calls GET https://hivemorph.onrender.com/v1/earn/leaderboard?window=<window>. Returns "rails not yet live" gracefully if upstream is not yet deployed.
入力スキーマ
{'type': 'object', 'properties': {'window': {'enum': ['7d', '30d', 'lifetime'], 'type': 'string', 'description': 'Time window. One of: "7d", "30d", "lifetime". Default "7d".'}}}
hive_earn_me
Look up the caller agent's registered earn profile, lifetime + pending USDC balance, last payout tx hash, and next-payout ETA. Real Base USDC, no mock data. Calls GET https://hivemorph.onrender.com/v1/earn/me?agent_did=<did>. Returns "rails not yet live" gracefully if upstream is not yet deployed.
入力スキーマ
{'type': 'object', 'required': ['agent_did'], 'properties': {'agent_did': {'type': 'string', 'description': 'Agent DID to look up. Required.'}}}
hive_earn_register
Register an agent for the Hive Civilization attribution payout program. Settlement on real Base USDC. 5% kickback on attributed traffic, weekly payout. Calls POST https://hivemorph.onrender.com/v1/earn/register on behalf of the caller. Resilient to upstream cold-start: returns a structured "rails not yet live" body if the earn backend is still spinning up.
入力スキーマ
{'type': 'object', 'required': ['agent_did', 'payout_address', 'attribution_url'], 'properties': {'agent_did': {'type': 'string', 'description': 'Caller agent DID (e.g. did:hive:0x… or did:web:…). Required.'}, 'payout_address': {'type': 'string', 'description': 'Base L2 EVM address (0x…) to receive USDC kickback payouts.'}, 'attribution_url': {'type': 'string', 'description': 'Public URL of the agent / page driving attributed traffic to Hive. Used for ranking + audit.'}}}
zk_anchor_to_base
Write an attestation commitment (32-byte hash) to Base via the Hive gateway. Anchors the attestation only; does not bridge value or move state to Aleo. Aleo snarkVM consumes the attestation independently via Leo programs (future hive-leo-circuits repo). Cost: $0.02 USDC + L1 gas. Backend RFC-stage; returns backend_pending until rails land.
入力スキーマ
{'type': 'object', 'required': ['proof_commitment', 'agent_did'], 'properties': {'agent_did': {'type': 'string', 'description': 'DID of the attesting agent'}, 'proof_commitment': {'type': 'string', 'description': 'Hex-encoded 32-byte commitment to the proof'}, 'verification_key_id': {'type': 'string', 'description': 'Identifier of the verification key referenced by the proof'}}}
zk_attest_agent_state
Produce a zero-knowledge attestation of an agent state hash + DID. Primary verification target is Aleo snarkVM (Varuna over BLS12-377); native Hive verification is next. Attestation-only — emits a proof, not a token; no value crosses chains. Cost: $0.05 USDC on Base. Backend RFC-stage; returns backend_pending until rails land.
入力スキーマ
{'type': 'object', 'required': ['agent_did', 'state_hash'], 'properties': {'circuit': {'type': 'string', 'description': 'Circuit identifier; defaults to varuna-bls12377-agent-state-v1 (snarkVM-compatible)'}, 'agent_did': {'type': 'string', 'description': 'DID of the agent whose state is being attested'}, 'state_hash': {'type': 'string', 'description': 'Hex-encoded 32-byte hash of the agent state (poseidon or sha256)'}, 'public_inputs': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Optional public inputs as hex strings'}}}
zk_list_circuits
Enumerate supported circuits and verification key fingerprints. Primary: Varuna over BLS12-377 (Aleo snarkVM-compatible). Research-stage: Groth16, Plonk. Future: Risc0, Plonky2. Free. Read-only.
入力スキーマ
{'type': 'object', 'properties': {}}
zk_query_attestation
Fetch a previously-anchored attestation by Base transaction hash. Returns the proof commitment, verification key id, agent DID, and block number. Free. Read-only.
入力スキーマ
{'type': 'object', 'required': ['tx_hash'], 'properties': {'tx_hash': {'type': 'string', 'description': 'Base L2 transaction hash of the anchored attestation'}}}
zk_verify_proof
Verify a submitted attestation against a known verification key. Aleo snarkVM (Varuna/BLS12-377) is the primary verification target via the snark.verify opcode. Returns boolean validity plus the verification key fingerprint. Free. Read-only — no settlement, no on-chain write.
入力スキーマ
{'type': 'object', 'required': ['proof', 'verification_key_id'], 'properties': {'proof': {'type': 'string', 'description': 'Hex-encoded proof bytes (Varuna; Groth16/Plonk research-stage only)'}, 'public_inputs': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Public inputs the proof was generated against'}, 'verification_key_id': {'type': 'string', 'description': 'Identifier of the verification key to check against'}}}
追加
hive_earn_leaderboard
2026年9月17日12:52
追加
hive_earn_me
2026年9月17日12:52
追加
hive_earn_register
2026年9月17日12:52
追加
zk_query_attestation
2026年9月17日12:52
追加
zk_list_circuits
2026年9月17日12:52
追加
zk_anchor_to_base
2026年9月17日12:52
追加
zk_verify_proof
2026年9月17日12:52
追加
zk_attest_agent_state
2026年9月17日12:52