From b253c27cb9badf3745ed01a5fcfdb9972ac63ae5 Mon Sep 17 00:00:00 2001
From: Enrico Bottazzi <85900164+enricobottazzi@users.noreply.github.com>
Date: Wed, 9 Aug 2023 17:22:20 +0200
Subject: [PATCH] fix: modify copy constraint

---
 halo2_gadgets/src/utilities/decompose_running_sum.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/halo2_gadgets/src/utilities/decompose_running_sum.rs b/halo2_gadgets/src/utilities/decompose_running_sum.rs
index 5a83e417..1e86da03 100644
--- a/halo2_gadgets/src/utilities/decompose_running_sum.rs
+++ b/halo2_gadgets/src/utilities/decompose_running_sum.rs
@@ -194,11 +194,10 @@ impl<F: PrimeFieldBits, const WINDOW_NUM_BITS: usize> RunningSumConfig<F, WINDOW
             z = z_next;
             zs.push(z.clone());
         }
-        assert_eq!(zs.len(), num_windows + 1);
 
         if strict {
             // Constrain the final running sum output to be zero.
-            region.constrain_constant(zs.last().unwrap().cell(), F::ZERO)?;
+            region.constrain_constant(zs[num_windows].cell(), F::ZERO)?;
         }
 
         Ok(RunningSum(zs))