refactor(pxe)!: derive oracle interfaces from registry and introduce aztec_misc_ prefix (#23840)

(cherry picked from commit 585829d)

Author: nchamo

avm-transpiler/src/transpile.rs

@@ -563,7 +563,7 @@ fn handle_foreign_call(
         "aztec_avm_revert" => handle_revert(avm_instrs, destinations, inputs),
         "aztec_avm_storageRead" => handle_storage_read(avm_instrs, destinations, inputs),
         "aztec_avm_storageWrite" => handle_storage_write(avm_instrs, destinations, inputs),
-        "aztec_utl_log" => handle_debug_log(avm_instrs, destinations, inputs),
+        "aztec_misc_log" => handle_debug_log(avm_instrs, destinations, inputs),
         // Getters.
         _ if inputs.is_empty() && destinations.len() == 1 => {
             handle_getter_instruction(avm_instrs, function, destinations, inputs);
@@ -1341,7 +1341,7 @@ fn handle_debug_log(
 ) {
     // We need to handle two flavors here:
     //
-    // #[oracle(aztec_utl_log)]
+    // #[oracle(aztec_misc_log)]
     // unconstrained fn log_oracle<let M: u32, let N: u32>(
     //     log_level: u8,
     //     msg: str<M>,
@@ -1351,7 +1351,7 @@ fn handle_debug_log(
     //
     // and
     //
-    //#[oracle(aztec_utl_log)]
+    //#[oracle(aztec_misc_log)]
     // unconstrained fn log_slice_oracle<let M: u32>(log_level: u8, msg: str<M>, args: [Field]) {}
     //
     // Luckily, these two flavors have both 4 arguments, since noir inserts a length field for slices before the slice.

noir-projects/aztec-nr/aztec/src/messages/encryption/aes128.nr

@@ -504,10 +504,10 @@ mod test {
 
             // Mock random values for deterministic test
             let eph_sk = 0x1358d15019d4639393d62b97e1588c095957ce74a1c32d6ec7d62fe6705d9538;
-            let _ = OracleMock::mock("aztec_utl_getRandomField").returns(eph_sk).times(1);
+            let _ = OracleMock::mock("aztec_misc_getRandomField").returns(eph_sk).times(1);
 
             let randomness = 0x0101010101010101010101010101010101010101010101010101010101010101;
-            let _ = OracleMock::mock("aztec_utl_getRandomField").returns(randomness).times(1000000);
+            let _ = OracleMock::mock("aztec_misc_getRandomField").returns(randomness).times(1000000);
 
             // Encrypt the message
             let encrypted_message = BoundedVec::from_array(AES128::encrypt(plaintext, recipient, contract_address));

noir-projects/aztec-nr/aztec/src/messages/logs/utils.nr

@@ -65,7 +65,7 @@ mod test {
         let random_tag = 42;
         let _ = OracleMock::mock("aztec_prv_getSenderForTags").returns(Option::some(sender));
         let _ = OracleMock::mock("aztec_prv_getAppTaggingSecret").returns(Option::<Field>::none());
-        let _ = OracleMock::mock("aztec_utl_getRandomField").returns(random_tag);
+        let _ = OracleMock::mock("aztec_misc_getRandomField").returns(random_tag);
         assert_eq(compute_discovery_tag(recipient, Option::none()), random_tag);
     }
 

noir-projects/aztec-nr/aztec/src/oracle/random.nr

@@ -6,5 +6,5 @@ pub unconstrained fn random() -> Field {
     rand_oracle()
 }
 
-#[oracle(aztec_utl_getRandomField)]
+#[oracle(aztec_misc_getRandomField)]
 unconstrained fn rand_oracle() -> Field {}

noir-projects/aztec-nr/aztec/src/oracle/version.nr

@@ -5,12 +5,12 @@
 ///
 /// The TypeScript counterparts are in `oracle_version.ts`.
 ///
-/// @dev Whenever a contract function or Noir test is run, the `aztec_utl_assertCompatibleOracleVersion` oracle is
+/// @dev Whenever a contract function or Noir test is run, the `aztec_misc_assertCompatibleOracleVersion` oracle is
 /// called. If the major version is incompatible, an error is thrown immediately. The minor version is recorded by
 /// the PXE and used to provide helpful error messages if a contract calls an oracle that doesn't exist. We don't throw
 /// immediately if AZTEC_NR_MINOR > PXE_MINOR because if a contract is updated to use a newer Aztec.nr dependency
 /// without actually using any of the new oracles then there is no reason to throw.
-pub global ORACLE_VERSION_MAJOR: Field = 28;
+pub global ORACLE_VERSION_MAJOR: Field = 29;
 pub global ORACLE_VERSION_MINOR: Field = 0;
 
 /// Asserts that the version of the oracle is compatible with the version expected by the contract.
@@ -26,7 +26,7 @@ unconstrained fn assert_compatible_oracle_version_wrapper() {
     assert_compatible_oracle_version_oracle(ORACLE_VERSION_MAJOR, ORACLE_VERSION_MINOR);
 }
 
-#[oracle(aztec_utl_assertCompatibleOracleVersion)]
+#[oracle(aztec_misc_assertCompatibleOracleVersion)]
 unconstrained fn assert_compatible_oracle_version_oracle(major: Field, minor: Field) {}
 
 mod test {

noir-projects/aztec-nr/aztec/src/standard_addresses.nr

@@ -2,17 +2,17 @@
 use protocol_types::{address::AztecAddress, traits::FromField};
 
 pub global STANDARD_AUTH_REGISTRY_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x02d06fabf56d3b3efd3d6f804b515e716f05fbd0bce2ffdf2e2d50660b0c8641,
+    0x2e1c8ae9471649da39ea42c4abb17ecb7028ae1e5e23bd35fd4251a69658a2e1,
 );
 
 pub global STANDARD_MULTI_CALL_ENTRYPOINT_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x2dd1c425d31f2c38b0468ec3e09fcf4bd066b289bea69e9ec7b2f5cf32dd2bd7,
+    0x0e169f6f6864aadf1eeafdef9af209f951f997f0b5187af191af7b271334aa20,
 );
 
 pub global STANDARD_PUBLIC_CHECKS_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x1a19f689c95f22ac9adf9dfc3ba634802c038b094f27bbc482bdbf0d33e70740,
+    0x106479f2993a73b878821b4cd0098c9bd48164b32e9b567df009732dabaa65e2,
 );
 
 pub global STANDARD_HANDSHAKE_REGISTRY_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x20e98e7deb9b3d957a321b6ccd84df520322f0cf448643999fc4fbd84521d957,
+    0x04ee9dc0b25d393c804ab6a6fc34223f3ca914a9a9043bdc6cd877efc9067383,
 );

noir-projects/aztec-nr/aztec/src/test/helpers/test_environment/test/misc.nr

@@ -45,7 +45,7 @@ unconstrained fn private_public_and_utility_context_share_default_chain_id() {
 
 #[test]
 unconstrained fn oracle_version_is_checked_upon_env_creation() {
-    let mock = OracleMock::mock("aztec_utl_assertCompatibleOracleVersion");
+    let mock = OracleMock::mock("aztec_misc_assertCompatibleOracleVersion");
 
     let _env = TestEnvironment::new();
 

noir-projects/noir-contracts/contracts/protocol/aztec_sublib/src/oracle/version.nr

@@ -5,12 +5,12 @@
 ///
 /// The TypeScript counterparts are in `oracle_version.ts`.
 ///
-/// @dev Whenever a contract function or Noir test is run, the `aztec_utl_assertCompatibleOracleVersion` oracle is
+/// @dev Whenever a contract function or Noir test is run, the `aztec_misc_assertCompatibleOracleVersion` oracle is
 /// called. If the major version is incompatible, an error is thrown immediately. The minor version is recorded by
 /// the PXE and used to provide helpful error messages if a contract calls an oracle that doesn't exist. We don't throw
 /// immediately if AZTEC_NR_MINOR > PXE_MINOR because if a contract is updated to use a newer Aztec.nr dependency
 /// without actually using any of the new oracles then there is no reason to throw.
-pub global ORACLE_VERSION_MAJOR: Field = 28;
+pub global ORACLE_VERSION_MAJOR: Field = 29;
 pub global ORACLE_VERSION_MINOR: Field = 0;
 
 /// Asserts that the version of the oracle is compatible with the version expected by the contract.
@@ -26,7 +26,7 @@ unconstrained fn assert_compatible_oracle_version_wrapper() {
     assert_compatible_oracle_version_oracle(ORACLE_VERSION_MAJOR, ORACLE_VERSION_MINOR);
 }
 
-#[oracle(aztec_utl_assertCompatibleOracleVersion)]
+#[oracle(aztec_misc_assertCompatibleOracleVersion)]
 unconstrained fn assert_compatible_oracle_version_oracle(major: Field, minor: Field) {}
 
 mod test {

noir-projects/noir-contracts/contracts/protocol/aztec_sublib/src/standard_addresses.nr

@@ -2,17 +2,17 @@
 use protocol_types::{address::AztecAddress, traits::FromField};
 
 pub global STANDARD_AUTH_REGISTRY_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x02d06fabf56d3b3efd3d6f804b515e716f05fbd0bce2ffdf2e2d50660b0c8641,
+    0x2e1c8ae9471649da39ea42c4abb17ecb7028ae1e5e23bd35fd4251a69658a2e1,
 );
 
 pub global STANDARD_MULTI_CALL_ENTRYPOINT_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x2dd1c425d31f2c38b0468ec3e09fcf4bd066b289bea69e9ec7b2f5cf32dd2bd7,
+    0x0e169f6f6864aadf1eeafdef9af209f951f997f0b5187af191af7b271334aa20,
 );
 
 pub global STANDARD_PUBLIC_CHECKS_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x1a19f689c95f22ac9adf9dfc3ba634802c038b094f27bbc482bdbf0d33e70740,
+    0x106479f2993a73b878821b4cd0098c9bd48164b32e9b567df009732dabaa65e2,
 );
 
 pub global STANDARD_HANDSHAKE_REGISTRY_ADDRESS: AztecAddress = AztecAddress::from_field(
-    0x20e98e7deb9b3d957a321b6ccd84df520322f0cf448643999fc4fbd84521d957,
+    0x04ee9dc0b25d393c804ab6a6fc34223f3ca914a9a9043bdc6cd877efc9067383,
 );