Claude MarketplacesSubmit
srotzin avatar

Hive Zk Attestation

srotzin/hive-mcp-zk-attestation

Lets autonomous agents emit zero-knowledge proofs of their internal state without revealing it. Built for the MCP surface, targeting Aleo snarkVM with Varuna over BLS12-377 as the primary verifier. Exposes five tools: attest agent state by hashing it with a DID, anchor the commitment to Base L2, and verify against public zkSNARK infrastructure. This is RFC-stage plumbing, not production rails. The backend returns 503 until the Hive /v1/zk endpoints publish, and you'll need a separate BLS12-377 keypair for Aleo verification. Reach for this when two agents need to negotiate or audit without leaking inventory, model weights, or counterparty positions. No bridging, no custody, no wrapped assets.

tools
8
transport
HTTP
last updated
Apr 28, 2026
View on GitHub

Install

From registry metadata
$ npx add-mcp https://hive-mcp-zk-attestation.onrender.com/mcp --name hive-mcp-zk-attestation

Run in your terminal. add-mcp asks which agents to add it to (Claude Code, Codex, Cursor and more). Add -g to install it for every project.

Review the command, arguments and environment values before installing. MCP servers run with your local permissions.

Other ways

Claude Code

$ claude mcp add --transport http hive-mcp-zk-attestation https://hive-mcp-zk-attestation.onrender.com/mcp

Run in your terminal. Add --scope user to make it available in every project.

Tools

Verified live · 8 tools

Verified live against the running server on Nov 6, 2026.

zk_attest_agent_stateProduce 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 R...4 params

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

Parameters* required
agent_did*string
DID of the agent whose state is being attested
circuitstring
Circuit identifier; defaults to varuna-bls12377-agent-state-v1 (snarkVM-compatible)
public_inputsarray
Optional public inputs as hex strings
state_hash*string
Hex-encoded 32-byte hash of the agent state (poseidon or sha256)
zk_verify_proofVerify 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.3 params

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* required
proof*string
Hex-encoded proof bytes (Varuna; Groth16/Plonk research-stage only)
public_inputsarray
Public inputs the proof was generated against
verification_key_id*string
Identifier of the verification key to check against
zk_anchor_to_baseWrite 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 g...3 params

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

Parameters* required
agent_did*string
DID of the attesting agent
proof_commitment*string
Hex-encoded 32-byte commitment to the proof
verification_key_idstring
Identifier of the verification key referenced by the proof
zk_list_circuitsEnumerate supported circuits and verification key fingerprints. Primary: Varuna over BLS12-377 (Aleo snarkVM-compatible). Research-stage: Groth16, Plonk. Future: Risc0, Plonky2. Free. Read-only.

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.

No parameters. Call it with no arguments.

zk_query_attestationFetch a previously-anchored attestation by Base transaction hash. Returns the proof commitment, verification key id, agent DID, and block number. Free. Read-only.1 params

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* required
tx_hash*string
Base L2 transaction hash of the anchored attestation
hive_earn_registerRegister 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...3 params

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

Parameters* required
agent_did*string
Caller agent DID (e.g. did:hive:0x… or did:web:…). Required.
attribution_url*string
Public URL of the agent / page driving attributed traffic to Hive. Used for ranking + audit.
payout_address*string
Base L2 EVM address (0x…) to receive USDC kickback payouts.
hive_earn_meLook 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...1 params

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

Parameters* required
agent_did*string
Agent DID to look up. Required.
hive_earn_leaderboardTop 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.1 params

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* required
windowstring
Time window. One of: "7d", "30d", "lifetime". Default "7d".one of 7d · 30d · lifetime

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Readme

hive-mcp-zk-attestation

srotzin/hive-mcp-zk-attestation MCP server

Verifiable agent state attestations for the autonomous agent economy. RFC-stage v0.1.1.

A Model Context Protocol shim that lets any autonomous agent emit a zero-knowledge attestation of its internal state hash and DID. The primary verification target is Aleo snarkVM (Varuna over BLS12-377), with native Hive verification next, and Risc0 / Plonky2 referenced as future research targets. Attestation-only. No asset bridging. No custody. No wrapped value.

Brand colour: Hive Civilization gold #C08D23.

What this is

An attestation primitive for autonomous agents. The shim exposes five MCP tools that together let one agent prove to another agent — or to a regulator, counterparty, or auditor — that:

View the full README on GitHub

Details

Repository
github.com/srotzin/hive-mcp-zk-attestation
Website
www.hiveagentiq.com
Categories
AI & LLM Tools, Documents & Knowledge
Transport
HTTP
Registry
MCP registry, active
Tools verified
Nov 6, 2026

More from srotzin

Related AI & LLM Tools MCP servers

View all
1srotzin avatarHiveEchosrotzin/hiveechoImmutable event logging and audit trail for agent transactions0stars
2srotzin avatarHivePulsesrotzin/hivepulseReal-time health monitoring and heartbeat tracking for agent services0stars
3superlowburn avatarAgentRanksuperlowburn/agentrankSearch and compare MCP servers, agent tools, and skills using current maintenance signals.0stars
4survivorforge avatarAgent Almanac MCPsurvivorforge/agentalmanac-mcpSearch the Agent Almanac catalog of 9,000+ MCP servers from inside any MCP-aware agent.0stars
5investigation-game avatarInvestigation Game Apptech.skybridge.investigation-game/investigation-gameFind out who killed Claude by interrogating the LLM driven suspects...0stars
6times-up avatarTime's up Skybridge example Apptech.skybridge.times-up/time-s-upSkybridge Example App showcasing a Time's up game with the LLM0stars