add

fix

Author: Esau

.gitignore

@@ -1 +1,3 @@
-target
+target
+node_modules
+.DS_Store

note-send-proof/.gitignore

@@ -0,0 +1,5 @@
+node_modules
+target
+codegenCache.json
+artifacts
+dist

note-send-proof/circuits/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "circuits"
+type = "bin"
+authors = [""]
+
+[dependencies]
+aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v0.87.9", directory = "noir-projects/aztec-nr/aztec" }
+uint_note = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v0.87.9", directory = "noir-projects/aztec-nr/uint-note" }
+poseidon = { tag = "v0.1.1", git = "https://github.com/noir-lang/poseidon" }

note-send-proof/circuits/Prover.toml

@@ -0,0 +1,7 @@
+  settled_note_hash: "0x109ebaffd4e6aa4e4c305606addd352dd432d37fd5541b67e86e7310cdf80053"
+  contract_address: "0x0f140443f51fe2a1b9ca04b279cda12e2bbdd073efb6b09aed79a6a4315957d0"
+  recipient: "0x116586dbcc81434e8b0727cbe282be01271886275e347489947af5d1b94618a4"
+  randomness: "0x0000000000000000000000000000000000000000000000000000000000001b39",
+  value: 69,
+  storage_slot: "0x134f661dca40dad62341c230269bbed01da64b506e8a0e6e0a452a9262023012"
+  note_nonce: "0x0fe225cdf1421a3266faf50f46025b73bb57858d10f7cd62875b47e988c64edd"

note-send-proof/circuits/src/main.nr

@@ -0,0 +1,27 @@
+use dep::aztec::protocol_types::{
+    address::AztecAddress,
+    constants::{GENERATOR_INDEX__SILOED_NOTE_HASH, GENERATOR_INDEX__UNIQUE_NOTE_HASH}, 
+    traits::FromField,
+};
+use dep::aztec::note::note_interface::NoteHash;
+use dep::poseidon;
+
+use uint_note::uint_note::UintNote;
+
+fn main(
+    settled_note_hash: pub Field,
+    contract_address: pub Field,
+    recipient: pub Field,
+    randomness: Field,
+    value: pub u128,
+    storage_slot: Field,
+    note_nonce: Field,
+) {
+    let note = UintNote { value, randomness, owner: AztecAddress::from_field(recipient) };
+    let note_hash = note.compute_note_hash(storage_slot);
+
+    let siloed_note_hash = poseidon::poseidon2::Poseidon2::hash([GENERATOR_INDEX__SILOED_NOTE_HASH as Field, contract_address, note_hash], 3);
+    let unique_note_hash = poseidon::poseidon2::Poseidon2::hash([GENERATOR_INDEX__UNIQUE_NOTE_HASH as Field, note_nonce, siloed_note_hash], 3);
+
+    assert_eq(settled_note_hash, unique_note_hash);
+}

note-send-proof/sample-contract/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "getting_started_contract"
+authors = [""]
+compiler_version = ">=1.0.0"
+type = "contract"
+
+[dependencies]
+aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v0.87.9", directory = "noir-projects/aztec-nr/aztec" }
+uint_note = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v0.87.9", directory = "noir-projects/aztec-nr/uint-note" }

note-send-proof/sample-contract/src/main.nr

@@ -0,0 +1,79 @@
+use aztec::macros::aztec;
+
+#[aztec]
+pub contract GettingStarted {
+    use aztec::{
+        state_vars::{private_mutable::PrivateMutable, private_set::PrivateSet, public_mutable::PublicMutable, map::Map},
+        messages::logs::note::encode_and_encrypt_note_unconstrained,
+        note::{constants::MAX_NOTES_PER_PAGE, note_viewer_options::NoteViewerOptions},
+
+        macros::{
+            functions::{initializer, private, public, utility, internal},
+            storage::storage,
+        },
+        protocol_types::{
+            address::AztecAddress,
+        },
+    };
+
+    use uint_note::uint_note::UintNote;
+
+    #[storage]
+    struct Storage<Context> {
+        contract_private_state: PrivateMutable<UintNote, Context>,
+        user_private_state: Map<AztecAddress, PrivateSet<UintNote, Context>, Context>,
+        contract_public_state: PublicMutable<u128, Context>,
+        user_public_state: Map<AztecAddress, PublicMutable<u128, Context>, Context>,
+        owner: PublicMutable<AztecAddress, Context>,
+    }
+
+    #[initializer]
+    #[public]
+    fn setup() {
+        storage.owner.write(context.msg_sender());
+    }
+
+    #[private]
+    fn create_note_for_user(value: u128) {
+        let note_owner = context.msg_sender();
+        storage.user_private_state.at(note_owner)
+        // randomness should actually be random, but is a workaround because we can't recover it now
+            .insert(UintNote { value, owner: note_owner, randomness: 6969 })
+            .emit(encode_and_encrypt_note_unconstrained(&mut context, note_owner, note_owner));
+    }
+
+    #[public]
+    fn modify_public_state_for_user(value: u128) {
+        storage.user_public_state.at(context.msg_sender()).write(value);
+    }
+
+    #[private]
+    fn modify_private_state_for_contract(value: u128) {
+        let maybe_contract_owner = context.msg_sender();
+
+        storage.contract_private_state.initialize_or_replace(UintNote::new(value, maybe_contract_owner))
+            .emit(encode_and_encrypt_note_unconstrained(&mut context, maybe_contract_owner, maybe_contract_owner));
+
+        GettingStarted::at(context.this_address())._assert_is_owner(maybe_contract_owner).enqueue(&mut context);
+    }
+
+    #[public]
+    #[internal]
+    fn _assert_is_owner(maybe_owner: AztecAddress) {
+        assert_eq(maybe_owner, storage.owner.read());
+    }
+
+    #[public]
+    fn modify_public_state_for_contract(value: u128) {
+        let maybe_contract_owner = context.msg_sender();
+
+        GettingStarted::at(context.this_address())._assert_is_owner(maybe_contract_owner).call(&mut context);
+
+        storage.user_public_state.at(context.msg_sender()).write(value);
+    }
+
+    #[utility]
+    unconstrained fn view_created_notes(owner: AztecAddress) -> BoundedVec<UintNote, MAX_NOTES_PER_PAGE> {
+        storage.user_private_state.at(owner).view_notes(NoteViewerOptions::new())
+    }
+}