Ideas clave
Una prueba de conocimiento cero (ZKP) es un método criptográfico que permite a una parte demostrar que una afirmación es verdadera sin revelar ningún dato subyacente.
Las ZKP mejoran la privacidad y la seguridad en blockchain al permitir que las transacciones se verifiquen sin exponer detalles sensibles como direcciones de billetera o importes.
Las zk-SNARKs y las zk-STARKs son los dos tipos principales de pruebas de conocimiento cero que se usan hoy en día, con diferentes compensaciones (tradeoffs) en cuanto a velocidad, tamaño de la prueba y la necesidad de configuración confiable.
Las zk-rollups usan ZKP para agrupar muchas transacciones fuera de la cadena y enviar una sola prueba criptográfica en la cadena (on-chain), aumentando el rendimiento y reduciendo las comisiones.
Las aplicaciones reales de ZKP incluyen transacciones privadas, verificación de identidad, finanzas descentralizadas (DeFi) e interoperabilidad entre cadenas.
Introducción
Las blockchains se construyen alrededor de la transparencia. Cada transacción en una red pública es visible para cualquiera que se tome la molestia de mirarla. Esa transparencia genera confianza, pero también plantea una tensión fundamental: a veces necesitas verificar algo sin exponer los datos subyacentes.
Las pruebas de conocimiento cero resuelven este problema. Le permiten a una parte, llamada probador, convencer a otra parte, llamada verificador, de que una afirmación es verdadera sin revelar ninguna información más allá de ese único hecho. El nombre proviene directamente de la idea: el verificador gana conocimiento cero sobre los datos subyacentes, pero aun así puede estar seguro de que la afirmación es válida.
Las ZKP han sido un concepto teórico en criptografía desde la década de 1980, pero las implementaciones prácticas en blockchain solo se volvieron viables en la década de 2010. Desde entonces, se han convertido en una de las tecnologías con más desarrollo activo en el sector, sustentando monedas de privacidad, soluciones de escalabilidad de Capa 2 y sistemas de identidad.
Cómo funcionan las pruebas de conocimiento cero
En esencia, una prueba de conocimiento cero es un protocolo matemático en el que el probador genera una prueba que cumple un conjunto de condiciones que el verificador puede comprobar. El verificador puede confirmar que la prueba es correcta sin poder reconstruir el dato de entrada original.
Una analogía clásica es un túnel con una puerta cerrada en el medio. Un probador que conoce el código de la puerta puede entrar de manera consistente desde un lado y salir por el otro. Un verificador que observa desde fuera ve la prueba sin aprender nunca el código en sí.
Para que una ZKP sea válida, debe cumplir tres propiedades. La completitud significa que un probador honesto siempre puede convencer al verificador. La solidez (soundness) significa que un probador deshonesto no puede convencer al verificador de una afirmación falsa, salvo con una probabilidad despreciable. El conocimiento cero significa que el verificador no aprende nada más allá de si la afirmación es verdadera.
En la práctica, la mayoría de las ZKP en blockchain son no interactivas: el probador genera una prueba como un único bloque de datos, y el verificador la comprueba sin necesidad de ida y vuelta. Esto hace que las ZKP sean prácticas para usarlas en contratos inteligentes on-chain y en protocolos de Capa 2.
zk-SNARKs y zk-STARKs
Los dos tipos de pruebas de conocimiento cero más usados en blockchain son zk-SNARKs y zk-STARKs. Ambas permiten verificar cómputo fuera de la cadena (off-chain) en la cadena (on-chain), pero difieren en su enfoque técnico.
zk-SNARKs
Las pruebas de conocimiento cero concisas y no interactivas de conocimiento (zk-SNARK) son compactas y rápidas de verificar, lo que las hizo populares en aplicaciones tempranas de ZKP como las transacciones privadas de Zcash y la verificación de contratos inteligentes en Ethereum.
La principal desventaja es que las zk-SNARKs requieren una configuración confiable (trusted setup), una ceremonia en la que se generan un conjunto de parámetros criptográficos. Si la configuración se ve comprometida, un atacante podría potencialmente generar pruebas fraudulentas. Muchos proyectos usan ceremonias de cómputo multipartito para minimizar este riesgo.
zk-STARKs
Las pruebas de conocimiento escalables y transparentes de conocimiento cero (zk-STARK) no requieren una configuración confiable, lo que elimina el riesgo asociado. También se consideran más resistentes a los ataques de computación cuántica que las zk-SNARKs. El intercambio (tradeoff) es que las pruebas zk-STARK son más grandes en tamaño, lo que puede implicar costos más altos de verificación on-chain. StarkNet es una red de producción destacable que usa zk-STARKs a escala.
zk-Rollups y escalabilidad de blockchain
Una de las aplicaciones más significativas de las ZKP son las zk-rollups, una solución de escalabilidad de Capa 2 para blockchains. Una zk-rollup procesa cientos de transacciones fuera de la cadena, las agrupa en un lote (batch) y envía una sola ZKP a la cadena principal para demostrar que todas esas transacciones son válidas.
Este enfoque puede aumentar de forma drástica el rendimiento de transacciones, heredando la seguridad de la capa base. La alternativa principal, las optimistic rollups, asume que las transacciones son válidas a menos que alguien las cuestione, lo que introduce un retraso de retiro. Las zk-rollups no tienen este retraso porque la validez se demuestra criptográficamente en el momento de publicarla.
El EIP-4844 de Ethereum, activado en marzo de 2024, introdujo "blobs" como una capa dedicada de almacenamiento de datos para los datos de rollups de Capa 1 y Capa 2. Esto redujo sustancialmente el costo de publicar lotes de ZKP on-chain, haciendo que las zk-rollups fueran significativamente más baratas para los usuarios finales. Varias redes zkEVM, incluidas zkSync Era, Polygon zkEVM, Scroll y Taiko, ya están activas en producción.
Casos de uso de las pruebas de conocimiento cero
Transacciones privadas
Los sistemas de pruebas de conocimiento cero (ZKP) pueden ocultar las direcciones del remitente, las direcciones del destinatario y los importes de las transacciones en blockchains públicas. Zcash lo introdujo con las transacciones blindadas (shielded) usando zk-SNARKs, lo que permite a los usuarios realizar transacciones sin exponer su actividad financiera al libro mayor público.
Verificación de identidad digital
Las ZKP permiten que un usuario pruebe que cumple un requisito, como ser mayor de 18 años o tener un credencial válida, sin revelar los documentos subyacentes. Esto tiene aplicaciones en sistemas de identidad descentralizada, cumplimiento de KYC y control de acceso.
Privacidad en DeFi
Los protocolos de finanzas descentralizadas pueden usar ZKP para permitir préstamos, empréstitos y trading privados. Los usuarios pueden demostrar que tienen suficiente garantía o que cumplen los criterios de préstamo sin exponer el historial completo de su billetera ni su saldo.
Interoperabilidad entre cadenas
Las ZKP pueden verificar el estado de una blockchain en otra sin necesidad de ejecutar un nodo completo. Esto hace posible construir puentes entre cadenas y capas de interoperabilidad que heredan seguridad criptográfica en lugar de depender de intermediarios confiables.
Limitaciones de las pruebas de conocimiento cero
Las ZKP no son una solución completa para todos los desafíos de privacidad y escalabilidad. Generar una ZKP requiere un cómputo sustancial, lo que puede implicar requisitos de hardware más altos para los probadores. Esto está mejorando a medida que el software de generación madura, pero sigue siendo una consideración para redes más pequeñas.
El requisito de configuración confiable (trusted setup) para las zk-SNARKs introduce un supuesto de confianza que algunos desarrolladores y usuarios prefieren evitar. Y aunque las ZKP son probabilísticas en sus garantías de solidez—es decir, la probabilidad de que una prueba falsa pase la verificación es extremadamente baja, pero no es cero—en general se considera aceptable para fines prácticos.
Por último, la tecnología de ZKP aún está madurando. Auditar circuitos de ZKP es complejo y requiere experiencia especializada. Se han encontrado varios fallos de alto perfil en implementaciones de ZKP, lo que subraya la importancia de una revisión rigurosa antes de implementarlas en sistemas de producción.
Preguntas frecuentes (FAQ)
¿Qué es una prueba de conocimiento cero en términos sencillos?
Una prueba de conocimiento cero es una forma de demostrar que sabes algo sin revelar qué es. El probador convence al verificador de que una afirmación es verdadera, y el verificador no aprende nada más excepto que la afirmación se cumple.
¿Cuál es la diferencia entre zk-SNARKs y zk-STARKs?
Las zk-SNARKs producen pruebas más pequeñas y se verifican rápidamente, pero requieren una configuración confiable. Las zk-STARKs no requieren una configuración confiable y son más resistentes frente a ataques cuánticos, pero generan pruebas más grandes. Ambas se usan en sistemas de blockchain de producción.
¿Cómo se usan las pruebas de conocimiento cero en la escalabilidad de Ethereum?
Las zk-rollups usan pruebas de conocimiento cero para agrupar muchas transacciones fuera de la cadena y enviar una sola prueba a Ethereum para su verificación. Esto aumenta el rendimiento y reduce las comisiones de transacción, manteniendo la seguridad de la capa base de Ethereum.
¿Las pruebas de conocimiento cero son completamente seguras?
Las ZKP ofrecen garantías criptográficas muy sólidas, pero no son infalibles. El paso de configuración confiable en las zk-SNARKs introduce un supuesto de confianza. Se han encontrado fallos de implementación en circuitos de ZKP en algunos proyectos. Como con cualquier sistema criptográfico, la seguridad depende de una implementación correcta y de una revisión continua.
Reflexiones finales
Las pruebas de conocimiento cero han pasado de ser un concepto teórico a convertirse en un componente esencial de la infraestructura moderna de blockchain. Permiten la privacidad, mejoran la escalabilidad y hacen posible nuevas aplicaciones en DeFi, identidad e interoperabilidad.
La tecnología sigue evolucionando rápidamente. Las redes zkEVM ya están en funcionamiento en Ethereum, demostrando que los costos están bajando, y nuevas aplicaciones basadas en ZKP se despliegan con regularidad. Es probable que las ZKP desempeñen un papel cada vez más central en la manera en que las blockchains gestionan la privacidad y la escala en los próximos años.
Lecturas adicionales
zk-SNARKs y zk-STARKs explicados
¿Qué son las Zk-Rollups? La técnica de escalabilidad de Capa 2
Optimistic vs. Zero-Knowledge Rollups: ¿Cuál es la diferencia?
Soluciones de escalabilidad de Capa 1 vs. Capa 2 en blockchain
Mejorar la transparencia cripto con pruebas de conocimiento cero
Aviso legal: Este contenido se proporciona únicamente en una base "tal cual" para información general y fines educativos, sin representaciones ni garantías de ningún tipo. No debe interpretarse como asesoramiento financiero, legal u otro asesoramiento profesional, ni está destinado a recomendar la compra de ningún producto o servicio específico. Debes buscar tu propio asesoramiento de asesores profesionales adecuados. Cuando el contenido sea aportado por un tercero, ten en cuenta que las opiniones expresadas pertenecen a dicho tercero y no necesariamente reflejan las de Binance Academy. Los precios de los activos digitales pueden ser volátiles. El valor de tu inversión puede subir o bajar y es posible que no recuperes el monto invertido. Tú eres el único responsable de tus decisiones de inversión y Binance Academy no es responsable de ninguna pérdida que puedas sufrir. Para más información, consulta nuestros Términos de uso, Aviso de Riesgo y Términos de Binance Academy.