Nullifier
Compressão ZK · Abismo
Um nullifier e um valor criptográfico derivado deterministicamente do hash da folha de uma conta comprimida (e opcionalmente um segredo) que e publicado e registrado on-chain quando aquela conta comprimida e consumida (gasta) em uma transição de estado, marcando permanentemente a conta como usada e prevenindo que seja gasta uma segunda vez em um ataque de gasto duplo. No Light Protocol, nullifiers sao inseridos em uma conta de fila de nullifiers on-chain e periodicamente processados em lote por nos Forester em um conjunto de nullifiers armazenado em uma árvore Merkle separada, permitindo que a prova de validade afirme tanto que a conta de entrada existe (prova de inclusao) quanto que seu nullifier ainda não foi registrado (prova de não-membresia). O esquema de nullifier permite que contas comprimidas sejam tratadas como UTXOs — cada conta e consumida uma vez e substituida por uma ou mais contas de saida — mantendo as propriedades de privacidade e sucintez do sistema de prova ZK.