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