ZK proof (Zero-Knowledge proof)

El probador utiliza datos públicos y un testigo secreto para producir una prueba. El verificador comprueba la relación sin recibir el testigo. La propiedad de conocimiento cero limita lo que esa prueba revela; no oculta información que la aplicación publique por otras vías.

SNARK y STARK describen familias con supuestos y costes distintos. Algunas construcciones requieren parámetros de confianza; otras son transparentes. PLONK con compromisos KZG utiliza una preparación universal, mientras variantes con otros compromisos tienen requisitos diferentes.

Las pruebas pueden servir para verificar atributos o cálculos. En escalado, un rollup puede utilizar pruebas de validez y publicar las transacciones, por lo que no ofrece necesariamente privacidad. Deben examinarse la construcción y la aplicación concreta.