feat!: allow consuming l1-to-l2 message in the same block (#16704)

We now feed the new l1-to-l2 message tree root to the avm, allowing the
public functions to consume the messages that are going to be inserted
to the tree in the block root rollup.

Author: LeilaWang

noir-projects/noir-protocol-circuits/crates/rollup-base-private/Prover.toml

@@ -8358,7 +8358,7 @@ next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000
     root = "0x04522891b206ed43de89ad1f2bf6701ff8589b78893ee32d43a231522f99bfa3"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000009"
 
-    [inputs.constants.last_l1_to_l2]
+    [inputs.constants.new_l1_to_l2]
     root = "0x2e33ee2008411c04b99c24b313513d097a0d21a5040b6193d1f978b8226892d6"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"
 

noir-projects/noir-protocol-circuits/crates/rollup-block-root/Prover.toml

@@ -13,9 +13,9 @@ accumulated_mana_used = "0x00000000000000000000000000000000000000000000000000000
     root = "0x11ec690ae2d1a79033acbde89cb053a6bfeb7713fdc47a18b28fde85057afb4d"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000008"
 
-    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.last_l1_to_l2]
+    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.new_l1_to_l2]
     root = "0x2e33ee2008411c04b99c24b313513d097a0d21a5040b6193d1f978b8226892d6"
-    next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000070"
+    next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"
 
     [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.global_variables]
     chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
@@ -781,9 +781,9 @@ accumulated_mana_used = "0x00000000000000000000000000000000000000000000000000000
     root = "0x11ec690ae2d1a79033acbde89cb053a6bfeb7713fdc47a18b28fde85057afb4d"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000008"
 
-    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.last_l1_to_l2]
+    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.new_l1_to_l2]
     root = "0x2e33ee2008411c04b99c24b313513d097a0d21a5040b6193d1f978b8226892d6"
-    next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000070"
+    next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"
 
     [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.global_variables]
     chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"

noir-projects/noir-protocol-circuits/crates/rollup-lib/src/base/public_base_rollup.nr

@@ -89,7 +89,7 @@ impl PublicBaseRollupInputs {
 
         BlockConstantData {
             last_archive: self.last_archive,
-            last_l1_to_l2: avm_data.start_tree_snapshots.l1_to_l2_message_tree,
+            new_l1_to_l2: avm_data.start_tree_snapshots.l1_to_l2_message_tree,
             global_variables: avm_data.global_variables,
             vk_tree_root: tube_data.constants.vk_tree_root,
             protocol_contract_tree_root: tube_data.constants.protocol_contract_tree_root,

noir-projects/noir-protocol-circuits/crates/rollup-lib/src/block_root/block_root_rollup_inputs.nr

@@ -372,13 +372,13 @@ pub(crate) mod tests {
         let _ = builder.execute();
     }
 
-    #[test(should_fail_with = "last_l1_to_l2 in constants does not match the value in the previous block header")]
-    unconstrained fn mismatch_last_l1_to_l2_snapshot_fails() {
+    #[test(should_fail_with = "new_l1_to_l2 in constants does not match the computed value")]
+    unconstrained fn mismatch_new_l1_to_l2_snapshot_fails() {
         let mut builder = TestBuilder::new();
 
-        builder.inputs.previous_rollup_data[0].base_or_merge_rollup_public_inputs.constants.last_l1_to_l2.root +=
+        builder.inputs.previous_rollup_data[0].base_or_merge_rollup_public_inputs.constants.new_l1_to_l2.root +=
             1;
-        builder.inputs.previous_rollup_data[1].base_or_merge_rollup_public_inputs.constants.last_l1_to_l2.root +=
+        builder.inputs.previous_rollup_data[1].base_or_merge_rollup_public_inputs.constants.new_l1_to_l2.root +=
             1;
 
         let _ = builder.execute();

noir-projects/noir-protocol-circuits/crates/rollup-lib/src/block_root/components/block_root_rollup_inputs_validator.nr

@@ -107,12 +107,5 @@ impl<let NUM_ROLLUPS: u32, let N: u32> BlockRootRollupInputsValidator<NUM_ROLLUP
             ),
             "hash of the previous block header is not the last leaf in the archive tree",
         );
-
-        // Validate last_l1_to_l2.
-        assert_eq(
-            constants.last_l1_to_l2,
-            previous_block_header.state.l1_to_l2_message_tree,
-            "last_l1_to_l2 in constants does not match the value in the previous block header",
-        );
     }
 }

