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

Para ofrecer las mejores garantías de privacidad posibles, los usuarios necesitan pruebas del lado del cliente: los usuarios deben 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 verificarlas en la cadena.

Este es un problema familiar en esta industria: existe una compensación natural entre la eficiencia del probador y la eficiencia del verificador; La optimización de la prueba del lado del cliente naturalmente tiene algunos costos en términos de complejidad de la verificación.

La solución es la verificación recursiva: primero, haga una prueba utilizando el sistema optimizado para la eficiencia del probador. Luego, verifique esa prueba en un sistema optimizado para la eficiencia del verificador. El resultado ofrece una prueba rápida y 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, permitiremos a los usuarios generar pruebas sobre datos privados, sin revelar ningún detalle más allá de lo que quieren probar.