feat: pass scopes from wallets to PXE

We started with #20041, and we now want to enforce scopes on PXE. PXE already supports scopes, we just want to make wallets use the parameters correctly to enforce them

In order to make this work, we had to make contract sync scope-aware

Co-authored-by: Nicolas Chamo <nicolas@chamo.com.ar>

Author: nchamo

noir-projects/noir-contracts/Nargo.toml

@@ -35,7 +35,7 @@ members = [
     "contracts/protocol_interface/auth_registry_interface",
     "contracts/protocol_interface/contract_instance_registry_interface",
     "contracts/protocol_interface/fee_juice_interface",
-    "contracts/test/generic_proxy",
+    "contracts/test/generic_proxy_contract",
     "contracts/test/auth_wit_test_contract",
     "contracts/test/avm_gadgets_test_contract",
     "contracts/test/avm_initializer_test_contract",

noir-projects/noir-contracts/contracts/app/nft_contract/Nargo.toml

@@ -7,5 +7,5 @@ type = "contract"
 [dependencies]
 aztec = { path = "../../../../aztec-nr/aztec" }
 compressed_string = { path = "../../../../aztec-nr/compressed-string" }
-generic_proxy = { path = "../../test/generic_proxy" }
+generic_proxy_contract = { path = "../../test/generic_proxy_contract" }
 

noir-projects/noir-contracts/contracts/app/nft_contract/src/test/transfer_in_private.nr

@@ -1,7 +1,7 @@
 use crate::NFT;
 use crate::test::utils;
 use aztec::{oracle::random::random, test::helpers::authwit::add_private_authwit_from_call};
-use generic_proxy::GenericProxy;
+use generic_proxy_contract::GenericProxy;
 
 #[test]
 unconstrained fn transfer_in_private() {

noir-projects/noir-contracts/contracts/app/nft_contract/src/test/transfer_to_public.nr

@@ -1,7 +1,7 @@
 use crate::NFT;
 use crate::test::utils;
 use aztec::{oracle::random::random, test::helpers::authwit::add_private_authwit_from_call};
-use generic_proxy::GenericProxy;
+use generic_proxy_contract::GenericProxy;
 
 #[test]
 unconstrained fn transfer_to_public() {

noir-projects/noir-contracts/contracts/app/nft_contract/src/test/utils.nr

@@ -92,13 +92,13 @@ pub unconstrained fn assert_owns_private_nft(
 // this, since different scopes are enforced by TXE.
 pub unconstrained fn setup_with_proxy() -> (TestEnvironment, AztecAddress, AztecAddress, AztecAddress, AztecAddress) {
     let (mut env, nft_contract_address, owner, recipient) = setup(/* with_account_contracts */ true);
-    let proxy = env.deploy("@generic_proxy/GenericProxy").without_initializer();
+    let proxy = env.deploy("@generic_proxy_contract/GenericProxy").without_initializer();
     (env, nft_contract_address, owner, recipient, proxy)
 }
 
 pub unconstrained fn setup_mint_and_transfer_to_private_with_proxy() -> (TestEnvironment, AztecAddress, AztecAddress, AztecAddress, Field, AztecAddress) {
     let (mut env, nft_contract_address, owner, recipient, token_id) =
         setup_mint_and_transfer_to_private(/* with_account_contracts */ true);
-    let proxy = env.deploy("@generic_proxy/GenericProxy").without_initializer();
+    let proxy = env.deploy("@generic_proxy_contract/GenericProxy").without_initializer();
     (env, nft_contract_address, owner, recipient, token_id, proxy)
 }

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

@@ -9,4 +9,4 @@ aztec = { path = "../../../../aztec-nr/aztec" }
 uint_note = { path = "../../../../aztec-nr/uint-note" }
 compressed_string = { path = "../../../../aztec-nr/compressed-string" }
 balance_set = { path = "../../../../aztec-nr/balance-set" }
-generic_proxy = { path = "../../test/generic_proxy" }
+generic_proxy_contract = { path = "../../test/generic_proxy_contract" }

noir-projects/noir-contracts/contracts/app/token_contract/src/test/burn_private.nr

@@ -1,7 +1,7 @@
 use crate::test::utils;
 use crate::Token;
 use aztec::test::helpers::authwit::add_private_authwit_from_call;
-use generic_proxy::GenericProxy;
+use generic_proxy_contract::GenericProxy;
 
 global AUTHWIT_NONCE: Field = 7;
 

noir-projects/noir-contracts/contracts/app/token_contract/src/test/transfer_in_private.nr

@@ -1,7 +1,7 @@
 use crate::test::utils;
 use crate::Token;
 use aztec::test::helpers::authwit::add_private_authwit_from_call;
-use generic_proxy::GenericProxy;
+use generic_proxy_contract::GenericProxy;
 
 #[test]
 unconstrained fn transfer_private_on_behalf_of_other() {

noir-projects/noir-contracts/contracts/app/token_contract/src/test/transfer_to_public.nr

@@ -1,7 +1,7 @@
 use crate::test::utils;
 use crate::Token;
 use aztec::{oracle::random::random, test::helpers::authwit::add_private_authwit_from_call};
-use generic_proxy::GenericProxy;
+use generic_proxy_contract::GenericProxy;
 
 #[test]
 unconstrained fn transfer_to_public_on_behalf_of_self() {

noir-projects/noir-contracts/contracts/app/token_contract/src/test/transfer_to_public_and_prepare_private_balance_increase.nr

@@ -4,7 +4,7 @@ use aztec::{
     oracle::random::random, protocol::traits::Deserialize,
     test::helpers::authwit::add_private_authwit_from_call,
 };
-use generic_proxy::GenericProxy;
+use generic_proxy_contract::GenericProxy;
 use uint_note::PartialUintNote;
 
 // Tests the typical scenario in which transfer_to_public_and_prepare_private_balance_increase is to be used: