Clicked Gallery

¿Qué es una prueba de conocimiento cero (ZKP)?

Subrayado en un documento técnico real. Explicado por Clicked.

Usado en una frase

The new authentication layer utilizes zero-knowledge proofs to verify user identity without parsing raw credentials.

El lector subrayó una palabra en la documentación. Clicked explicó el término técnico «zero-knowledge proofs» en lenguaje sencillo:

Explicado en tres niveles

●○○

Overview

▾

Una prueba de conocimiento cero permite demostrar que una afirmación es verdadera sin revelar la información que la hace verdadera. El ejemplo estándar es demostrar que conoces una contraseña sin llegar a decirla nunca.

●●○

Detail

▾

El verificador lanza una serie de desafíos aleatorios, cada uno diseñado para que solo quien posea el secreto real pueda seguir respondiendo, y cada respuesta no revela nada sobre el secreto en sí. Un impostor podría superar un desafío por suerte, igual que se puede acertar una cara o cruz. Superar veinte seguidos es otra cosa: las probabilidades de suerte caen a una entre un millón, así que una racha limpia es en sí misma la prueba, y el verificador termina sin saber nada salvo que la afirmación es cierta. Ese es todo el truco, con certeza construida a base de desafíos repetidos y sin fuga de información. Las aplicaciones se siguen: iniciar sesión sin que la contraseña viaje por la red, demostrar que una transacción es válida sin revelar importes, y demostrar que eres mayor de 18 sin dar tu fecha de nacimiento. La pega es el cómputo pesado y una criptografía frágil.

●●●

Analogy

▾

Demostrar que has encontrado a Wally sin revelar dónde está: coges una cartulina grande, recortas un agujero del tamaño de Wally y la colocas sobre la página para que solo asome él. Tu amigo lo ve, así que la afirmación queda demostrada, pero la cartulina tapa todo lo demás y sigue sin tener idea de en qué parte de la página vive.

Las explicaciones de IA pueden contener errores · No es asesoramiento profesional

Los mismos datos, otro rollo — Modo jerga 😎

●○○

Overview

▾

Una ZKP es demostrar que sabes el secreto sin decir el secreto. Lo demuestras matemáticamente en vez de teclearlo, así que el servidor puede verificarte sin llegar a tenerlo nunca. Hackea ese servidor y no hay nada que robar. 😎

●●○

Detail

▾

Cómo funciona sin carrera de matemáticas: el verificador lanza desafíos que solo alguien con el secreto real podría seguir respondiendo, y con suficientes rondas fingir se vuelve estadísticamente imposible. Obtienes tres garantías: las afirmaciones reales pasan, las falsas fallan y no se filtra nada. Esa última es el superpoder, porque puedes iniciar sesión sin enviar contraseña, demostrar que un pago es válido sin exponer el importe, o demostrar que eres mayor de 18 sin entregar tu cumpleaños. El coste es cómputo pesado y una criptografía que de verdad es fácil de implementar mal. Por eso esto se quedó en lo académico durante décadas antes de llegar a productos reales. 😎

●●●

Analogy

▾

Es el control del portero que merecemos: demuestra que tienes más de 21 años, y ya está. No tu dirección, tu estatura, si eres donante de órganos y tu fecha exacta de nacimiento, que es lo que revela de verdad entregar el carné. Una ZKP es enseñar el único dato y dejar el resto de la tarjeta en el bolsillo.

Las explicaciones de IA pueden contener errores · No es asesoramiento profesional

Definición formal — El mismo término, explicado de la forma habitual

Una prueba de conocimiento cero es un protocolo criptográfico mediante el cual un probador demuestra a un verificador que una afirmación es válida sin transmitir información adicional más allá de dicha validez. Estos protocolos satisfacen las propiedades de completitud, solidez y conocimiento cero, y se instancian en formas interactivas y no interactivas (p. ej., zk-SNARKs). Sus aplicaciones incluyen la verificación de credenciales sin divulgación de secretos, la validación de transacciones con preservación de privacidad y la atestación selectiva de atributos; su despliegue práctico está limitado por el coste de generación de pruebas y la complejidad de implementación.

¿Quieres que Clicked te explique términos como «zero-knowledge proofs» directamente en tu navegador, incluso en PDFs?

Añadir a Chrome — Gratis

50 Explicaciones gratis · Sin tarjeta de crédito

Más de la galería

¿Qué es la generación aumentada por recuperación (RAG)?

Que la IA responda desde tus documentos — primero recuperar, luego generar, con recibos incluidos.

¿Qué son los vector embeddings?

Significado convertido en coordenadas — cómo las máquinas encuentran lo parecido sin coincidir palabras.

Cómo leer de verdad un artículo científico

Ojea con método, rompe el muro de jerga y conserva lo aprendido — una sesión, bien hecha.

¿Qué son las «sinergias»?

Dos empresas fusionadas ganando más juntas que por separado — la promesa, la matemática y la versión de la tienda de donuts.

¿Qué significa una API idempotente?

Por qué diez clics te cobran una vez — la propiedad que hace seguros los reintentos.

¿Qué es la deuda técnica?

Atajos y sistemas envejecidos que facturan al futuro — principal, interés y pago.