Você sabe quando a risc-v vs custom zk ISA não importa? Quando ninguém se importa em gerar provas. Espero que não seja o caso =)