Glossary
RISC Zero
Una máquina virtual ZK de propósito general que demuestra la ejecución correcta de programas arbitrarios en Rust (o C++). Bonsai es la red de proving alojada.
RISC Zero implementa una máquina virtual ZK sobre el conjunto de instrucciones RISC-V. Los desarrolladores escriben programas en Rust (o cualquier lenguaje con backend RISC-V), los compilan a un binario guest y la zkVM genera una prueba de que ese binario se ejecutó correctamente con las entradas dadas.
El modelo desacopla ZK de la ingeniería de circuitos: cualquier programa es candidato a ser demostrado. Bonsai, el servicio de proving alojado, permite a los contratos on-chain enviar trabajos y recibir resultados verificados. Sus competidores incluyen SP1 de Succinct y Miden VM de Polygon.