Prueba de conocimiento cero (ZKP)
Una prueba de conocimiento cero es un método criptográfico por el cual una parte puede demostrar que una afirmación es verdadera sin revelar ninguna información más allá del hecho de que lo es. La intuición clásica: demostrar que conoces una contraseña sin decirla, o demostrar que eres mayor de 18 años sin mostrar tu fecha de nacimiento. Quien verifica comprueba una prueba matemática compacta y obtiene certeza sobre la afirmación sin aprender nada más.
En las criptomonedas, las pruebas de conocimiento cero cumplen dos propósitos distintos que a menudo se confunden. El primero es la privacidad: Zcash las usa para que una transacción pueda verificarse como válida —sin monedas creadas y con las firmas correctas— mientras el remitente, el receptor y el importe permanecen ocultos. El segundo, hoy económicamente mayor, es la verificación sucinta para escalar: los ZK-rollups como zkSync y Starknet ejecutan miles de transacciones off-chain y publican en Ethereum una única prueba que certifica que todo el lote siguió las reglas, de modo que la cadena base verifica una prueba pequeña en lugar de volver a ejecutarlo todo. Las principales familias de pruebas son los SNARK (pruebas diminutas, verificación rápida, que a menudo requieren una ceremonia de configuración de confianza o trusted setup) y los STARK (pruebas más grandes, sin trusted setup y que se cree que resisten los ataques cuánticos).
Un error común es creer que «conocimiento cero» siempre significa privado; la mayoría de los ZK-rollups publican abiertamente sus datos de transacciones y usan las pruebas únicamente para la compresión y la validez: la propiedad de conocimiento cero es ahí accidental. La frontera de esta tecnología sigue ampliándose: demostrar atributos de identidad sin exponer documentos, verificar resultados de aprendizaje automático y permitir que los clientes ligeros comprueben cadenas enteras con una sola prueba son áreas activas construidas sobre la misma idea central.