RISC Zero est en train de construire le premier RISC-V zkVM officiellement vérifié. À l’aide de l’outil Picus de @VeridiseInc, nous prouvons mathématiquement le déterminisme de nos circuits. Notre objectif : une zkVM à la fois incroyablement rapide et sécurisée, afin que les développeurs n’aient jamais à faire de compromis.