Nullifier
Compresión ZK · Abismo
Un nullifier es un valor criptográfico derivado deterministicamente del hash de hoja de una cuenta comprimida (y opcionalmente un secreto) que se pública y registra en cadena cuando esa cuenta comprimida se consume (gasta) en una transición de estado, marcando permanentemente la cuenta como usada y previniendo que se gaste una segunda vez en un ataque de doble gasto. En Light Protocol, los nullifiers se insertan en una cuenta de cola de nullifiers en cadena y se procesan periodicamente en lote por los nodos Forester en un conjunto de nullifiers almacenado en un árbol Merkle separado, permitiendo que la prueba de validez afirme tanto que la cuenta de entrada existe (prueba de inclusión) como que su nullifier aun no ha sido registrado (prueba de no-membresia). El esquema de nullifiers permite que las cuentas comprimidas sean tratadas como UTXOs: cada cuenta se consume una vez y se reemplaza por una o más cuentas de salida, manteniendo las propiedades de privacidad y sucincion del sistema de pruebas ZK.