nullifier_non_inclusion
Standalone Functions
prove_nullifier_non_inclusion
prove_nullifier_non_inclusion(header, nullifier);
Parameters
| Name | Type |
|---|---|
| header | BlockHeader |
| nullifier | Field |
prove_nullifier_non_inclusion
prove_nullifier_non_inclusion(self, nullifier);
Parameters
| Name | Type |
|---|---|
| self | |
| nullifier | Field |
prove_note_not_nullified
prove_note_not_nullified(header, retrieved_note, storage_slot, context, );
Parameters
| Name | Type |
|---|---|
| header | BlockHeader |
| retrieved_note | RetrievedNote<Note> |
| storage_slot | Field |
| context | &mut PrivateContext |
prove_note_not_nullified
prove_note_not_nullified(self, retrieved_note, storage_slot, context, );
docs:start:prove_note_not_nullified
Parameters
| Name | Type |
|---|---|
| self | |
| retrieved_note | RetrievedNote<Note> |
| storage_slot | Field |
| context | &mut PrivateContext |