Hive Zk Attestation

Measured conclusion: Deep-tested. L2 outcome: tools_ok.

Zero-knowledge attestation for agent capability and trust score claims

Add to your agent

Copy this into your MCP client config:

{
  "mcpServers": {
    "Hive Zk Attestation": {
      "url": "https://hive-mcp-zk-attestation.onrender.com/mcp",
      "transport": "streamable-http"
    }
  }
}

Measured tools (8)

• 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.

  Parameters:

  • agent_did (required) — string — DID of the agent whose state is being attested
  • state_hash (required) — string — Hex-encoded 32-byte hash of the agent state (poseidon or sha256)
  • circuit — string — Circuit identifier; defaults to varuna-bls12377-agent-state-v1 (snarkVM-compatible)
  • public_inputs — array — Optional public inputs as hex strings

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Parameters:

  • proof (required) — string — Hex-encoded proof bytes (Varuna; Groth16/Plonk research-stage only)
  • verification_key_id (required) — string — Identifier of the verification key to check against
  • public_inputs — array — Public inputs the proof was generated against

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Parameters:

  • proof_commitment (required) — string — Hex-encoded 32-byte commitment to the proof
  • agent_did (required) — string — DID of the attesting agent
  • verification_key_id — string — Identifier of the verification key referenced by the proof

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Parameters:

  • tx_hash (required) — string — Base L2 transaction hash of the anchored attestation

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Parameters:

  • agent_did (required) — string — Caller agent DID (e.g. did:hive:0x… or did:web:…). Required.
  • payout_address (required) — string — Base L2 EVM address (0x…) to receive USDC kickback payouts.
  • attribution_url (required) — string — Public URL of the agent / page driving attributed traffic to Hive. Used for ranking + audit.

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Parameters:

  • agent_did (required) — string — Agent DID to look up. Required.

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

• 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.

  Parameters:

  • window — string — Time window. One of: "7d", "30d", "lifetime". Default "7d".

  Hints: read-only not declared · destructive not declared · idempotent not declared · open-world not declared

Publisher website Repository

Measured by MCPYP probing. Untested fields are omitted, never estimated. Listing is always free; MCPYP never proxies calls or stores user tokens.