TapeOut Forge

A compiler for TapeOut circuits on X Layer. UNVALIDATED revenue, honest limits — see README. All computation below runs locally in your browser; nothing is sent anywhere.

Optimize a circuit

Format: boolean expression (a,b,c…; & | ^ !) truth table (0/1 per line) netlist hex (needs nIn/nOut) Objective: balancedareadepth nIn nOut Cref

Verified improvements (22/46 real FabX tasks, independently re-verified)

From the FabX replay (docs/FABX-REPLAY.md). Verified twice, independently: (1) this app's own TypeScript engine (packages/core/src/optimize.ts + equivalence.ts) and (2) a from-scratch Python tool with no shared code (packages/core/scripts/verify_beats.py) — 0/22 mismatches between them. "Beat" means our netlist costs strictly less than FabX's own reference under its scoring formula; q is capped at 4x.

Registry (on-chain best-circuit lookup)