Cleanup.

Author: LeilaWang

noir-projects/noir-protocol-circuits/crates/rollup-lib/src/abis/block_rollup_public_inputs.nr

@@ -47,8 +47,8 @@ pub struct BlockRollupPublicInputs {
 
     // Root of the tree composed of all `out_hash` values from txs in this block. This root is combined with the
     // `out_hash` values from other blocks within the same checkpoint to form a wonky tree. The `out_hash` roots from
-    // all checkpoints in an epoch then form another wonky tree, whose root becomes the final **root** `out_hash` stored
-    // on L1.
+    // all checkpoints in an epoch then form another tree, whose root becomes the final **root** `out_hash` inserted
+    // into the Outbox on L1.
     pub out_hash: Field,
 
     // Accumulated fees for all blocks in this block range.

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

@@ -7,6 +7,30 @@ use types::{
     traits::Empty,
 };
 
+// -- checkpoint header hashes ---
+
+#[test]
+fn accumulated_checkpoint_header_hashes_from_both_sides() {
+    let mut builder = TestBuilder::new(
+        CHECKPOINT_MERGE_ROLLUP_VK_INDEX,
+        2,
+        CHECKPOINT_MERGE_ROLLUP_VK_INDEX,
+        2,
+    );
+
+    let checkpoint_header_hashes = [123, 456, 7890, 12345];
+
+    builder.left_rollup.checkpoint_header_hashes[0] = checkpoint_header_hashes[0];
+    builder.left_rollup.checkpoint_header_hashes[1] = checkpoint_header_hashes[1];
+    builder.right_rollup.checkpoint_header_hashes[0] = checkpoint_header_hashes[2];
+    builder.right_rollup.checkpoint_header_hashes[1] = checkpoint_header_hashes[3];
+
+    let pi = builder.execute();
+    builder.assert_expected_public_inputs(pi);
+
+    assert_eq(pi.checkpoint_header_hashes, pad_end(checkpoint_header_hashes));
+}
+
 // --- out_hashes ---
 
 #[test]