Glossary
Prueba de Conocimiento Cero
Una prueba criptográfica que permite a una parte convencer a otra de que una afirmación es verdadera sin revelar por qué — usada para privacidad y para comprimir computación.
Una prueba de conocimiento cero solo divulga el hecho "yo sé x" sin divulgar x. El ejemplo clásico: demostrar que conoces la combinación de una caja fuerte sin abrirla.
En las blockchains, las pruebas ZK se usan de dos maneras. Para privacidad: probar que tienes fondos, o que una transacción es válida, sin revelar el monto ni las direcciones (Zcash, Tornado Cash). Para escalado: probar que un lote de transacciones se procesó correctamente, de modo que la cadena solo verifica la prueba en lugar de volver a ejecutar cada transacción (ZK rollups).