Every terminal line is verbatim real verifier output
Five acts, five minutes: a proof born on an H100 · verified on your machine · Apple refused at +272,548% · one flipped bit caught by the STARK · a track record that grows. One credential is 225 KB and verifies offline in ~81 ms.
The wall today: 77 credentials · 54 of them refusals · era v11
The proofs, the data, the verifier, the tampered file — all downloadable. The engine is live: submit a strategy, get a queued H100 proof, put a credential on the public wall. No signup theater. Real cryptography. This was never a demo of something coming — it is the production system, already running, shown at watching speed.
Demo terminal output recorded from the real Modal H100 batch (8 Aug 2026) and the shipped public verifier (era v11). Canonical offline verify time ~81 ms; the 38 / 24 / 50 ms figures inside the transcripts are measured single runs on an Apple-silicon laptop — measured runs faster. The visual panel is an illustration whose numbers come from the proofs. Every artifact is downloadable and re-verifiable on the verify page. MIZAN is a verification and technology provider, not an investment adviser, broker-dealer, or fund. Mizan Verification, Inc. (Delaware).