Built — a free, read-only circuit verifier for
@Blonskr's TapeOut Protocol.
It checks any taped-out circuit against its on-chain reference implementation over EVERY possible input — not the 256 fixed vectors the protocol samples.
Then I ran it across all 12,176 miners.