zk-SNARK

Un tipo específico y muy utilizado de prueba de conocimiento cero, cuyo nombre significa "argumento de conocimiento sucinto y no interactivo de conocimiento cero" ("zero-knowledge succinct non-interactive argument of knowledge"). Su atractivo es que las pruebas son diminutas y rápidas de verificar, aunque muchas versiones requieren una configuración confiable inicial; impulsa las monedas de privacidad y los rollups de conocimiento cero (véase Prueba de conocimiento cero, Configuración confiable, Rollup).