BITVEIL DEMO

Advanced Zero-Knowledge Proof Testing

Quick Examples

Input Vectors

Proof Tester

Generate a proof first to test different distance values

How It Works

  • 1.Enter two 32-bit binary vectors
  • 2.Generate a zero-knowledge proof of their Hamming distance
  • 3.Verify the proof without revealing the vectors
  • 4.Test different distances to see that only the correct one verifies

All computation happens in your browser using Halo2 ZK-SNARKs compiled to WebAssembly. No data is sent to any server.