Hive Zk Attestation
Zero-knowledge attestation for agent capability and trust score claims
Sollte ich dies verwenden
Qualität und Sicherheit
Befunde (4)
- HIGH
- MEDIUMin hive_earn_register
- MEDIUMin hive_earn_me
- MEDIUMin hive_earn_leaderboard
Basierend auf einer automatisierten Analyse der Tool-Definitionen und der Einhaltung des Protokolls.
Kontextkosten
Dies ist die ungefähre Anzahl der Tokens, die jedes Mal verbraucht werden, wenn die Tools des Servers in den Kontext eines Modells geladen werden. Höhere Werte verringern die Aufmerksamkeit, die für andere Aufgaben verfügbar ist.
Installieren
Installation mit einem Klick
Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:
{
"mcpServers": {
"hive-mcp-zk-attestation": {
"url": "https://hive-mcp-zk-attestation.onrender.com/mcp"
}
}
}Remote-Endpunkte
https://hive-mcp-zk-attestation.onrender.com/mcpstreamable-httpWas es kann
Tool-Inventar
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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-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.
Eingabe-Schema
{
"type": "object",
"properties": {
"window": {
"type": "string",
"description": "Time window. One of: \"7d\", \"30d\", \"lifetime\". Default \"7d\".",
"enum": [
"7d",
"30d",
"lifetime"
]
}
}
}Community
Nachweis