I built GateSmith for the TapeOut × X Layer Hackathon.
GateSmith turns human-readable Boolean rules into deterministic NAND circuits you can inspect locally and verify live on X Layer.
The flow:
Human Rule → Boolean → Truth Table → NAND Circuit → TapeOut → X Layer Verification
Our Genesis rule:
A AND B → 2 NAND gates → Circuit #1
The circuit is live on X Layer Mainnet. GateSmith performs 4 read-only eval() calls against Circuit #1 and compares them with the local deterministic results:
4 / 4 MATCH ✅
Live Demo:
gatesmith.onrender.com
GitHub:
github.com/luzecheng/gatesmi…
Built to make on-chain logic easier to inspect, reproduce, and verify.
#GateSmith #TapeOut #XLayer #IGNIX #Web3