Prueba de Conocimiento Cero

Una prueba de conocimiento cero permite que una parte demuestre que una afirmación es cierta sin revelar la información que hay detrás. Una cartera puede acreditar que tiene fondos suficientes sin mostrar su saldo, y un rollup puede probar que miles de transacciones se ejecutaron correctamente sin volver a publicarlas. Una prueba útil debe convencer a un verificador honesto, ser inviable de falsificar para una afirmación falsa y no filtrar nada más allá del propio hecho. En cripto, las pruebas de conocimiento cero —abreviadas pruebas ZK— sostienen herramientas de privacidad, atestaciones de identidad y sistemas de escalado donde verificar es mucho más barato que reejecutar. Son matemáticas, no anonimato automático: la privacidad real depende del circuito, la configuración y cómo trate los datos la aplicación.