zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge b253c27cb9 into 81729eca91

This commit is contained in:
enrico.eth 2024-02-07 01:01:11 +08:00 committed by GitHub
parent 81729eca91 b253c27cb9
commit 9e7a84d3f6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
halo2_gadgets/src/utilities/decompose_running_sum.rs
View File

@ -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))