tapeout.pro

Independent tooling for TapeOut Protocol on BNB Chain — an on-chain logic-circuit protocol where transistors are ERC-1155 tokens and taped-out circuits are ERC-721 NFTs holding a real gate-level netlist.

Circuit Verifier

TapeOut scores a design against 256 fixed, public test vectors. Because those vectors never change, a circuit can be trimmed to pass exactly those and have the rest of its logic removed — scoring as correct while computing the wrong function.

The verifier checks a circuit against the on-chain reference implementation over every possible input. When a design differs it returns the exact input that proves it.

What we reverse-engineered

No TapeOut contract is verified on BscScan or Sourcify. Everything below came from bytecode and live storage reads.

Netlist encoding: Variable-length records — NAND 7 bytes, LATCH 4 bytes
Node indexing: 0/1 = constants, 2…1+inputs = inputs, then one node per gate
Reference designs: SSTORE2 data contracts at CREATE(registry, taskId)
Scoring: C = A·d^β with β=3, λ=6 — read from the mining contract
Hashpower: H = (b* + K_task·q)·P, q = clamp(C_ref/C, ¼, 4)