¿Sabes cuándo no importa risc-v frente a un ISA zk personalizado? Cuando a nadie le importa generar pruebas. Espero que no sea el caso =)