Prueba de conocimiento cero (prueba ZK): qué es y cómo funciona.

La prueba de conocimiento cero es, en esencia, un método criptográfico verdaderamente único. Permite que una parte demuestre la validez de una declaración, que luego es confirmada por la otra parte, sin que se intercambie ningún dato privado. Cuando este sistema funciona correctamente, se convierte en una valiosa herramienta para escalar cadenas de bloques , ocultar los detalles de las transacciones y verificar identidades sin necesidad de compartirlas.

Pero el simple hecho de que aparezca el término "ZK" en la página de un producto no garantiza automáticamente todos estos beneficios. Esta guía explica cómo funcionan las pruebas ZK, dónde se utilizan en el mundo cripto actual y las preguntas clave que debes hacerte antes de confiar en cualquier producto con esta etiqueta.

• La prueba de conocimiento cero permite a una parte demostrar una reclamación sin revelar los datos confidenciales que la respaldan.
• En el mundo de las criptomonedas, las pruebas ZK pueden verificar datos privados, cuentas fuera de la cadena, reclamos de identidad yValidez de la transacción.
• Los sistemas ZK son beneficiosos en términos de escalabilidad y privacidad, ya que el proceso de verificación puede ser mucho más sencillo que revelar todos los datos de origen.
• La verificación correcta puede depender de datos de entrada defectuosos, software deficiente, supuestos de configuración fiables, riesgos en el puente de conexión o metadatos expuestos.

La mayoría de las personas se topan por primera vez con proyectos de criptomonedas que utilizan pruebas de conocimiento cero (pruebas ZK) cuando afirman ser "privados" o "de confianza". Sin embargo, estas palabras carecen de sentido si no se comprende qué verifica realmente la prueba. Esta falta de comprensión es el origen de la mayor parte de la confusión inicial y el terreno fértil para las campañas de marketing.

Una prueba de conocimiento cero es una prueba criptográfica que convence a un auditor de que una afirmación es verdadera, manteniendo oculto el secreto subyacente. Quien realiza la afirmación se denomina proponente, mientras que quien la verifica se denomina auditor.

En el mundo de las criptomonedas, esto significa que un usuario, aplicación, billetera, sistema de agregación o protocolo puede demostrar información sobre una transacción, reclamar una identidad, proporcionar una copia de seguridad o realizar un cálculo sin revelar todos los datos a terceros. Esta prueba puede proteger la privacidad, reducir la carga de verificación o ambas cosas. Sin embargo, no garantiza que todos los productos que se basan en pruebas ZK sean anónimos o estén exentos de riesgos.

Este concepto se remonta a un artículo de 1985 de Goldwasser, Micali y Rackoff sobre sistemas interactivos de prueba de concepto. Las criptomonedas modernas utilizan la misma idea básica en sistemas de prueba de concepto más recientes que operan sin comunicación bidireccional entre los validadores.

Tres propiedades clave definen toda prueba de conocimiento cero (prueba ZK):

Perfección : Esto significa que una afirmación correcta debería tener éxito si todos siguen las reglas.

La solidez implica que una afirmación falsa solo debería tener éxito con una probabilidad muy baja.

El principio de conocimiento cero significa que el auditor solo se entera de que la declaración ha sido exitosa, y no de los datos subyacentes que la respaldan.

El objetivo principal es la prueba en sí misma, no simplemente la confidencialidad. Un sistema de prueba de conocimiento cero aún requiere una declaración pública precisa, datos privados válidos y un software que aplique correctamente las reglas de prueba.

La prueba de conocimiento cero (ZK Proof) funciona convirtiendo información privada en evidencia verificable que respalda una afirmación pública. El auditor examina esta evidencia sin necesidad de ver directamente los datos privados.

Los roles principales son los siguientes:

El flujo de trabajo generalmente comienza con una entrada privada y confidencial. El validador identifica una declaración pública, crea una prueba y la envía para que el validador la acepte o la rechace. El validador puede ver entradas públicas, como el título, el rango de saldo, la pertenencia a un grupo o la raíz del estado, pero no la entrada confidencial completa.

Lo que varía entre los distintos casos de uso es la definición de qué datos de entrada son privados y cuáles públicos. La estructura se mantiene igual, ya sea que el objetivo sea ocultar el monto de un pago, confirmar la elegibilidad para votar o validar un conjunto de transacciones fuera de la cadena.

Por este motivo, las pruebas de conocimiento cero pueden ser útiles incluso cuando ningún humano tiene acceso al secreto. Un contrato inteligente puede verificar una prueba. Un sistema de agregación de credenciales (rollup) puede publicar una prueba de validez. Una aplicación puede confirmar que las credenciales cumplen una regla específica sin necesidad de recopilarlas. Las matemáticas se encargan de la verificación y el validador nunca entrega los datos en bruto.

