RISC Zero vytváří první formálně ověřený RISC-V zkVM. Pomocí @VeridiseInc nástroje Picus matematicky dokazujeme determinismus v našich obvodech. Náš cíl: zkVM, který je neuvěřitelně rychlý a prokazatelně bezpečný, aby vývojáři nikdy nemuseli dělat kompromisy.
33,81K