docs: incorrect comment (#4846)

Fixes incorrect comment + cleans up unused imports.
AztecProtocol · Feb 29, 2024 · 4979e02 · 4979e02
1 parent 87c976b
commit 4979e02
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 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
@@ -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
@@ -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