feat: View functions with static context enforcing

barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_opcode.hpp

@@ -98,6 +98,8 @@ enum class OpCode : uint8_t {
     // Gadgets
     KECCAK,
     POSEIDON2,
+    SHA256,
+    PEDERSEN,
 
     // Conversions
     TORADIXLE,

barretenberg/cpp/src/barretenberg/vm/avm_trace/aztec_constants.hpp

@@ -83,7 +83,7 @@ const size_t CONTRACT_INSTANCE_LENGTH = 5;
 const size_t CONTRACT_STORAGE_READ_LENGTH = 2;
 const size_t CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH = 2;
 const size_t ETH_ADDRESS_LENGTH = 1;
-const size_t FUNCTION_DATA_LENGTH = 2;
+const size_t FUNCTION_DATA_LENGTH = 3;
 const size_t FUNCTION_LEAF_PREIMAGE_LENGTH = 5;
 const size_t GLOBAL_VARIABLES_LENGTH = 6 + GAS_FEES_LENGTH;
 const size_t APPEND_ONLY_TREE_SNAPSHOT_LENGTH = 2;

docs/docs/migration_notes.md

@@ -6,20 +6,56 @@ keywords: [sandbox, cli, aztec, notes, migration, updating, upgrading]
 
 Aztec is in full-speed development. Literally every version breaks compatibility with the previous ones. This page attempts to target errors and difficulties you might encounter when upgrading, and how to resolve them.
 
+## 0.X.X
+
+### [Aztec.nr] View functions and interface navigation
+
+It is now possible to explicitly state a function doesn't perform any state alterations (including storage, logs, nullifiers and/or messages from L2 to L1) with the `#[aztec(view)]` attribute, similarly to solidity's `view` function modifier.
+
+```diff
+    #[aztec(public)]
++   #[aztec(view)]
+    fn get_price(asset_id: Field) -> Asset {
+        storage.assets.at(asset_id).read()
+    }
+```
+
+View functions only generate a `StaticCallInterface` that doesn't include `.call` or `.enqueue` methods. Also, the denomination `static` has been completely removed from the interfaces, in favor of the more familiar `view`
+
+```diff
++ let price = PriceFeed::at(asset.oracle).get_price(0).view(&mut context).price;
+- let price = PriceFeed::at(asset.oracle).get_price(0).static_call(&mut context).price;
+```
+
+```diff
+#[aztec(private)]
+fn enqueue_public_get_value_from_child(target_contract: AztecAddress, value: Field) {
++   StaticChild::at(target_contract).pub_get_value(value).enqueue_view(&mut context);
+-   StaticChild::at(target_contract).pub_get_value(value).static_enqueue(&mut context);
+}
+```
+
+Additionally, the Noir LSP will now honor "go to definitions" requests for contract interfaces (Ctrl+click), taking the user to the original function implementation.
+
+### [Aztec.js] Simulate changes
+
+* `.simulate()` now tracks closer the process performed by `.send().wait()`, specifically going through the account contract entrypoint instead of directly calling the intended function.
+* `wallet.viewTx(...)` has been renamed to `wallet.simulateUnconstrained(...)` to better clarify what it does.
+
 ## 0.41.0
 
 ### [Aztec.nr] Keys: Token note now stores an owner master nullifying public key hash instead of an owner address
 
 i.e.
 
-struct TokenNote \{
+```diff
+struct TokenNote {
     amount: U128,
-    ```diff
-    - owner: AztecAddress,
-    + npk_m_hash: Field,
-    ```
+-   owner: AztecAddress,
++   npk_m_hash: Field,
     randomness: Field,
-\}
+}
+```
 
 Computing the nullifier similarly changes to use this master nullifying public key hash.
 

l1-contracts/src/core/libraries/ConstantsGen.sol

@@ -111,7 +111,7 @@ library Constants {
   uint256 internal constant CONTRACT_STORAGE_READ_LENGTH = 2;
   uint256 internal constant CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH = 2;
   uint256 internal constant ETH_ADDRESS_LENGTH = 1;
-  uint256 internal constant FUNCTION_DATA_LENGTH = 2;
+  uint256 internal constant FUNCTION_DATA_LENGTH = 3;
   uint256 internal constant FUNCTION_LEAF_PREIMAGE_LENGTH = 5;
   uint256 internal constant GLOBAL_VARIABLES_LENGTH = 6 + GAS_FEES_LENGTH;
   uint256 internal constant APPEND_ONLY_TREE_SNAPSHOT_LENGTH = 2;

l1-contracts/test/fixtures/empty_block_0.json

@@ -8,7 +8,7 @@
     "l2ToL1Messages": []
   },
   "block": {
-    "archive": "0x12a6236f076e51298ca7c5c4d0c9898239c5f829e1f2673a18a922d5ee50a4fd",
+    "archive": "0x2ef0cbb8a2651d0ddd89c84019bcbfa6f992adcf28831c4767a2c592f35d41ba",
     "body": "0x00000000",
     "txsEffectsHash": "0x002676dbd818b1ba16e11597cb5c07b06aa7771127b02a77d0c3a6039bb9fef1",
     "decodedHeader": {
@@ -23,8 +23,8 @@
         "chainId": 31337,
         "timestamp": 0,
         "version": 1,
-        "coinbase": "0xf98794b6b717c6c7d6806a8ebb8cb1327144f0c7",
-        "feeRecipient": "0x1eece2f228c0b199fee7bb461e152e69a6ddd096573bd8ea45a7df0e105439a4",
+        "coinbase": "0xe8bf4f268ec70317922965dcc848cab31883f841",
+        "feeRecipient": "0x2d2fc61c2ed4df01168b2e4bff9e801fa0feb1bb2b874944e60402e21f611e9a",
         "gasFees": {
           "feePerDaGas": 0,
           "feePerL2Gas": 0
@@ -55,8 +55,8 @@
         }
       }
     },
-    "header": "0x067a48e3140b6f15d71751ededfa0cccde3d436bb71aa7fec226b0bfe51dc5cf000000010000000000000000000000000000000000000000000000000000000000000001002676dbd818b1ba16e11597cb5c07b06aa7771127b02a77d0c3a6039bb9fef100089a9d421a82c4a25f7acbebe69e638d5b064fa8a60e018793dcb0be53752c0007638bb56b6dda2b64b8f76841114ac3a87a1820030e2e16772c4d294879c31864fcdaa80ff2719154fa7c8a9050662972707168d69eac9db6fd3110829f800000001016642d9ccd8346c403aa4c3fa451178b22534a27035cdaa6ec34ae53b29c50cb000000800bcfa3e9f1a8922ee92c6dc964d6595907c1804a86753774322b468f69d4f278000001000572c8db882674dd026b8877fbba1b700a4407da3ae9ce5fa43215a28163362b000000800000000000000000000000000000000000000000000000000000000000007a69000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000f98794b6b717c6c7d6806a8ebb8cb1327144f0c71eece2f228c0b199fee7bb461e152e69a6ddd096573bd8ea45a7df0e105439a400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
-    "publicInputsHash": "0x0081ff51b8e6caf79d8d0616b407a5cf7c3d939bf568a94100d6e7b5dbaf2cff",
+    "header": "0x067a48e3140b6f15d71751ededfa0cccde3d436bb71aa7fec226b0bfe51dc5cf000000010000000000000000000000000000000000000000000000000000000000000001002676dbd818b1ba16e11597cb5c07b06aa7771127b02a77d0c3a6039bb9fef100089a9d421a82c4a25f7acbebe69e638d5b064fa8a60e018793dcb0be53752c0007638bb56b6dda2b64b8f76841114ac3a87a1820030e2e16772c4d294879c31864fcdaa80ff2719154fa7c8a9050662972707168d69eac9db6fd3110829f800000001016642d9ccd8346c403aa4c3fa451178b22534a27035cdaa6ec34ae53b29c50cb000000800bcfa3e9f1a8922ee92c6dc964d6595907c1804a86753774322b468f69d4f278000001000572c8db882674dd026b8877fbba1b700a4407da3ae9ce5fa43215a28163362b000000800000000000000000000000000000000000000000000000000000000000007a69000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000e8bf4f268ec70317922965dcc848cab31883f8412d2fc61c2ed4df01168b2e4bff9e801fa0feb1bb2b874944e60402e21f611e9a00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "publicInputsHash": "0x002afd32d173b032a180992cb05bba5f791137d345d59e8a84b0c4fb511fab69",
     "numTxs": 0
   }
 }

