RISC ZERO
Entreprise et framework open source spécialisés dans la création de preuves à divulgation nulle de connaissance à usage général. RISC Zero fournit une zkVM (zero-knowledge virtual machine) basée sur l’architecture de jeu d’instructions RISC-V, permettant d’exécuter du code arbitraire écrit dans des langages courants (Rust, C, C++) et de prouver cryptographiquement la validité de son exécution. Le prouveur génère des preuves STARK, qui sont ensuite encapsulées dans des preuves SNARK via un circuit Groth16 pour réduire leur taille et faciliter la vérification on-chain. Citrea utilise l’infrastructure de RISC Zero pour construire son zkEVM de Type 2, ce qui lui permet de prouver la validité de chaque lot de transactions exécutées sur le rollup. RISC Zero propose également Boundless, un réseau décentralisé de prouveurs permettant d’externaliser la génération de preuves.