functionally equivalent to a Turing complete programming environment?
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
😱😱😱😱
functionally equivalent to a Turing complete programming environment?
Yes