init

noir-projects/aztec-nr/uint-note/src/uint_note.nr

@@ -40,6 +40,7 @@ impl NoteInterface<UINT_NOTE_LEN, UINT_NOTE_BYTES_LEN> for UintNote {
         poseidon2_hash_with_separator([note_hash_for_nullify, secret],GENERATOR_INDEX__NOTE_NULLIFIER)
     }
 
+    // docs:start:compute_note_hiding_point
     fn compute_note_hiding_point(self) -> Point {
         // We use the unsafe version because the multi_scalar_mul will constrain the scalars.
         let amount_scalar = from_field_unsafe(self.value.to_integer());
@@ -55,6 +56,7 @@ impl NoteInterface<UINT_NOTE_LEN, UINT_NOTE_BYTES_LEN> for UintNote {
             [amount_scalar, npk_m_hash_scalar, randomness_scalar, slot_scalar]
         )
     }
+    // docs:end:compute_note_hiding_point
 }
 
 impl UintNote {

noir-projects/noir-contracts/contracts/token_contract/Nargo.toml

@@ -6,5 +6,6 @@ type = "contract"
 
 [dependencies]
 aztec = { path = "../../../aztec-nr/aztec" }
+uint_note = { path = "../../../aztec-nr/uint-note" }
 compressed_string = { path = "../../../aztec-nr/compressed-string" }
 authwit = { path = "../../../aztec-nr/authwit" }

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

@@ -13,6 +13,7 @@ mod test;
 contract Token {
     // Libs
 
+    use dep::uint_note::uint_note::{UintNote, UintNoteHidingPoint};
     use dep::compressed_string::FieldCompressedString;
 
     use dep::aztec::{
@@ -32,10 +33,7 @@ contract Token {
     use dep::authwit::auth::{assert_current_call_valid_authwit, assert_current_call_valid_authwit_public, compute_authwit_nullifier};
     // docs:end:import_authwit
 
-    use crate::types::{
-        transparent_note::TransparentNote,
-        token_note::{TokenNote, TOKEN_NOTE_LEN, TokenNoteHidingPoint}, balance_set::BalanceSet
-    };
+    use crate::types::{transparent_note::TransparentNote, balance_set::BalanceSet};
     // docs:end::imports
 
     // In the first transfer iteration we are computing a lot of additional information (validating inputs, retrieving
@@ -64,7 +62,7 @@ contract Token {
         minters: Map<AztecAddress, PublicMutable<bool>>,
         // docs:end:storage_minters
         // docs:start:storage_balances
-        balances: Map<AztecAddress, BalanceSet<TokenNote>>,
+        balances: Map<AztecAddress, BalanceSet<UintNote>>,
         // docs:end:storage_balances
         total_supply: PublicMutable<U128>,
         // docs:start:storage_pending_shields
@@ -541,25 +539,25 @@ contract Token {
 
         // 4. We create the partial notes for the fee payer and the user.
         // --> Called "partial" because they don't have the amount set yet (that will be done in `complete_refund(...)`).
-        let fee_payer_partial_note = TokenNote {
+        let fee_payer_partial_note = UintNote {
             header: NoteHeader {
                 contract_address: AztecAddress::zero(),
                 nonce: 0,
                 storage_slot: storage.balances.at(fee_payer).set.storage_slot,
                 note_hash_counter: 0
             },
-            amount: U128::zero(),
+            value: U128::zero(),
             npk_m_hash: fee_payer_npk_m_hash,
             randomness: fee_payer_randomness
         };
-        let user_partial_note = TokenNote {
+        let user_partial_note = UintNote {
             header: NoteHeader {
                 contract_address: AztecAddress::zero(),
                 nonce: 0,
                 storage_slot: storage.balances.at(user).set.storage_slot,
                 note_hash_counter: 0
             },
-            amount: U128::zero(),
+            value: U128::zero(),
             npk_m_hash: user_npk_m_hash,
             randomness: user_randomness
         };
@@ -587,10 +585,10 @@ contract Token {
     #[aztec(internal)]
     fn complete_refund(
         // TODO(#7771): the following makes macros crash --> try getting it work once we migrate to metaprogramming
-        // mut fee_payer_point: TokenNoteHidingPoint,
-        // mut user_point: TokenNoteHidingPoint,
-        fee_payer_point_immutable: TokenNoteHidingPoint,
-        user_point_immutable: TokenNoteHidingPoint,
+        // mut fee_payer_point: UintNoteHidingPoint,
+        // mut user_point: UintNoteHidingPoint,
+        fee_payer_point_immutable: UintNoteHidingPoint,
+        user_point_immutable: UintNoteHidingPoint,
         funded_amount: Field
     ) {
         // TODO(#7771): nuke the following 2 lines once we have mutable args

noir-projects/noir-contracts/contracts/token_contract/src/test/refunds.nr

@@ -1,11 +1,12 @@
-use crate::{test::utils, Token, types::token_note::TokenNote};
+use crate::{test::utils, Token};
 
 use dep::aztec::{
     test::helpers::cheatcodes, oracle::unsafe_rand::unsafe_rand, hash::compute_secret_hash,
     prelude::NoteHeader, protocol_types::storage::map::derive_storage_slot_in_map,
     keys::getters::get_current_public_keys
 };
 use dep::authwit::cheatcodes as authwit_cheatcodes;
+use dep::uint_note::uint_note::UintNote;
 
 #[test]
 unconstrained fn setup_refund_success() {
@@ -45,8 +46,8 @@ unconstrained fn setup_refund_success() {
     // worth  `funded_amount - transaction_fee`. We "know" the transaction fee was 1 (it is hardcoded in
     // `executePublicFunction` TXE oracle) but we need to notify TXE of the note (preimage).
     env.store_note_in_cache(
-        &mut TokenNote {
-        amount: U128::from_integer(funded_amount - 1),
+        &mut UintNote {
+        value: U128::from_integer(funded_amount - 1),
         npk_m_hash: user_npk_m_hash,
         randomness: user_randomness,
         header: NoteHeader::empty()
@@ -55,8 +56,8 @@ unconstrained fn setup_refund_success() {
         token_contract_address
     );
     env.store_note_in_cache(
-        &mut TokenNote {
-        amount: U128::from_integer(1),
+        &mut UintNote {
+        value: U128::from_integer(1),
         npk_m_hash: fee_payer_npk_m_hash,
         randomness: fee_payer_randomness,
         header: NoteHeader::empty()

noir-projects/noir-contracts/contracts/token_contract/src/test/utils.nr

@@ -6,7 +6,7 @@ use dep::aztec::{
     oracle::{execution::{get_block_number, get_contract_address}, unsafe_rand::unsafe_rand, storage::storage_read}
 };
 
-use crate::{types::{token_note::TokenNote, transparent_note::TransparentNote}, Token};
+use crate::{types::{transparent_note::TransparentNote}, Token};
 
 pub fn setup(with_account_contracts: bool) -> (&mut TestEnvironment, AztecAddress, AztecAddress, AztecAddress) {
     // Setup env, generate keys

noir-projects/noir-contracts/contracts/token_contract/src/types.nr

@@ -1,3 +1,2 @@
 mod transparent_note;
 mod balance_set;
-mod token_note;

noir-projects/noir-contracts/contracts/token_contract/src/types/balance_set.nr

@@ -5,7 +5,7 @@ use dep::aztec::{
     note::{note_getter::view_notes, note_emission::{NoteEmission, OuterNoteEmission}},
     keys::{getters::get_current_public_keys, public_keys::NpkM}
 };
-use crate::types::token_note::OwnedNote;
+use dep::uint_note::uint_note::OwnedNote;
 
 struct BalanceSet<T, Context> {
     set: PrivateSet<T, Context>,

yarn-project/end-to-end/src/e2e_fees/private_refunds.test.ts

@@ -100,7 +100,7 @@ describe('e2e_fees/private_refunds', () => {
         t.aliceAddress,
         token.address,
         deriveStorageSlotInMap(TokenContract.storage.balances.slot, t.aliceAddress),
-        TokenContract.notes.TokenNote.id,
+        TokenContract.notes.IntNote.id,
         txHash,
       ),
     );
@@ -120,7 +120,7 @@ describe('e2e_fees/private_refunds', () => {
         t.bobAddress,
         token.address,
         deriveStorageSlotInMap(TokenContract.storage.balances.slot, t.bobAddress),
-        TokenContract.notes.TokenNote.id,
+        TokenContract.notes.IntNote.id,
         txHash,
       ),
     );