Para comprender mejor los principios abstractos de la criptografía, no hay nada más claro que los ejemplos prácticos, y la verificación de edad es uno de los ejemplos más comunes y utilizados para este propósito.

Una persona puede demostrar que es mayor de 18 años sin revelar su fecha de nacimiento completa, dirección, número de documento ni nombre. En este caso, la afirmación general es: «Esta persona es mayor de edad». La evidencia específica son las credenciales o la información de identificación que corroboran esta afirmación. El verificador solo necesita un resultado de «aprobado» o «reprobado», no una copia reutilizable del documento de identificación.

La versión cifrada correspondiente funciona de la misma manera. La billetera puede demostrar que su usuario pertenece a un grupo aprobado, posee credenciales válidas o cumple con ciertas condiciones antes de participar en una votación o reclamación, y la aplicación puede verificar esta prueba sin recibir el documento original ni el historial completo de la cuenta.

La verificación de contraseñas demuestra la misma lógica en un contexto más sencillo:

• El instalador conoce la contraseña.
• El investigador quiere pruebas de que el certificador lo sabe.
• La verificación debe realizarse sin transferir la contraseña.
• Una prueba reutilizada o copiada no debería desbloquear el sistema posteriormente.

Estas analogías se desmoronan cuando sugieren privacidad automática. Un verdadero sistema de prueba de conocimiento cero (ZK) requiere cifrado riguroso, entradas bien definidas, controles anti-reproducción y una forma de evitar la reutilización de pruebas en un contexto inapropiado. El ejemplo de verificación de edad funciona porque incluye todos estos elementos. Sin embargo, muchos productos criptográficos que utilizan la etiqueta ZK no especifican cuáles de estos controles están realmente implementados.

Comprender las pruebas de conocimiento cero (pruebas ZK) es un punto de confusión para muchos principiantes en el mundo de blockchain y las criptomonedas.

La mayoría de las cadenas de bloques son completamente transparentes por naturaleza. Al enviar Bitcoin o Ethereum, cualquiera puede rastrear la transacción de billetera a billetera, para siempre. La cadena de bloques está diseñada para ser un registro público.

Entonces, cuando un proyecto menciona el término "ZK", ¿qué cambia realmente?

Depende totalmente del propósito para el que se apliquen las pruebas ZK.

El uso relacionado con la privacidad implica que las pruebas ZK ocultan detalles específicos dentro de una transacción, como el remitente, el destinatario o el monto. La transacción permanece en la cadena de bloques, pero los detalles están protegidos. Zcash es un ejemplo antiguo de esto, que utiliza zk-SNARKs para transferencias seguras, lo que permite ocultar al público el remitente, el destinatario y el monto.

La escalabilidad de este método implica que ZK Proof se utiliza para comprimir un conjunto de transacciones en el comercio de criptomonedas y garantizar su correcta ejecución, sin necesidad de repetir cada paso en la cadena principal. Los datos de las transacciones pueden permanecer completamente públicos; nada se oculta. El objetivo de la prueba en este caso es la eficiencia y la validez, no la privacidad.

Muchos rollups de ZK, zkEVM y redes de capa 2 pertenecen a esta segunda categoría. Estas tecnologías utilizan ZK para aumentar la velocidad y reducir los costos, no para ocultar sus datos.

Cuando veas el término "ZK" en un producto, la primera pregunta que debes hacerte es: ¿Qué tipo de prueba de ZK es esta? Si el equipo no puede responder a esa pregunta de forma clara y concisa, eso ya es una respuesta para ti.

Para comprender las técnicas de prueba de conocimiento cero (ZK Proof), es fundamental familiarizarse con las dos familias principales de sistemas de prueba en criptomonedas: ZK-SNARKs y ZK-STARKs. Si bien ambos abordan el mismo problema fundamental, difieren en sus metodologías, y esta diferencia es crucial al evaluar la seguridad de cualquier proyecto que dependa de ellos.

SNARK significa "argumento sucinto no interactivo de conocimiento", mientras que STARK significa "argumento transparente escalable de conocimiento". Ambas familias admiten propiedades de conocimiento cero y permiten que la validación de datos sea significativamente menos costosa que un recálculo completo.

El punto más crítico para los principiantes es la "configuración de confianza". Algunos sistemas SNARK dependen de materiales de configuración que deben crearse y luego eliminarse permanentemente. Si estos materiales caen en manos equivocadas, el modelo de seguridad se derrumba, ya que un atacante puede crear pruebas que superen la verificación de forma fraudulenta. Los sistemas STARK evitan por completo este requisito, razón por la cual se describen como "transparentes". La desventaja es que las pruebas STARK suelen ser más grandes, lo que puede aumentar los costos de la verificación en la cadena.