l1-contracts/test/fixtures/empty_block_1.json

@@ -8,7 +8,7 @@
     "l2ToL1Messages": []
   },
   "block": {
-    "archive": "0x19d445841fdaa62cfa9752aae068322e538729535b9fc4e195fd4e7b010f2e91",
+    "archive": "0x2d89a13b4dacdf6ce914ba3266a7ff4db3c2685ad1c8cbb15e2c51567c9f3732",
     "body": "0x00000000",
     "txsEffectsHash": "0x002676dbd818b1ba16e11597cb5c07b06aa7771127b02a77d0c3a6039bb9fef1",
     "decodedHeader": {
@@ -21,18 +21,18 @@
       "globalVariables": {
         "blockNumber": 2,
         "chainId": 31337,
-        "timestamp": 1715940661,
+        "timestamp": 1715959589,
         "version": 1,
-        "coinbase": "0xf98794b6b717c6c7d6806a8ebb8cb1327144f0c7",
-        "feeRecipient": "0x1eece2f228c0b199fee7bb461e152e69a6ddd096573bd8ea45a7df0e105439a4",
+        "coinbase": "0xe8bf4f268ec70317922965dcc848cab31883f841",
+        "feeRecipient": "0x2d2fc61c2ed4df01168b2e4bff9e801fa0feb1bb2b874944e60402e21f611e9a",
         "gasFees": {
           "feePerDaGas": 0,
           "feePerL2Gas": 0
         }
       },
       "lastArchive": {
         "nextAvailableLeafIndex": 2,
-        "root": "0x12a6236f076e51298ca7c5c4d0c9898239c5f829e1f2673a18a922d5ee50a4fd"
+        "root": "0x2ef0cbb8a2651d0ddd89c84019bcbfa6f992adcf28831c4767a2c592f35d41ba"
       },
       "stateReference": {
         "l1ToL2MessageTree": {
@@ -55,8 +55,8 @@
         }
       }
     },
-    "header": "0x12a6236f076e51298ca7c5c4d0c9898239c5f829e1f2673a18a922d5ee50a4fd000000020000000000000000000000000000000000000000000000000000000000000001002676dbd818b1ba16e11597cb5c07b06aa7771127b02a77d0c3a6039bb9fef100089a9d421a82c4a25f7acbebe69e638d5b064fa8a60e018793dcb0be53752c0007638bb56b6dda2b64b8f76841114ac3a87a1820030e2e16772c4d294879c31864fcdaa80ff2719154fa7c8a9050662972707168d69eac9db6fd3110829f800000002016642d9ccd8346c403aa4c3fa451178b22534a27035cdaa6ec34ae53b29c50cb000001000bcfa3e9f1a8922ee92c6dc964d6595907c1804a86753774322b468f69d4f278000001800572c8db882674dd026b8877fbba1b700a4407da3ae9ce5fa43215a28163362b000000c00000000000000000000000000000000000000000000000000000000000007a69000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000066472d35f98794b6b717c6c7d6806a8ebb8cb1327144f0c71eece2f228c0b199fee7bb461e152e69a6ddd096573bd8ea45a7df0e105439a400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
-    "publicInputsHash": "0x008568ca7fc6464f9cb6588e7215e14e0eb49c96dd210a849a0d3369d185c261",
+    "header": "0x2ef0cbb8a2651d0ddd89c84019bcbfa6f992adcf28831c4767a2c592f35d41ba000000020000000000000000000000000000000000000000000000000000000000000001002676dbd818b1ba16e11597cb5c07b06aa7771127b02a77d0c3a6039bb9fef100089a9d421a82c4a25f7acbebe69e638d5b064fa8a60e018793dcb0be53752c0007638bb56b6dda2b64b8f76841114ac3a87a1820030e2e16772c4d294879c31864fcdaa80ff2719154fa7c8a9050662972707168d69eac9db6fd3110829f800000002016642d9ccd8346c403aa4c3fa451178b22534a27035cdaa6ec34ae53b29c50cb000001000bcfa3e9f1a8922ee92c6dc964d6595907c1804a86753774322b468f69d4f278000001800572c8db882674dd026b8877fbba1b700a4407da3ae9ce5fa43215a28163362b000000c00000000000000000000000000000000000000000000000000000000000007a69000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000066477725e8bf4f268ec70317922965dcc848cab31883f8412d2fc61c2ed4df01168b2e4bff9e801fa0feb1bb2b874944e60402e21f611e9a00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "publicInputsHash": "0x00d89e3c39acef7f079096f4efbef7d34addd5e3524d5d0a8849ff6aae4fd55d",
     "numTxs": 0
   }
 }

