Hoy intenté mirar la idea de zkVM, que era nueva para mí, y en realidad me di cuenta de que no es tan compleja como parece.

Una zkVM es como una computadora que puede demostrar que hizo su trabajo correctamente.

Ejecuta tu código, obtiene una respuesta y luego genera una prueba de que hizo todo correctamente. Para comprobarlo, no tienes que hacer todo el proceso de nuevo. Solo verificas la prueba.

Esto hace que las cosas sean rápidas. Además, mantiene los secretos a salvo porque la prueba no muestra todos los pequeños pasos que se tomaron para llegar a la respuesta.

@0xMiden se basa en esta idea y son la razón por la que desarrollé interés en zkVM. Miden utiliza un zkVM para realizar cálculos y convertirlos en pruebas que la red puede verificar rápidamente.

Esto permite a las personas ejecutar cosas grandes y complicadas sin congestionar la red principal, pero aún así demostrar que se hicieron correctamente. Aligera la carga y mantiene todo el sistema funcionando.

También ayuda a Miden a mantener las cosas privadas. Puedes probar que hiciste algo sin mostrar ninguna de las cosas secretas involucradas.

Es una forma ordenada de mantenerse privado y verificable al mismo tiempo.