zk_verify_proof

shallow

io.github.srotzin/hive-mcp-zk-attestation · Verify this server

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.

100.0/100

1 trials · measured 8 days ago

zk_verify_proof scores 100.0/100 on Vouch's measured behaviour index, from 1 real invocation trials against io.github.srotzin/hive-mcp-zk-attestation, measured 25 Aug 2026 under methodology v0.2.0. Every measured component scored 100.

Component breakdown

ComponentWeightValue
Reliability35%not applicable
Schema integrity25%100.0
Failure behaviour15%not applicable
Latency15%not applicable
Concurrency10%not applicable

Tool details

Transport
remote
Credential class
self-provisionable
Input schema
not declared
Output schema
not declared
Side-effect classification
unclassified

Score history

DayScoreTierMethodology
2026-08-25100.0shallowv0.2.0

Probe evidence

ProbeOutcomes
schema_integritypass: 1

Raw request/response logs are not archived yet — the outcome counts above are drawn directly from every recorded trial.

Embed this score

Available for every tool, scored or not — not a verification perk. Always links back to this page.

Vouch score: zk_verify_proof
[![Vouch score](https://vouch.tools/api/tools/2c0aa11d-e81c-43df-abdf-2f6f3ea50600/badge.svg)](https://vouch.tools/tools/2c0aa11d-e81c-43df-abdf-2f6f3ea50600)
zk_verify_proof — Vouch