noir-projects/aztec-nr/authwit/src/entrypoint/app.nr

@@ -4,9 +4,9 @@ use dep::aztec::protocol_types::{constants::GENERATOR_INDEX__SIGNATURE_PAYLOAD,
 use crate::entrypoint::function_call::{FunctionCall, FUNCTION_CALL_SIZE_IN_BYTES};
 
 // FUNCTION_CALL_SIZE * ACCOUNT_MAX_CALLS + 1
-global APP_PAYLOAD_SIZE: u64 = 17;
+global APP_PAYLOAD_SIZE: u64 = 21;
 // FUNCTION_CALL_SIZE_IN_BYTES * ACCOUNT_MAX_CALLS + 32
-global APP_PAYLOAD_SIZE_IN_BYTES: u64 = 420;
+global APP_PAYLOAD_SIZE_IN_BYTES: u64 = 424;
 
 global ACCOUNT_MAX_CALLS: u64 = 4;
 
@@ -62,15 +62,15 @@ impl AppPayload {
                         call.target_address,
                         call.function_selector,
                         call.args_hash,
-                        false,
+                        call.is_static,
                         false
                     );
                 } else {
                     let _result = context.call_private_function_with_packed_args(
                         call.target_address,
                         call.function_selector,
                         call.args_hash,
-                        false,
+                        call.is_static,
                         false
                     );
                 }