Starknet es un ejemplo paradigmático de una red construida sobre la base del enfoque de prueba de trabajo de STARK. Esto no significa que todos los sistemas STARK sean privados por defecto, sino que ilustra cómo el diseño de prueba de trabajo influye en las decisiones de infraestructura del mundo real.

Las pruebas de conocimiento cero (ZK Proofs) se utilizan en una amplia gama de aplicaciones de criptomonedas, mucho más allá de lo que la mayoría de los principiantes imaginan. Cada caso de uso oculta datos diferentes, demuestra una afirmación distinta y conlleva riesgos variables.

Las aplicaciones visuales más destacadas en el mundo de las criptomonedas incluyen las siguientes:

• Pagos protegidos: Oculta los detalles de las transacciones seleccionadas, como el remitente, el destinatario o el importe.
• Acumuladores ZK: Garantiza la correcta ejecución de los conjuntos de transacciones sin necesidad de volver a ejecutar cada cálculo en la cadena subyacente.
• Sistemas de identidad: La elegibilidad, la singularidad o las credenciales se demuestran sin necesidad de compartir el documento subyacente.
• Prueba de reservas: Muestra reclamaciones limitadas sobre activos o pasivos que se han comprometido.
• Herramientas similares a zkTLS: Obtener información a partir de sesiones web sin revelar la sesión en sí.
• Sistemas de votación: La elegibilidad se establece minimizando el riesgo de vincular los votos con personas individuales.
• Computación externa: Esto demuestra que el resultado siguió un supuesto programa.

Los casos de uso relacionados con la privacidad son los más comunes entre los usuarios de criptomonedas. La categoría de criptomonedas centradas en la privacidad abarca activos donde la confidencialidad de las transacciones o las restricciones de metadatos son fundamentales. Las pruebas de conocimiento cero pueden respaldar este objetivo, pero el comportamiento de la billetera, las direcciones transparentes, los metadatos y el diseño de la aplicación influyen en la privacidad real que experimenta el usuario.

Zcash es el ejemplo más consolidado. Utiliza zk-SNARKs para funciones de transacciones seguras, lo que permite a los usuarios demostrar la propiedad de la información sin revelarla.

La identidad constituye un caso de uso independiente. La categoría de criptomonedas relacionadas con la identidad se ajusta a los sistemas que verifican la membresía, la unicidad, las credenciales o los permisos. World ID utiliza pruebas de conocimiento cero para que el usuario pueda confirmar la validez de las credenciales sin revelar los datos de identidad subyacentes del solicitante. La divulgación selectiva mediante credenciales verificables sigue un enfoque similar, permitiendo al titular divulgar solo campos específicos de las credenciales en lugar del documento completo.

Para la mayoría de los usos no relacionados con tokens, las pruebas de conocimiento cero se enmarcan dentro del contexto más amplio de la criptografía que mejora la privacidad. Si bien estas pruebas limitan la divulgación de información, no eliminan la necesidad de confiar en los emisores, el software, las carteras y el hardware.

Esta sección es extremadamente importante para los principiantes, aunque la mayoría de los proyectos de criptomonedas evitan explicarla con claridad.

La prueba nula no puede probar verdades fácticas. Su función se limita a verificar que una afirmación matemática dada sobre los datos de entrada proporcionados sea verdadera.

Una prueba de conocimiento cero puede demostrar que una entrada oculta cumple con una regla determinada. Sin embargo, no puede probar que esta entrada oculta provenga de un individuo confiable, un sensor preciso, un intercambio de solventes o un emisor confiable, a menos que el sistema circundante también lo haga.

Estas limitaciones son evidentes en muchas afirmaciones sobre criptomonedas. Por ejemplo, una prueba de reservas puede demostrar que los saldos comprometidos cumplen con un estándar determinado, pero puede que no demuestre el alcance total de las obligaciones, la verdadera propiedad de los activos ni si los fondos se obtuvieron mediante un préstamo temporal para superar la debida diligencia. Del mismo modo, una prueba de crédito puede demostrar que un crédito firmado cumple con una norma, pero no puede probar que el emisor haya llevado a cabo la debida diligencia correctamente.

Los mayores fallos se encuentran fuera de la propia demostración:

