RISC Zero y Ligero se están uniendo para construir el futuro de la computación privada y verificable. Esto permite que aplicaciones de todo tipo demuestren cumplimiento mientras mantienen la privacidad.

Para ofrecer las mejores garantías de privacidad posibles, los usuarios necesitan pruebas del lado del cliente: los usuarios deberían poder generar pruebas en sus propios dispositivos, para estar seguros de que su información confidencial se mantiene segura.

La prueba del lado del cliente es posible con Ligero, pero con una advertencia: las pruebas de Ligero son demasiado grandes para verificarse en la cadena.

Este es un problema familiar en esta industria: hay una compensación natural entre la eficiencia del demostrador y la eficiencia del verificador; optimizar para la demostración del lado del cliente tiene naturalmente algunos costos en términos de la complejidad de la verificación.

La solución es la verificación recursiva: primero, realiza una prueba utilizando el sistema optimizado para la eficiencia del probador. Luego, verifica esa prueba en un sistema que está optimizado para la eficiencia del verificador. El resultado ofrece tanto una prueba rápida como una verificación eficiente.

RISC Zero y Ligero se están uniendo para hacer precisamente eso. Al permitir la verificación flexible de las pruebas de Ligero dentro de R0VM, habilitaremos a los usuarios para generar pruebas sobre datos privados, sin revelar ningún detalle más allá de lo que desean probar.