Zcash (ZEC) se disparó más de un 13% en las últimas 24 horas, devolviendo la criptomoneda de privacidad a los titulares de los mercados.
Pero detrás del movimiento de precio hay una historia mucho más interesante: el sistema criptográfico que hace posible Zcash es una de las piezas de matemáticas aplicadas más elegantes jamás desplegadas en una blockchain pública.
Ese sistema se llama prueba de conocimiento cero (zero-knowledge proof). Si alguna vez te has preguntado cómo una criptomoneda puede garantizar matemáticamente que una transacción es válida sin desvelar quién envía, quién recibe ni qué importe se mueve, este es el análisis que necesitas.
TL;DR
- Una prueba de conocimiento cero permite que una parte (el probador) convenza a otra (el verificador) de que una afirmación es verdadera sin revelar nada más que la veracidad de esa afirmación.
- Zcash utiliza una construcción específica llamada zk-SNARKs para ocultar los datos de las transacciones en una blockchain pública, manteniendo al mismo tiempo la capacidad de la red para asegurar que no se crean monedas de la nada.
- La misma tecnología sustenta hoy soluciones de escalado de capa 2, protocolos DeFi privados y sistemas de identidad, convirtiéndola en uno de los ladrillos criptográficos más decisivos de la Web3.
Qué es realmente una prueba de conocimiento cero
Una prueba de conocimiento cero es un método mediante el cual una parte, el probador, puede convencer a otra, el verificador, de que una afirmación concreta es cierta. La condición clave es que la prueba no revele nada sobre los datos subyacentes utilizados para sustentar esa afirmación.
El concepto se describió por primera vez en un artículo académico de 1985 de Shafi Goldwasser, Silvio Micali y Charles Rackoff, titulado “The Knowledge Complexity of Interactive Proof Systems”.
Los autores exploraban la cantidad mínima teórica de información que un probador debe revelar para convencer a un verificador escéptico. La respuesta a la que llegaron fue que, en algunos casos, esa cantidad puede ser, en la práctica, cero.
Una prueba de conocimiento cero debe cumplir tres propiedades: completitud (un probador honesto siempre puede convencer a un verificador honesto), solidez o solidez probatoria (un probador deshonesto no puede engañar al verificador salvo con una probabilidad despreciable) y conocimiento cero (el verificador no aprende nada más allá de la validez de la afirmación).
El ejemplo clásico de libro de texto es la “cueva con puerta mágica”, a menudo llamada la cueva de Alí Babá. Imaginemos una cueva circular con una única entrada y una puerta cerrada al fondo que solo se abre con una contraseña secreta. El probador quiere convencer al verificador de que conoce la contraseña sin revelarla. El probador entra en la cueva y toma el camino de la izquierda o el de la derecha. El verificador, desde fuera, grita por qué camino quiere que salga. Si el probador conoce la contraseña, siempre puede aparecer por el lado correcto atravesando la puerta si es necesario. Repetir este proceso muchas veces hace que resulte estadísticamente imposible que alguien que no conozca la contraseña acierte siempre por puro azar.
También lee: El token de Pudgy Penguins se dispara tras acuerdo de 5.300 millones de dólares con el Manchester City
Pruebas interactivas vs no interactivas y por qué la diferencia importa para las blockchains
La analogía de la cueva describe una prueba de conocimiento cero interactiva. El verificador participa activamente lanzando un reto en cada ronda. Aunque el modelo es matemáticamente limpio, presenta un problema obvio para las blockchains: no hay un verificador “en vivo” al otro lado de cada transacción esperando para emitir desafíos.
Las redes de blockchain necesitan pruebas de conocimiento cero no interactivas. En un esquema no interactivo, el probador genera un único objeto de prueba autocontenido que cualquiera puede verificar de forma independiente, en cualquier momento, sin intercambio de mensajes. Este es un problema matemático mucho más complejo.
El gran avance llegó con una técnica llamada heurística de Fiat-Shamir, desarrollada en 1986. Convierte pruebas interactivas en no interactivas sustituyendo los retos aleatorios del verificador por una función hash criptográfica. El probador genera el “reto” él mismo a partir del hash de la declaración, que no puede manipularse sin destruir la validez de la prueba.
Las pruebas no interactivas hicieron posible incrustar la validez criptográfica directamente en las transacciones de blockchain. Un nodo que recibe una transacción blindada no necesita preguntar nada a nadie. Simplemente ejecuta localmente el algoritmo de verificación de la prueba y obtiene una respuesta binaria: sí o no.
También lee: Hyperliquid sube un 17% mientras los ETFs HYPE marcan un récord de 25,5 millones de dólares en un día
Cómo los zk-SNARKs impulsan las transacciones blindadas de Zcash
Zcash introdujo el primer despliegue en producción de zk-SNARKs en una gran blockchain pública cuando se lanzó en octubre de 2016. El acrónimo significa Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Cada palabra tiene peso técnico.
“Succinct” implica que la prueba es compacta en tamaño y rápida de verificar, con independencia de la complejidad del cálculo subyacente. “Non-interactive” significa que no hay diálogo entre probador y verificador, como ya se ha explicado. “Arguments of Knowledge” implica que el probador debe poseer realmente el testigo secreto (la clave privada, la clave de gasto, los detalles de la transacción) para generar una prueba válida. La mera conjetura queda descartada matemáticamente.
Cuando un usuario de Zcash envía una transacción blindada, el software de su monedero realiza un cálculo que demuestra varias cosas a la vez sin revelar ninguna de ellas. Prueba que el remitente posee los fondos que gasta, que la suma de las entradas de la transacción es igual a la suma de las salidas más la comisión (de modo que no se “fabrican” monedas) y que el remitente conoce la clave privada de gasto de la dirección de origen. La prueba resultante se incrusta en la transacción y se difunde por la red. Cada nodo completo la verifica de forma independiente, normalmente en milisegundos.
Las transacciones blindadas de Zcash utilizan una estructura criptográfica llamada circuito Sapling (que sustituyó al circuito Sprout original en 2018), lo que redujo el tiempo de generación de la prueba de unos 40 segundos a menos de 2 segundos y recortó el uso de memoria de 3 GB a unos 40 MB, haciendo viables por primera vez los monederos blindados en móviles.
Zcash opera con dos tipos de direcciones. Las direcciones transparentes (t-addresses) funcionan como las de Bitcoin (BTC): todos los datos son visibles on-chain. Las direcciones blindadas (z-addresses) usan zk-SNARKs para cifrar remitente, destinatario e importe. Los usuarios pueden mover fondos entre ambos tipos, aunque el paso de una dirección transparente a una blindada sigue revelando los importes en ese punto de transición.
También lee: Goldman Sachs se retira de XRP y Solana en un brusco replanteamiento cripto del primer trimestre
El problema del “trusted setup”, el requisito más polémico de Zcash
El aspecto técnicamente más controvertido de la implementación original de zk-SNARKs de Zcash es la llamada ceremonia de trusted setup o configuración confiable. Los zk-SNARKs necesitan un conjunto de parámetros públicos, a veces denominado “cadena de referencia común”, que se generan antes de que el sistema pueda operar. Esos parámetros se derivan de un valor aleatorio secreto. Si ese secreto se reconstruyera, un actor malicioso podría falsificar pruebas y crear Zcash de la nada sin ser detectado.
Para mitigar este riesgo, el equipo fundador de Zcash organizó en 2016 una ceremonia de computación multipartita en la que seis participantes generaron cada uno un fragmento del secreto. Los parámetros son seguros siempre que al menos uno de los participantes haya destruido su fragmento de forma honesta. La ceremonia se repitió y mejoró para la actualización Sapling en 2018, con la participación de 90 personas, haciendo que la probabilidad de un compromiso total sea prácticamente nula.
El requisito de trusted setup sigue siendo una debilidad teórica y un punto de fricción filosófica dentro de la comunidad de monedas de privacidad. Los críticos sostienen que incluso un riesgo minúsculo de inflación indetectable es inaceptable. Los defensores señalan el elevado número de participantes y el carácter verificable del diseño de la ceremonia como mitigaciones suficientes.
Esta preocupación impulsó el desarrollo de los zk-STARKs, la otra gran rama en el árbol genealógico de las pruebas de conocimiento cero, que se analiza en la siguiente sección.
También lee: Bitget lanza el concurso “Gold Fast Or Go Home” para traders cripto
zk-SNARKs frente a zk-STARKs: los principales trade-offs
Los zk-STARKs, siglas de Zero-Knowledge Scalable Transparent Arguments of Knowledge, se presentaron en un artículo de 2018 firmado por Eli Ben-Sasson y colegas del Technion y StarkWare. Eliminan por completo el problema del trusted setup al basarse únicamente en aleatoriedad públicamente verificable derivada de funciones hash resistentes a colisiones, en lugar de parámetros secretos.
Los trade-offs entre ambas construcciones son reales y muy relevantes para los desarrolladores que deben elegir entre ellas.
- zk-SNARKs generan pruebas muy pequeñas, normalmente de menos de 300 bytes, y se verifican de forma extremadamente rápida. Requieren una configuración confiable y se apoyan en criptografía de curvas elípticas, teóricamente vulnerable ante un ordenador cuántico lo bastante potente.
- zk-STARKs no necesitan trusted setup y son resistentes a ataques cuánticos porque solo utilizan funciones hash. Sus pruebas son significativamente mayores, a menudo en el rango de decenas o cientos de kilobytes, aunque el tiempo de verificación también es rápido.
- PLONK y otros SNARKs universales representan una generación intermedia de construcciones que requieren un trusted setup universal realizado una sola vez, en lugar de uno por cada circuito. Proyectos como Aztec y Polygon han recurrido a sistemas basados en PLONK para reducir la carga operativa de las ceremonias de configuración sin renunciar a la eficiencia de los SNARKs.
De cara al uso práctico en blockchain en 2026, los zk-SNARKs dominan protocolos de capa 1 centrados en la privacidad como Zcash. Los zk-STARKs se imponen en las soluciones de escalado de capa 2 tipo rollup, especialmente en aquellas desarrolladas por StarkWare, donde el tamaño de la prueba pesa menos que la minimización de la confianza y el throughput.
También lee: Vitalik Buterin quiere que Ethereum deje de mirar por encima de tu hombro
Dónde se están usando las pruebas de conocimiento cero más allá de las monedas de privacidad
El primer caso de uso de las pruebas de conocimiento cero fue la privacidad financiera, como demostró Zcash. Pero la tecnología se ha expandido con fuerza por todo el ecosistema blockchain, y el reciente auge de Nexus y su red de conocimiento cero es una de las señales más claras de cómo la infraestructura ZKP está pasando a ser mainstream.
Los ZK Rollups son probablemente el despliegue comercialmente más relevante fuera del ámbito de las monedas centradas en privacidad. Redes de capa 2 como zkSync, StarkNet y Polygon zkEVM utilizan pruebas de conocimiento cero para agrupar cientos o miles de transacciones de Ethereum (ETH) en una única prueba que se envía a la cadena principal. La red principal de Ethereum solo tiene que verificar una prueba compacta en lugar de ejecutar cada transacción una a una, lo que dispara el throughput heredando al mismo tiempo toda la seguridad de Ethereum.
La DeFi privada es una categoría emergente en la que los protocolos emplean ZKPs para permitir que los usuarios participen en préstamos, trading y estrategias de rendimiento sin exponer en cadena sus saldos ni sus estrategias. La red Venice Token, que cotiza al alza junto a Zcash, aplica una filosofía criptográfica similar a la inferencia de IA, permitiendo consultar modelos de inteligencia artificial sin que el proveedor vea las entradas del usuario.
Los sistemas de identidad y credenciales representan una tercera ola. Las ZKPs permiten que un usuario demuestre que es mayor de 18 años, que reside en un determinado país o que ha superado un proceso KYC sin revelar su nombre, fecha de nacimiento o número de pasaporte. Proyectos como Polygon ID y Sismo han construido marcos de credenciales basados en esta capacidad.
El mercado de pruebas de conocimiento cero puede pasar de unos 243 millones de dólares en 2023 a más de 12.000 millones en 2030, según datos de Grand View Research, reflejando su adopción en finanzas, identidad y verificación de cadenas de suministro.
Quién necesita realmente entender esta tecnología
Las pruebas de conocimiento cero son relevantes para varios perfiles dentro de cripto, aunque la mayoría de usuarios nunca interactúe directamente con la criptografía subyacente.
Traders e inversores que siguen de cerca monedas de privacidad como Zcash deberían entender que un rally de precio no es puramente especulativo. La tecnología que respalda ZEC tiene una utilidad real y creciente en ZK rollups y DeFi privada, lo que genera una demanda estructural más allá de la pura especulación. Cuando aumenta la presión regulatoria sobre las blockchains transparentes, como ocurre periódicamente, las propiedades de preservación de privacidad de los sistemas basados en ZKP pasan a ser una propuesta mucho más urgente.
Usuarios y desarrolladores DeFi que eligen entre redes de capa 2 deberían comprender la diferencia entre los optimistic rollups (que se apoyan en pruebas de fraude y una ventana de disputa de siete días) y los ZK rollups (que usan pruebas matemáticas y pueden finalizar en cuestión de minutos). La decisión impacta directamente en los tiempos de retirada, los supuestos de confianza y la eficiencia del capital.
Usuarios preocupados por la privacidad, sea cual sea su nivel, deberían saber que las direcciones blindadas de Zcash ofrecen un modelo de privacidad radicalmente distinto a la seudonimidad de Bitcoin. Firmas de análisis on-chain como Chainalysis han reconocido públicamente que las transacciones totalmente blindadas de Zcash son, en la práctica, opacas para sus herramientas, una diferencia clave para quienes necesitan confidencialidad financiera.
Constructores de protocolos que exploran sistemas de credenciales, votaciones privadas o pruebas de reservas sin revelar saldos tienen que entender el modelo básico de circuitos de las ZKPs, porque diseñar un sistema de conocimiento cero implica diseñar el circuito aritmético que codifica el problema, no escribir código convencional.
Conclusión
Las pruebas de conocimiento cero nacieron como una curiosidad teórica en un paper académico de 1985 y hoy se han convertido en infraestructura básica para monedas de privacidad, redes de escalado y sistemas descentralizados de identidad. La idea central —que se puede demostrar la veracidad de algo sin transferir información adicional— es tan contraintuitiva que muchos ingenieros pasan años en el sector sin llegar a asimilar plenamente sus implicaciones.
Zcash sigue siendo el ejemplo en producción más visible de ZKPs aplicadas a la privacidad financiera. Su arquitectura basada en zk-SNARKs, pese al debate recurrente sobre los trusted setups, ha demostrado ser robusta y ha inspirado directamente todos los grandes diseños de ZK rollups que vinieron después.
La expansión de esta tecnología hacia el escalado de DeFi a través de redes como zkSync y StarkNet, y hacia capas de privacidad para IA como Venice, indica que las pruebas de conocimiento cero ya no son una funcionalidad de nicho de las monedas de privacidad, sino un bloque fundamental de la próxima generación de sistemas criptográficos.
La próxima vez que una moneda de privacidad se dispare de precio o que un nuevo ZK rollup anuncie cifras récord de throughput, tendrás un marco para evaluar qué está haciendo realmente la tecnología subyacente, más allá de lo que marque el gráfico de precio.
Lee también: Las monedas de privacidad vuelven a despertar: el interés abierto de Dash se dispara un 49 % de la noche a la mañana
