Verify a Bitcoin chain proof

In this tab, on this device. Nothing is uploaded.

Drop a proof here

or click to choose a .snark / .bin file

What just happened. The proof was checked by a 1 MB WebAssembly build of the same verifier that ships as hazync-verify, running locally. There is no API call — if a server told you a proof was valid, you would be trusting the server, which is the thing this project exists to avoid.
  1. the SNARK verifies against the canonical guest image id
  2. the journal's self_id equals that id — recursion is pinned to this guest
  3. the domain tag is KIND_RANGE
  4. the range starts at block 1
  5. the in-boundary is genesis — hash, empty UTXO set, nBits, epoch start, times

Guest image id …