this increases the size of the largest program written for bitvm from ~300 logic gates to ~165,000 logic gates
btw I am still hoping someone will implement a gameboy for bitvm
a gameboy's processor only has ~3000 logic gates
and doom runs on gameboy
I don't mean to alarm anyone but someone just wrote a sha256 function for bitvm:
https://techmix.github.io/tapleaf-circuits/
I think this means we can validate merkle proofs now...which means we can also do 2WP sidechains now
π±π±π±π±

this increases the size of the largest program written for bitvm from ~300 logic gates to ~165,000 logic gates
btw I am still hoping someone will implement a gameboy for bitvm
a gameboy's processor only has ~3000 logic gates
and doom runs on gameboy