Weet je wanneer risc-v versus custom zk ISA er niet toe doet? Wanneer niemand zich druk maakt om het genereren van bewijzen. Hopelijk is dat niet het geval =)