Independent Verification

Verify Any ZK Proof

Independently verify zero-knowledge proofs. Paste your proof, public signals, and verification key below.

🔬Why Independent Verification?

  • Verify proofs were actually generated with real ZK-SNARKs
  • Don't trust zkRune - verify mathematically!
  • Use any snarkjs-compatible verifier
  • Open source, transparent, trustless

Paste Your Exported Proof

Copy the entire JSON from zkRune's "Export → JSON → Copy" and paste below

💡

How to get this:

  1. Generate a proof on any template
  2. Scroll to "Export Proof" section
  3. Click "JSON" tab
  4. Click "Copy" button
  5. Paste here!

Verify with CLI (100% Independent)

1. Export your proof from zkRune (JSON format)

# Save files: proof.json, public.json, verification_key.json

# Verify with snarkjs CLI:
snarkjs groth16 verify \
  verification_key.json \
  public.json \
  proof.json

# Output: [INFO] snarkJS: OK!

2. Or use any zk-SNARK verifier (Solidity, Rust, Python)

zkRune uses standard Groth16 protocol - compatible with all major ZK libraries