Glossary
RISC Zero
Une machine virtuelle ZK généraliste qui prouve l'exécution correcte de programmes Rust (ou C++) arbitraires — Bonsai est le réseau de prouveurs hébergé.
RISC Zero implémente une machine virtuelle ZK sur le jeu d'instructions RISC-V. Les développeurs écrivent des programmes en Rust (ou tout langage avec un backend RISC-V), compilent vers un binaire guest, et la zkVM génère une preuve que le binaire s'est exécuté correctement sur les entrées données.
Le modèle découple la ZK de l'ingénierie de circuit : tout programme est candidat à la preuve. Bonsai, le service de prouveur hébergé, permet à des contrats on-chain de soumettre des jobs et de recevoir des résultats vérifiés. Les concurrents incluent SP1 de Succinct et la Miden VM de Polygon.