ZK-SNARK

ZK-SNARK: Prueba de conocimiento cero sucinta y no interactiva que permite demostrar que una afirmación es verdadera sin revelar la información subyacente. Se usa en privacidad (Zcash) y en rollups ZK para comprimir la verificación de transacciones. Requiere una configuración inicial (trusted setup) en algunas implementaciones.