Desempaquetando zk-SNARKs y zk-STARKs

El anonimato es genial en las criptomonedas. A lo grande. Ayuda con la fungibilidad, un requisito indispensable para cualquier moneda seria. La mayoría de las personas que tienen activos en criptomonedas no están exactamente emocionadas por tener sus asuntos financieros al descubierto. Entre la tecnología de privacidad para blockchains, zk-SNARKs y zk-STARKs parecen bastante especiales.

zk-SNARK significa Argumento de Conocimiento no Interactivo Sucesivo de Conocimiento. Bastante complicado. ¿zk-STARK? Eso es Argumento de Conocimiento Escalable Transparente de Conocimiento. Zcash utiliza zk-SNARKs. También lo hace JP Morgan Chase en algunos proyectos. Están por todas partes ahora. zk-STARKs son los nuevos en el barrio, supuestamente arreglando lo que está mal con el protocolo más antiguo.

La Historia de la Cueva

En 1990, un criptógrafo llamado Jean-Jacques Quisquater contó una historia sobre la cueva de Alibaba para explicar las pruebas de cero conocimiento. A la gente le encanta volver a contarla.

Imagina una cueva circular. Una entrada. Puerta mágica dentro. Necesitas una contraseña para esa puerta.

Alice quiere demostrar a Bob que sabe esta contraseña. Pero ella no se la dirá. De ninguna manera.

Bob espera afuera. Alice entra. Toma el camino 1.

Más tarde, Bob aparece y grita: "¡Sal camino 2!"

Si Alice conoce la palabra secreta, abre la puerta mágica y aparece donde Bob pidió. Mágico.

Haz esto unas cuantas veces. No solo suerte.

Este pequeño cuento muestra de qué tratan las pruebas de conocimiento cero. Probar que sabes algo sin revelar de qué se trata realmente.

zk-SNARK de Cerca

Zcash fue pionero en zk-SNARKs a gran escala. Monero hace la privacidad de manera diferente: humo y espejos con firmas en anillo. ¿Pero zk-SNARKs? Cambian el juego por completo. Transacciones encriptadas que aún se verifican. Asombroso. Los validadores de la red no necesitan todos los jugosos detalles. Solo prueba. Aunque curiosamente, las características de privacidad de Zcash ni siquiera están activadas por defecto. Tienes que activar ese interruptor tú mismo.

Las pruebas de conocimiento cero permiten a alguien demostrar que algo es verdadero sin revelar información adicional. Tienes un probador y un verificador. Algunas pruebas se mantienen en secreto. ¿El objetivo? Menos intercambio de datos. Mucho menos.

La parte "sucinta" significa que estas pruebas son rápidas de verificar. "No interactivas" significa un mínimo de intercambio. Las antiguas cosas de conocimiento cero necesitaban conversación. No estas.

Para 2025 (aparentemente), zk-SNARKs lo aplastan para operaciones simples. Pruebas rápidas. Tamaños de prueba pequeños. Están ganando la carrera de adopción gracias a todas las herramientas y el soporte de Ethereum.

Sin embargo, hay un inconveniente. Estas pruebas necesitan una "configuración de confianza"—parámetros públicos establecidos de antemano. Es como establecer las reglas del juego. ¿Problema? No muchas personas están involucradas en la creación de estos parámetros. Riesgo de centralización. Vaya.

Los investigadores están tratando de resolver este problema de confianza. La fase de configuración es importante porque cualquiera que conozca los valores aleatorios utilizados podría falsificar pruebas que parezcan válidas. Eso es malo.

Acerca del bit "Arguments"—los zk-SNARKs son mayormente seguros a menos que tengas un poder de computación masivo. Esto pone nerviosos a algunas personas sobre las computadoras cuánticas. El futuro se ve incierto allí.

"Conocimiento" significa que el demostrador realmente necesita saber la cosa que está demostrando. No se permite hacer trampa.

Estas pruebas se verifican rápidamente y no ocupan mucho espacio de datos. Buenas para la privacidad Y la escalabilidad. No está mal.

zk-STARKs Curso Intensivo

zk-STARKs aparecieron como la alternativa más fresca y rápida. ¡No se necesita una configuración de confianza! De eso se trata la "T" de transparencia.

Utilizan un cifrado simétrico más simple a través de colisiones de funciones hash. Este enfoque descarta las suposiciones matemáticas complejas de zk-SNARKs, que de todos modos podrían ser vulnerables a ataques cuánticos.

¿Una gran ventaja? La comunicación entre el probador y el verificador se mantiene constante sin importar cuán compleja se vuelva la computación. Con zk-SNARKs, más computación significa más mensajes volando de un lado a otro. Más datos en general.

La investigación de 2025 sugiere que zk-STARKs tienen tamaños de prueba más grandes pero manejan mejor cálculos más grandes. Parecen representar el futuro de esta tecnología: escalable, transparente y resistente a la cuántica. Sin embargo, zk-SNARKs dominan hoy en día debido a su infraestructura establecida.

Ambas tecnologías están ganando atención en el mundo de la privacidad. En cripto, podrían ser un cambio de juego. Revolucionarias, incluso. Veremos.