From 1f76d9ab6b331c6ef1e9aa282ba9e916426f691b Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztec-labs.com>
Date: Wed, 15 Jul 2026 07:23:43 +0000
Subject: [PATCH] test: cover checkpoint merge gamma mismatch

---
 .../tests/consecutive_checkpoint_rollups_tests.nr     | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/noir-projects/noir-protocol-circuits/crates/rollup-lib/src/checkpoint_merge/tests/consecutive_checkpoint_rollups_tests.nr b/noir-projects/noir-protocol-circuits/crates/rollup-lib/src/checkpoint_merge/tests/consecutive_checkpoint_rollups_tests.nr
index 060d9a2d4e28..70a3bd65acd2 100644
--- a/noir-projects/noir-protocol-circuits/crates/rollup-lib/src/checkpoint_merge/tests/consecutive_checkpoint_rollups_tests.nr
+++ b/noir-projects/noir-protocol-circuits/crates/rollup-lib/src/checkpoint_merge/tests/consecutive_checkpoint_rollups_tests.nr
@@ -1,4 +1,5 @@
 use super::TestBuilder;
+use bignum::bignum::BigNum;
 use protocol_test_utils::pad_end;
 use types::{
     abis::fee_recipient::FeeRecipient, address::EthAddress,
@@ -259,3 +260,13 @@ fn mismatch_final_blob_challenges_z() {
 
     builder.execute_and_fail();
 }
+
+#[test(should_fail_with = "Mismatched final blob challenges of an epoch in checkpoint rollups")]
+fn mismatch_final_blob_challenges_gamma() {
+    let mut builder = TestBuilder::default();
+
+    // Tweak the final_blob_challenges of the right rollup.
+    builder.right_rollup.final_blob_challenges.gamma = BigNum::from_limbs([1, 2, 3]);
+
+    builder.execute_and_fail();
+}