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...