Hive Zk Attestation
Zero-knowledge attestation for agent capability and trust score claims
Should I use this
Quality & Safety
Findings (4)
- HIGH
- MEDIUMin hive_earn_register
- MEDIUMin hive_earn_me
- MEDIUMin hive_earn_leaderboard
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"hive-mcp-zk-attestation": {
"url": "https://hive-mcp-zk-attestation.onrender.com/mcp"
}
}
}Remote endpoints
https://hive-mcp-zk-attestation.onrender.com/mcpstreamable-httpWhat it can do
Tool inventory
Tools (8)
⚪zk_attest_agent_state(agent_did, state_hash, circuit, public_inputs)
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.
Input Schema
{
"type": "object",
"properties": {
"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)"
},
"circuit": {
"type": "string",
"description": "Circuit identifier; defaults to varuna-bls12377-agent-state-v1 (snarkVM-compatible)"
},
"public_inputs": {
"type": "array",
"items": {
"type": "string"
},
"description": "Optional public inputs as hex strings"
}
},
"required": [
"agent_did",
"state_hash"
]
}🟢zk_verify_proof(proof, verification_key_id, public_inputs)
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.
Input Schema
{
"type": "object",
"properties": {
"proof": {
"type": "string",
"description": "Hex-encoded proof bytes (Varuna; Groth16/Plonk research-stage only)"
},
"verification_key_id": {
"type": "string",
"description": "Identifier of the verification key to check against"
},
"public_inputs": {
"type": "array",
"items": {
"type": "string"
},
"description": "Public inputs the proof was generated against"
}
},
"required": [
"proof",
"verification_key_id"
]
}🟡zk_anchor_to_base(proof_commitment, agent_did, verification_key_id)
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.
Input Schema
{
"type": "object",
"properties": {
"proof_commitment": {
"type": "string",
"description": "Hex-encoded 32-byte commitment to the proof"
},
"agent_did": {
"type": "string",
"description": "DID of the attesting agent"
},
"verification_key_id": {
"type": "string",
"description": "Identifier of the verification key referenced by the proof"
}
},
"required": [
"proof_commitment",
"agent_did"
]
}🟢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.
Input Schema
{
"type": "object",
"properties": {}
}🟢zk_query_attestation(tx_hash)
Fetch a previously-anchored attestation by Base transaction hash. Returns the proof commitment, verification key id, agent DID, and block number. Free. Read-only.
Input Schema
{
"type": "object",
"properties": {
"tx_hash": {
"type": "string",
"description": "Base L2 transaction hash of the anchored attestation"
}
},
"required": [
"tx_hash"
]
}🟡hive_earn_register(agent_did, payout_address, attribution_url)
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.
Input Schema
{
"type": "object",
"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."
}
},
"required": [
"agent_did",
"payout_address",
"attribution_url"
]
}🟢hive_earn_me(agent_did)
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.
Input Schema
{
"type": "object",
"properties": {
"agent_did": {
"type": "string",
"description": "Agent DID to look up. Required."
}
},
"required": [
"agent_did"
]
}🟢hive_earn_leaderboard(window)
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.
Input Schema
{
"type": "object",
"properties": {
"window": {
"type": "string",
"description": "Time window. One of: \"7d\", \"30d\", \"lifetime\". Default \"7d\".",
"enum": [
"7d",
"30d",
"lifetime"
]
}
}
}Community
Evidence