noir-projects/aztec-nr/authwit/src/entrypoint/fee.nr

@@ -2,11 +2,11 @@ use dep::aztec::prelude::PrivateContext;
 use dep::aztec::protocol_types::{constants::GENERATOR_INDEX__FEE_PAYLOAD, hash::pedersen_hash, traits::{Hash, Serialize}};
 use crate::entrypoint::function_call::FunctionCall;
 
-// 2 * 4 (function call) + 1
-global FEE_PAYLOAD_SIZE: Field = 9;
+// 2 * 5 (FUNCTION_CALL_SIZE) + 1
+global FEE_PAYLOAD_SIZE: Field = 11;
 
-// 2*97 + 32
-global FEE_PAYLOAD_SIZE_IN_BYTES: Field = 226;
+// 2 * 98 (FUNCTION_CALL_SIZE_IN_BYTES) + 32
+global FEE_PAYLOAD_SIZE_IN_BYTES: Field = 228;
 
 global MAX_FEE_FUNCTION_CALLS = 2;
 
@@ -58,15 +58,15 @@ impl FeePayload {
                         call.target_address,
                         call.function_selector,
                         call.args_hash,
-                        false,
+                        call.is_static,
                         false
                     );
                 } else {
                     let _result = context.call_private_function_with_packed_args(
                         call.target_address,
                         call.function_selector,
                         call.args_hash,
-                        false,
+                        call.is_static,
                         false
                     );
                 }

noir-projects/aztec-nr/authwit/src/entrypoint/function_call.nr

@@ -1,20 +1,21 @@
 use dep::aztec::protocol_types::{abis::function_selector::FunctionSelector, address::AztecAddress, traits::Serialize};
 
-// 1 (ARGS_HASH) + 1 (FUNCTION_SELECTOR) + 1 (TARGET_ADDRESS) + 1 (IS_PUBLIC)
-global FUNCTION_CALL_SIZE: Field = 4;
-// 3 * 32 + 1
-global FUNCTION_CALL_SIZE_IN_BYTES: Field = 97;
+// 1 (ARGS_HASH) + 1 (FUNCTION_SELECTOR) + 1 (TARGET_ADDRESS) + 1 (IS_PUBLIC) + 1 (IS_STATIC)
+global FUNCTION_CALL_SIZE: Field = 5;
+// 3 * 32 + 2
+global FUNCTION_CALL_SIZE_IN_BYTES: Field = 98;
 
 struct FunctionCall {
   args_hash: Field,
   function_selector: FunctionSelector,
   target_address: AztecAddress,
   is_public: bool,
+  is_static: bool,
 }
 
 impl Serialize<FUNCTION_CALL_SIZE> for FunctionCall {
   fn serialize(self) -> [Field; FUNCTION_CALL_SIZE] {
-    [self.args_hash, self.function_selector.to_field(), self.target_address.to_field(), self.is_public as Field]
+    [self.args_hash, self.function_selector.to_field(), self.target_address.to_field(), self.is_public as Field, self.is_static as Field]
   }
 }
 
@@ -34,6 +35,7 @@ impl FunctionCall {
             bytes[i + 64] = target_address_bytes[i];
         }
         bytes[96] = self.is_public as u8;
+        bytes[97] = self.is_static as u8;
         bytes
     }
 }

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

@@ -5,11 +5,15 @@ mod private_context;
 mod public_context;
 mod avm_context;
 mod interface;
+mod call_interfaces;
 mod gas;
 
-use interface::{
-    ContextInterface, PrivateCallInterface, PublicCallInterface, PrivateVoidCallInterface,
-    PublicVoidCallInterface, AvmCallInterface, AvmVoidCallInterface
+use interface::ContextInterface;
+use call_interfaces::{
+    PrivateCallInterface, PrivateStaticCallInterface, PublicCallInterface, PublicStaticCallInterface,
+    PrivateVoidCallInterface, PrivateStaticVoidCallInterface, PublicVoidCallInterface,
+    PublicStaticVoidCallInterface, AvmCallInterface, AvmStaticCallInterface, AvmVoidCallInterface,
+    AvmStaticVoidCallInterface
 };
 use private_context::PrivateContext;
 use private_context::PackedReturns;