From 4979e02dd359238547df0573aab3fe14c81a3602 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Bene=C5=A1?= Date: Thu, 29 Feb 2024 10:21:15 +0100 Subject: [PATCH] docs: incorrect comment (#4846) Fixes incorrect comment + cleans up unused imports. --- .../aztec-nr/aztec/src/history/nullifier_inclusion.nr | 4 ++-- .../contracts/inclusion_proofs_contract/src/main.nr | 7 ++----- 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/noir-projects/aztec-nr/aztec/src/history/nullifier_inclusion.nr b/noir-projects/aztec-nr/aztec/src/history/nullifier_inclusion.nr index 1a7de2c97b6..e827d43c6b2 100644 --- a/noir-projects/aztec-nr/aztec/src/history/nullifier_inclusion.nr +++ b/noir-projects/aztec-nr/aztec/src/history/nullifier_inclusion.nr @@ -22,7 +22,7 @@ fn _nullifier_inclusion(nullifier: Field, header: Header) { == compute_merkle_root(nullifier_leaf, witness.index, witness.path), "Proving nullifier inclusion failed" ); // --> Now we have traversed the trees all the way up to archive root and verified that the nullifier - // was not yet included in the nullifier tree. + // was included in the nullifier tree. } pub fn prove_nullifier_inclusion(nullifier: Field, context: PrivateContext) { @@ -31,7 +31,7 @@ pub fn prove_nullifier_inclusion(nullifier: Field, context: PrivateContext) { pub fn prove_nullifier_inclusion_at( nullifier: Field, - block_number: u32, // The block at which we'll prove that the note exists + block_number: u32, // The block at which we'll prove that the nullifier exists in the nullifier tree context: PrivateContext ) { let header = context.get_header_at(block_number); diff --git a/noir-projects/noir-contracts/contracts/inclusion_proofs_contract/src/main.nr b/noir-projects/noir-contracts/contracts/inclusion_proofs_contract/src/main.nr index 1aa7f911ad9..95385adc294 100644 --- a/noir-projects/noir-contracts/contracts/inclusion_proofs_contract/src/main.nr +++ b/noir-projects/noir-contracts/contracts/inclusion_proofs_contract/src/main.nr @@ -20,10 +20,7 @@ contract InclusionProofs { prove_nullifier_inclusion, prove_nullifier_inclusion_at, prove_note_is_nullified, prove_note_is_nullified_at }, - nullifier_non_inclusion::{ - prove_nullifier_not_included, prove_nullifier_not_included_at, prove_note_not_nullified, - prove_note_not_nullified_at - }, + nullifier_non_inclusion::{prove_note_not_nullified, prove_note_not_nullified_at}, public_value_inclusion::{prove_public_value_inclusion, prove_public_value_inclusion_at} }; // docs:end:imports @@ -175,7 +172,7 @@ contract InclusionProofs { fn test_nullifier_inclusion( nullifier: Field, use_block_number: bool, - block_number: u32 // The block at which we'll prove that the nullifier not exists in the tree + block_number: u32 // The block at which we'll prove that the nullifier exists in the nullifier tree ) { if (use_block_number) { // docs:start:prove_nullifier_inclusion