noir-projects/noir-protocol-circuits/crates/rollup-lib/src/block_root/components/block_root_rollup_output_composer.nr

@@ -178,6 +178,15 @@ impl BlockRootRollupOutputComposer {
             self.data.l1_to_l2_roots.public_inputs.converted_root,
             L1_TO_L2_MSG_SUBTREE_HEIGHT as u8,
         );
+
+        // Check that the `new_l1_to_l2` tree snapshot in the constants matches the computed value.
+        // This snapshot is used in the avm to validate the l1 to l2 message read requests
+        assert_eq(
+            constants.new_l1_to_l2,
+            new_l1_to_l2_message_tree_snapshot,
+            "new_l1_to_l2 in constants does not match the computed value",
+        );
+
         let state = StateReference {
             l1_to_l2_message_tree: new_l1_to_l2_message_tree_snapshot,
             partial: end_partial_state,

noir-projects/noir-protocol-circuits/crates/rollup-lib/src/tests/rollup_fixture_builder.nr

@@ -19,7 +19,7 @@ use types::{
         L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, L1_TO_L2_MSG_TREE_HEIGHT,
         PUBLIC_BASE_ROLLUP_VK_INDEX, ROOT_PARITY_INDEX,
     },
-    merkle_tree::MerkleTree,
+    merkle_tree::{append_only_tree, calculate_empty_tree_root, MerkleTree},
     proof::vk_data::VkData,
     tests::{fixtures, merkle_tree_utils::{compute_zero_hashes, NonEmptyMerkleTree}},
     traits::{Empty, Hash, Serialize},
@@ -31,6 +31,7 @@ pub struct RollupFixtureBuilder {
     pub previous_block_hash: Field,
     pub last_l1_to_l2: AppendOnlyTreeSnapshot,
     pub last_l1_to_l2_subtree_sibling_path: [Field; L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH],
+    pub new_l1_to_l2: AppendOnlyTreeSnapshot,
     pub last_archive: AppendOnlyTreeSnapshot,
     pub last_archive_sibling_path: [Field; ARCHIVE_HEIGHT],
     pub new_archive: AppendOnlyTreeSnapshot,
@@ -61,6 +62,7 @@ impl RollupFixtureBuilder {
             previous_block_hash: 0,
             last_l1_to_l2: AppendOnlyTreeSnapshot::empty(),
             last_l1_to_l2_subtree_sibling_path: [0; L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH],
+            new_l1_to_l2: AppendOnlyTreeSnapshot::empty(),
             last_archive: AppendOnlyTreeSnapshot::empty(),
             last_archive_sibling_path: [0; ARCHIVE_HEIGHT],
             new_archive: AppendOnlyTreeSnapshot::empty(),
@@ -201,6 +203,16 @@ impl RollupFixtureBuilder {
         self.last_l1_to_l2 = snapshot;
         self.last_l1_to_l2_subtree_sibling_path = sibling_path;
 
+        let converted_root = self.to_root_rollup_parity_input().public_inputs.converted_root;
+        let empty_l1_to_l2_subtree_root = calculate_empty_tree_root(L1_TO_L2_MSG_SUBTREE_HEIGHT);
+        self.new_l1_to_l2 = append_only_tree::insert_subtree_to_snapshot_tree(
+            snapshot,
+            sibling_path,
+            empty_l1_to_l2_subtree_root,
+            converted_root,
+            L1_TO_L2_MSG_SUBTREE_HEIGHT as u8,
+        );
+
         *self
     }
 
@@ -237,7 +249,7 @@ impl RollupFixtureBuilder {
     pub fn to_block_constant_data(self) -> BlockConstantData {
         BlockConstantData {
             last_archive: self.last_archive,
-            last_l1_to_l2: self.last_l1_to_l2,
+            new_l1_to_l2: self.new_l1_to_l2,
             vk_tree_root: self.vk_tree_root,
             protocol_contract_tree_root: self.protocol_contract_tree_root,
             global_variables: self.global_variables,

noir-projects/noir-protocol-circuits/crates/rollup-merge/Prover.toml

@@ -13,7 +13,7 @@ accumulated_mana_used = "0x00000000000000000000000000000000000000000000000000000
     root = "0x11ec690ae2d1a79033acbde89cb053a6bfeb7713fdc47a18b28fde85057afb4d"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000008"
 
-    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.last_l1_to_l2]
+    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.new_l1_to_l2]
     root = "0x2e33ee2008411c04b99c24b313513d097a0d21a5040b6193d1f978b8226892d6"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000070"
 
@@ -781,7 +781,7 @@ accumulated_mana_used = "0x00000000000000000000000000000000000000000000000000000
     root = "0x11ec690ae2d1a79033acbde89cb053a6bfeb7713fdc47a18b28fde85057afb4d"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000008"
 
-    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.last_l1_to_l2]
+    [inputs.previous_rollup_data.base_or_merge_rollup_public_inputs.constants.new_l1_to_l2]
     root = "0x2e33ee2008411c04b99c24b313513d097a0d21a5040b6193d1f978b8226892d6"
     next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000070"
 

noir-projects/noir-protocol-circuits/crates/types/src/abis/block_constant_data.nr

@@ -8,8 +8,8 @@ use std::meta::derive;
 pub struct BlockConstantData {
     // Archive tree snapshot at the very beginning of the entire block.
     pub last_archive: AppendOnlyTreeSnapshot,
-    // L1toL2Message tree snapshot at the very beginning of the entire block.
-    pub last_l1_to_l2: AppendOnlyTreeSnapshot,
+    // L1toL2Message tree snapshot after this block lands.
+    pub new_l1_to_l2: AppendOnlyTreeSnapshot,
     pub vk_tree_root: Field,
     pub protocol_contract_tree_root: Field,
     pub global_variables: GlobalVariables,
@@ -19,7 +19,7 @@ impl Empty for BlockConstantData {
     fn empty() -> Self {
         BlockConstantData {
             last_archive: AppendOnlyTreeSnapshot::empty(),
-            last_l1_to_l2: AppendOnlyTreeSnapshot::empty(),
+            new_l1_to_l2: AppendOnlyTreeSnapshot::empty(),
             vk_tree_root: 0,
             protocol_contract_tree_root: 0,
             global_variables: GlobalVariables::empty(),
@@ -43,7 +43,7 @@ mod test {
     fn serialization_of_block_constant_data() {
         let item = BlockConstantData {
             last_archive: AppendOnlyTreeSnapshot { root: 123, next_available_leaf_index: 456 },
-            last_l1_to_l2: AppendOnlyTreeSnapshot { root: 789, next_available_leaf_index: 101112 },
+            new_l1_to_l2: AppendOnlyTreeSnapshot { root: 789, next_available_leaf_index: 101112 },
             vk_tree_root: 131415,
             protocol_contract_tree_root: 161718,
             global_variables: GlobalVariables {

noir-projects/noir-protocol-circuits/crates/types/src/constants.nr

@@ -468,7 +468,7 @@ pub global AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH: u32 = GLOBAL_VARIABLES_LENGTH
     + 1 /* reverted */;
 
 pub global BLOCK_CONSTANT_DATA_LENGTH: u32 = APPEND_ONLY_TREE_SNAPSHOT_LENGTH /* last_archive */
-    + APPEND_ONLY_TREE_SNAPSHOT_LENGTH /* last_l1_to_l2_message_tree */
+    + APPEND_ONLY_TREE_SNAPSHOT_LENGTH /* new_l1_to_l2_message_tree */
     + 1 /* vk_tree_root */
     + 1 /* protocol_contract_tree_root */
     + GLOBAL_VARIABLES_LENGTH;