Creo que @cosmwasm está profundamente subestimado. Puede implementar directamente el código de Rust. Estamos verificando pruebas aleatorias de zk en Cosmwasm porque es solo óxido literalmente no puede hacer eso en ninguna otra máquina virtual.