Vous savez quand le risc-v par rapport à l'ISA zk personnalisé n'a pas d'importance ? Quand personne ne se soucie de générer des preuves. Espérons que ce ne soit pas le cas =)