What this is
Hive ZK attestation MCP server. Agent state proofs targeting Aleo snarkVM (Varuna/BLS12-377). RFC-stage, attestation-only, no asset bridging.
Settlement is real: USDC on Base L2 via Hive Civilization rails. No simulated proofs, no mock receipts. Pricing is per-call; see JSON-LD offers for the full schedule.
Tools (5)
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.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.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.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.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.
Discovery
GET /.well-known/mcp.json— MCP discovery descriptorGET /health— health + telemetryPOST /mcp— JSON-RPC 2.0 over Streamable-HTTP, MCP 2024-11-05GET /sitemap.xml— crawler sitemapGET /robots.txt— allow-all crawl policyGET /.well-known/security.txt— security contact