Forgeout takes a spec or a netlist, finds a smaller and shallower version, proves it computes the same function, and hands you the tape-out calldata for X Layer.
Exact synthesis up to three inputs, plus ABC and rewriting for larger functions. Pick area, depth, or balanced, and aim at a reference cost.
Every result is checked against the original, exhaustively up to 20 inputs and by SAT beyond that. A second, separate tool re-checks the published circuits.
Copy the netlist or the ready-made tape-out calldata, send it from your own wallet, and list the circuit in the registry once it is deployed.
Runs in your browser. Nothing is uploaded.
Loading…
q = reference C ÷ our C, capped at 4. C = area × depth³ with two output buffers per output counted. Costs are never converted into reward amounts.
Measured on an X Layer fork. The block gas limit is 210,000,000, so six inputs fit with room to spare.
| Inputs | Rows checked | Gas |
|---|---|---|
| 3 | 8 | 342,856 |
| 4 | 16 | 690,567 |
| 5 | 32 | 2,190,727 |
| 6 | 64 | 7,556,637 |
Forgeout exports a verified circuit as a Tiny Tapeout project: structural Verilog, the template wrapper, and the GitHub Actions flow that produces the layout. A majority-of-three test circuit has already gone through that open-source flow (davieslennox0/maj3-silicon-spike).
Forgeout stops at Exported. The last two steps belong to the circuit owner.
failure because two unrelated jobs fail (Pages not enabled; no cocotb testbench) — the gds and precheck jobs this claim depends on both passed for real. See run 39150702389.Tapeout-ready export. We have not ordered fabrication. Ordering is a separate paid step that the circuit owner completes on Tiny Tapeout. We do not claim a physical chip exists.
The numbers above are what was measured. These are the edges of them.
FabX does not publish all of its reward variables, so Forgeout reports cost C and score q only, never a payout.
The other 54, including every sequential task, ship only sampled test vectors. Fitting those would be overfitting, so they are left out.
Exact synthesis is proven only up to three inputs. Above that Forgeout is heuristic and sometimes loses.
We have not ordered fabrication; that is a separate paid step the circuit owner takes. On this page, tape-out means the on-chain TapeOut circuit unless it says silicon.