Poi, creiamo una Dimostrazione a conoscenza zero (ZKP) per mostrare due cose: Prova della somma: i valori di patrimonio netto e debito nel Merkle tree si sommano correttamente Prova non negativa: il patrimonio netto totale di ogni utente è maggiore del proprio debito totale Quando cerchiamo di verificare il Merkle tree per un gran numero di conti, il processo diventa troppo grande da gestire in una sola volta.