Skip to content

Commit c4fea07

Browse files
Update zk/nullifier/README.md
Co-authored-by: ananas-block <58553958+ananas-block@users.noreply.github.com>
1 parent 3b2d774 commit c4fea07

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

zk/nullifier/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ Can be added to your custom program without requiring a custom circuit.
1515
| Compressed PDA | ~0.000015 SOL |
1616

1717
In detail, a nullifier is a hash derived from your secret and the leaf the transaction is using.
18-
When you use private state (stored in a Merkle tree leaf), you publish the nullifier. The program stores it in a set.
18+
When you use private state (stored in a Merkle tree leaf), you publish the nullifier to invalidate the state to prevent double spending. The program stores all nullifiers in a set.
1919
If anyone tries to spend the same leaf again, the nullifier would match one already stored, so the transaction fails.
2020
The nullifier reveals nothing about which leaf was spent.
2121
Different state produces different nullifiers, so observers can't link a nullifier back to its source leaf.

0 commit comments

Comments
 (0)