chore: debug info to debug duplicate nullifier

Author: benesjan

noir-projects/noir-contracts/contracts/app/amm_contract/src/main.nr

@@ -41,7 +41,7 @@ pub contract AMM {
     };
     use dep::aztec::{
         macros::{functions::{initializer, internal, private, public, utility}, storage::storage},
-        protocol_types::address::AztecAddress,
+        protocol_types::{address::AztecAddress, traits::ToField},
         state_vars::PublicImmutable,
     };
 
@@ -331,6 +331,18 @@ pub contract AMM {
         amount_out_min: u128,
         authwit_nonce: Field,
     ) {
+        // TODO(DUPLICATE_NULLIFIER_ISSUE): Nuke this log once the issue is resolved.
+        aztec::oracle::debug_log::debug_log_format(
+            "swap_exact_tokens_for_tokens: token_in {0}, token_out {1}, amount_in {2}, amount_out_min {3}",
+            [
+                token_in.to_field(),
+                token_out.to_field(),
+                amount_in as Field,
+                amount_out_min as Field,
+            ],
+        );
+        // NUKE_END
+
         let config = storage.config.read();
 
         assert((token_in == config.token0) | (token_in == config.token1), "TOKEN_IN_IS_INVALID");
@@ -356,6 +368,10 @@ pub contract AMM {
                 token_out_partial_note,
             )
             .enqueue(&mut context);
+
+        // TODO(DUPLICATE_NULLIFIER_ISSUE): Nuke this log once the issue is resolved.
+        aztec::oracle::debug_log::debug_log_format("swap_exact_tokens_for_tokens end", []);
+        // NUKE_END
     }
 
     #[public]

noir-projects/noir-contracts/contracts/app/token_contract/src/main.nr

@@ -31,7 +31,9 @@ pub contract Token {
     };
 
     use dep::uint_note::uint_note::{PartialUintNote, UintNote};
-    use aztec::protocol_types::{address::AztecAddress, traits::ToField};
+    use aztec::protocol_types::{
+        abis::side_effect::OrderedValue, address::AztecAddress, traits::ToField,
+    };
 
     // docs:start:import_authwit
     use aztec::authwit::auth::compute_authwit_nullifier;
@@ -235,7 +237,26 @@ pub contract Token {
         amount: u128,
         authwit_nonce: Field,
     ) {
+        // TODO(DUPLICATE_NULLIFIER_ISSUE): Nuke this log once the issue is resolved.
+        aztec::oracle::debug_log::debug_log_format(
+            "transfer_to_public: from {0}, to {1}, amount {2}",
+            [from.to_field(), to.to_field(), amount.to_field()],
+        );
+        aztec::oracle::debug_log::debug_log_format(
+            "nullifiers in context before emission transfer_to_public: {}",
+            context.nullifiers.storage().map(|n| n.value()),
+        );
+        // NUKE_END
+
         storage.balances.at(from).sub(from, amount).emit(encode_and_encrypt_note(&mut context, from));
+
+        // TODO(DUPLICATE_NULLIFIER_ISSUE): Nuke this log once the issue is resolved.
+        aztec::oracle::debug_log::debug_log_format(
+            "nullifiers in context after emission transfer_to_public: {}",
+            context.nullifiers.storage().map(|n| n.value()),
+        );
+        // NUKE_END
+
         Token::at(context.this_address())._increase_public_balance(to, amount).enqueue(&mut context);
     }
     // docs:end:transfer_to_public
@@ -423,7 +444,27 @@ pub contract Token {
     /// returned partial note.
     #[private]
     fn prepare_private_balance_increase(to: AztecAddress) -> PartialUintNote {
-        _prepare_private_balance_increase(to, &mut context, storage)
+        // TODO(DUPLICATE_NULLIFIER_ISSUE): Nuke this log once the issue is resolved.
+        aztec::oracle::debug_log::debug_log_format(
+            "prepare_private_balance_increase, to: {0}",
+            [to.to_field()],
+        );
+        aztec::oracle::debug_log::debug_log_format(
+            "nullifiers in context before emission prepare_private_balance_increase: {}",
+            context.nullifiers.storage().map(|n| n.value()),
+        );
+        // NUKE_END
+
+        let partial_note = _prepare_private_balance_increase(to, &mut context, storage);
+
+        // TODO(DUPLICATE_NULLIFIER_ISSUE): Nuke this log once the issue is resolved.
+        aztec::oracle::debug_log::debug_log_format(
+            "nullifiers in context after emission transfer_to_public: {}",
+            context.nullifiers.storage().map(|n| n.value()),
+        );
+        // NUKE_END
+
+        partial_note
     }
     // docs:end:prepare_private_balance_increase