test: functional nullifier queue

.gitignore

@@ -77,3 +77,4 @@ node_modules
 light-zk.js
 /cli/.crates2.json
 /cli/.crates.toml
+test-programs/rnd-inf-test/**/*.txt

programs/account-compression/src/instructions/initialize_state_merkle_tree_and_nullifier_queue.rs

@@ -65,7 +65,6 @@ impl default::Default for NullifierQueueConfig {
         }
     }
 }
-
 pub fn process_initialize_state_merkle_tree_and_nullifier_queue(
     ctx: Context<'_, '_, '_, '_, InitializeStateMerkleTreeAndNullifierQueue<'_>>,
     index: u64,

programs/account-compression/src/instructions/insert_into_nullifier_queue.rs

@@ -22,7 +22,7 @@ pub struct InsertIntoNullifierQueues<'info> {
     pub registered_program_pda: Option<Account<'info, RegisteredProgram>>, // nullifiers are sent in remaining accounts. @ErrorCode::InvalidVerifier
     pub system_program: Program<'info, System>,
 }
-
+// TODO: add test that the first two elements of the queue cannot be inserted into the tree and removed from the queue
 /// Inserts every element into the indexed array.
 /// Throws an error if the element already exists.
 /// Expects an indexed queue account as for every index as remaining account.
@@ -97,7 +97,6 @@ pub fn process_insert_into_nullifier_queues<'a, 'b, 'c: 'info, 'info>(
             light_heap::bench_sbf_start!("acp_insert_nf_into_queue");
             for element in queue_bundle.elements.iter() {
                 let element = BigUint::from_bytes_be(element.as_slice());
-                msg!("Inserting element {:?} into nullifier queue", element);
                 indexed_array
                     .insert(&element, sequence_number)
                     .map_err(ProgramError::from)?;

test-programs/account-compression-test/Cargo.toml

@@ -35,6 +35,7 @@ light-compressed-token = { path = "../../programs/compressed-token"  , features
 light-compressed-pda = { path = "../../programs/compressed-pda"  , features = ["cpi"]}
 account-compression = { path = "../../programs/account-compression" , features = ["cpi"] }
 light-hasher = {path = "../../merkle-tree/hasher"}
+light-hash-set = {path = "../../merkle-tree/hash-set"}
 light-concurrent-merkle-tree = {path = "../../merkle-tree/concurrent"}
 light-indexed-merkle-tree = {path = "../../merkle-tree/indexed"}
 light-merkle-tree-reference = {path = "../../merkle-tree/reference"}