Clicked Gallery

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

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

Usado en una frase

Engineering Notes · AI Systems

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

Los mismos datos, otro rollo — Modo jerga 😎

El método Clicked

●○○

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.
●○○

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. 😎

Una idea rápida — muchas veces es todo lo que necesitas.

●●○

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.
●●○

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. 😎

¿Quieres más? Un clic profundiza.

●●●

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.
Deepest level reached.
●●●

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.
Deepest level reached.

¿Concepto nuevo? Un ejemplo cotidiano lo hace clic — nuevas analogías cuando quieras.

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