• Confía en la información recibida: Los datos introducidos en la prueba pueden ser incorrectos o haber sido manipulados.
• Confianza en la entidad emisora: La persona que firma el aval puede ser débil, estar comprometida o ser deshonesta.
• Confianza en Oráculo: Los datos que se encuentran fuera de la cadena pueden estar desactualizados o haber sido manipulados antes de ser incorporados a la prueba.
• Confianza en el dispositivo: El software malicioso puede influir en lo que un usuario firma o ve antes de que se genere la prueba.
• Fuga de metadatos: Las direcciones, la sincronización, los datos IP y el comportamiento de la aplicación pueden revelar ciertos patrones incluso cuando la propia prueba oculta los datos subyacentes.

Por este motivo, cualquier afirmación basada en pruebas de conocimiento cero debe especificar siempre la declaración precisa que se está demostrando. Términos como «privado», «verificado» y «conforme» son etiquetas incompletas a menos que la aplicación aclare qué datos están ocultos, qué datos permanecen públicos y quién garantiza la validez de los datos de entrada.

Si bien el sistema de prueba en sí mismo puede ser matemáticamente sólido, el producto que lo rodea podría fallar. Comprender los aspectos matemáticos por sí solo no es suficiente, y para la mayoría de los usuarios, los riesgos prácticos que se describen a continuación son más importantes que el propio cifrado.

La configuración de confianza es el riesgo más incomprendido. No siempre es un obstáculo insuperable, pero sí una suposición real. Los usuarios deben saber si un proyecto se basa en un protocolo de configuración, una configuración específica del circuito o un diseño de prueba transparente.

El coste de una prueba puede centralizar silenciosamente un sistema. Si solo unos pocos operadores pueden generar pruebas con la suficiente rapidez, la red puede verificar los resultados a bajo coste, aunque siga dependiendo de una infraestructura especializada para producirlas. Esto es algo que cualquier red ZK-Rollup o red informática que se autoproclame descentralizada debería tener en cuenta.

Las declaraciones sobre privacidad deben leerse con atención. Una herramienta podría ocultar los montos de las transacciones pero dejar las direcciones públicas, anonimizar una aplicación pero revelar la elegibilidad del validador, o establecer un rango de saldo pero dejar la actividad y la hora de la billetera completamente visibles. Por ejemplo, al operar con criptomonedas, podrías asumir que tu privacidad está totalmente garantizada.

Las afirmaciones sobre computación cuántica también aparecen en la publicidad de ZK. Algunos sistemas describen propiedades post-cuánticas, pero esto no significa que todos los activos, billeteras, puentes o aplicaciones conectadas a la red de ZK estén protegidos contra futuros ataques criptográficos. Es importante comprender que la protección de las criptomonedas requiere un enfoque integral.

El primer paso es definir con exactitud qué es la herramienta: ¿Es una billetera de privacidad, una solución de agregación de tokens, un token, un sistema de identidad, una página de prueba de reservas o una infraestructura para desarrolladores? Simplemente llamarla "ZK" no responde a esa pregunta.

Utilice esta lista de verificación antes de vincular una billetera, transferir fondos a través de un puente o comprar un token:

• Especifique la afirmación exacta que la prueba está verificando.
• Compruebe qué datos permanecen públicos una vez habilitada la verificación.
• Verifique de forma independiente la dirección de la red, del puente y del contrato inteligente.
• Compruebe si el sistema de prueba requiere una configuración fiable.
• Compruebe si interviene un secuenciador central, un emisor o un operador.
• Pagar tratamiento de prueba pequeño Antes de transferir fondos valiosos.
• Mantenga las frases de recuperación y los dispositivos de firma separados de las declaraciones de la solicitud.

Una gestión eficaz de la cartera es fundamental, ya que la mayoría de las herramientas de ZK requieren una interfaz o cuenta para funcionar. Si eres nuevo en la autocustodia y estás a punto de interactuar con una aplicación de ZK desconocida, nuestro artículo sobre las mejores carteras de criptomonedas para principiantes abarca las categorías principales y qué debes tener en cuenta antes de conectarte.

El soporte para exchanges es un aspecto crucial. Una plataforma centralizada podría listar un token vinculado a ZK sin ofrecer soporte para todas las soluciones de rollup, direcciones protegidas o métodos de retiro. Si eres nuevo en el trading de criptomonedas y buscas activos ZK, los exchanges de criptomonedas para principiantes te ofrecen información útil para comparar comisiones, seguridad y activos compatibles. Para los usuarios que interactúan con aplicaciones DeFi basadas en rollup de ZK, las opciones de exchanges descentralizados (DEX) son más relevantes.

He aquí un flujo de trabajo sencillo: lee la declaración de prueba de la aplicación, comprueba la cadena y la dirección del contrato inteligente, realiza pruebas con pequeñas cantidades, nunca firmes algo que no reconozcas y asume que la privacidad es parcial hasta que la herramienta te diga exactamente qué está ocultando.