Hive Zk Attestation

Zero-knowledge attestation for agent capability and trust score claims

Should I use this

Quality & Safety

B
Description quality
100%
Schema completeness
90%
Naming quality
80%
Poisoning risk
40%
Permission match
100%
Protocol compliance
100%

Findings (4)

  • HIGHTool poisoning patterns detected
  • MEDIUMTool description contains URL to non-standard domainin hive_earn_register
  • MEDIUMTool description contains URL to non-standard domainin hive_earn_me
  • MEDIUMTool description contains URL to non-standard domainin hive_earn_leaderboard

Based on automated analysis of tool definitions and protocol compliance.

Context Cost

~1,191Tokens (tool definitions)
~840 BTypical response size
Moderate attention impact (0.93% of 128k context)

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-http

What it can do

Tool inventory

Tools (8)

🟢 Read-only🟡 Write🔴 Delete⚪ Unknown
⚪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

Rate this Server

Evidence

Recent observations

verifiedversion not recorded8 tools
verifiedversion not recorded8 tools
verifiedversion not recorded8 tools