- A claim about their source account value is true:
- e.g: "my account value is superior to 5" (non strict claim)
- or "my account value is strictly equal to 5" (strict claim)
- They correctly generated a nullifier by hashing the externalNullifier with the secret from the source account (a.k.a IdNullifier)
The nullifier can be stored by the verifier to make sure that a user cannot use two ZKPs for the same external nullifier.