¿Qué significa zk-SNARK?
Significado de zk-SNARK
zk-SNARK significa Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argumento de Conocimiento No Interactivo Sucinto de Conocimiento Cero). Es una forma de tecnología de prueba criptográfica que permite a una parte (el probador) demostrar a otra parte (el verificador) que posee cierta información, como una clave secreta o detalles de transacción, sin revelar la información en sí. En términos simples, es una forma de demostrar que conoces un secreto sin decirle a nadie cuál es el secreto. Aunque fue diseñado originalmente para la privacidad, los zk-SNARKs se han convertido en una herramienta crítica para la escalabilidad de blockchain, permitiendo que las redes verifiquen grandes lotes de transacciones rápidamente sin procesar cada punto de datos individual. La tecnología fue popularizada por primera vez por Zcash, una criptomoneda enfocada en la privacidad lanzada en 2016, pero ahora es un bloque de construcción fundamental para las soluciones de escalado modernas de Ethereum Capa 2 conocidas como "ZK-Rollups".
Puntos clave
- Los zk-SNARKs permiten que los datos se verifiquen como verdaderos sin ser públicamente visibles en la blockchain.
- El acrónimo significa Zero-Knowledge (privacidad), Succinct (tamaño de prueba pequeño), Non-Interactive (no se requiere ida y vuelta), Argument of Knowledge (prueba matemática).
- La mayoría de los zk-SNARKs requieren un evento de creación único llamado "configuración de confianza" para generar las claves criptográficas. Si estas claves no se destruyen, podrían usarse para crear pruebas falsas.
- Más allá de la privacidad, esta tecnología permite que las blockchains compriman miles de transacciones en una sola prueba diminuta, reduciendo drásticamente las comisiones de gas.
Por qué es importante
Los zk-SNARKs resuelven dos de los mayores problemas de las criptomonedas: Privacidad y Escalabilidad. En una transacción estándar de Bitcoin, el remitente, el receptor y el monto son visibles para todo el mundo. Los zk-SNARKs permiten transacciones "blindadas" donde estos datos están cifrados pero aún matemáticamente probados como válidos. Esto ofrece privacidad financiera similar al efectivo. Además, debido a que estas pruebas son "sucintas" (pequeñas en tamaño de datos), se usan para hacer las blockchains más rápidas. En lugar de que cada nodo en la red vuelva a calcular cada transacción, simplemente verifican la única prueba zk-SNARK, lo cual toma milisegundos. Esta es la tecnología que impulsa el futuro del escalado de Ethereum.
Ejemplo de zk-SNARK
Imagina que estás jugando "¿Dónde está Waldo?" con un amigo. Quieres demostrarle a tu amigo que encontraste a Waldo, pero no quieres revelar su ubicación porque quieres que lo encuentren por su cuenta. Prueba Tradicional: Señalas con el dedo a Waldo en la página. (Prueba establecida, pero ubicación revelada). Prueba de Conocimiento Cero (zk-SNARK): Tomas una hoja grande de papel con un pequeño agujero cortado en el centro. Colocas el libro de "¿Dónde está Waldo?" detrás del papel para que solo Waldo sea visible a través del agujero. Tu amigo puede ver a Waldo, así que sabe que lo encontraste (Conocimiento Probado), pero no tiene idea de dónde está en la página en relación con el resto de la escena (Cero Conocimiento Revelado).
