zk-SNARKs

Puntos clave

• Los zk-SNARKs son un tipo de prueba de conocimiento cero, que demuestra que algo es verdadero sin revelar la información que lo respalda.
• Se caracterizan por ser compactos y de verificación muy rápida, lo que los hace eficientes para su uso en blockchains.
• Se usan ampliamente en soluciones de privacidad y de escalabilidad, aunque algunas variantes requieren una etapa de configuración sensible.

¿Qué son los zk-SNARKs?

zk-SNARK es la sigla, en inglés, de argumento de conocimiento sucinto, no interactivo y de conocimiento cero. A pesar del nombre técnico, la idea central es accesible: se trata de una forma específica de prueba de conocimiento cero, es decir, un método para demostrar que una afirmación es verdadera sin revelar la información que la sustenta. Lo que distingue a los zk-SNARKs es cómo se construye y se verifica esa prueba.

Cómo funciona

Cada parte del nombre describe una propiedad. Sucinto significa que la prueba es pequeña y rápida de verificar, incluso si la afirmación subyacente es compleja. No interactivo significa que no hace falta un intercambio de mensajes entre quien prueba y quien verifica: basta con una sola prueba, que puede comprobarse en cualquier momento. Y conocimiento cero significa que la verificación no revela nada más allá del hecho de que la afirmación es verdadera. Juntas, estas propiedades hacen que los zk-SNARKs sean muy prácticos.

Estas características explican su popularidad en las blockchains. Como la prueba es compacta y barata de verificar, puede publicarse en la red sin sobrecargarla, lo que permite demostrar, por ejemplo, que un gran conjunto de transacciones es válido o que se cumplió una condición, sin exponer los datos involucrados. Esto habilita tanto soluciones de privacidad, que ocultan los detalles de las transacciones, como soluciones de escalabilidad, que demuestran muchas operaciones a la vez.

Sin embargo, hay un punto de atención conocido. Muchas construcciones de zk-SNARKs dependen de una etapa inicial de configuración que genera parámetros secretos. Si esos parámetros no se descartan correctamente, quien los posea podría, en teoría, falsificar pruebas, lo que exige un cuidado especial en esa fase. Existen variantes que reducen o eliminan este requisito, y suelen compararse con otra familia de pruebas, los zk-STARKs, que prescinden de esa configuración a costa de otras características. La elección entre ellas depende de las necesidades de cada aplicación.

Entender los zk-SNARKs ayuda a comprender una de las tecnologías detrás de la privacidad y la escalabilidad en cripto.

Por qué importa

Entender los zk-SNARKs ayuda a comprender una tecnología central detrás de las soluciones de privacidad y de escalabilidad en las blockchains, y por qué las pruebas compactas son tan útiles. Es un concepto cada vez más presente en la infraestructura cripto. Se trata de un tema técnico, sin que esto represente ninguna recomendación de operación.

Riesgos y limitaciones

Muchas variantes de zk-SNARKs dependen de una etapa de configuración inicial que, si se lleva a cabo de forma incorrecta, introduce el riesgo de pruebas falsificadas. Son técnicamente complejos, y las fallas de implementación pueden comprometer sus garantías. Generar las pruebas puede ser costoso, aunque verificarlas sea liviano. La elección frente a las alternativas depende del caso. Nada de esto representa una recomendación de operación.