You know when risc-v vs custom zk ISA doesn't matter? When no one cares about generating proofs. Hopefully it's not the case =)
543