Glossary
ZK-SNARK
Una prueba de conocimiento cero sucinta y no interactiva — pequeña en tamaño y rápida de verificar, pero suele requerir un trusted setup para generar las claves de prueba.
SNARK = Succinct Non-interactive ARgument of Knowledge. Las pruebas son del orden de kilobytes y se verifican en milisegundos, razón por la cual los ZK rollups pueden publicar una en Ethereum por cada lote.
La pega es el trusted setup: la generación de parámetros requiere al menos un participante honesto en una ceremonia multipartita, o de lo contrario las pruebas pueden ser falsificadas. Los SNARKs "universales" modernos (PLONK, Halo2) reducen el setup a una ceremonia única, independiente de la aplicación.