00
00
00
--
NAND(a, b) = NOT (a AND b)
NOT a = NAND(a, a)
AND a, b = NAND(NAND(a,b), NAND(a,b))
OR a, b = NAND(NAND(a,a), NAND(b,b))
1
2
3
4
5
sha256(canonical(netlist))
== record.hash
ecrecover(msg, sig)
== record.address
gates = |used(netlist)|
4 NAND = XOR