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

fix: modify copy constraint

This commit is contained in:
Enrico Bottazzi 2023-08-09 17:22:20 +02:00
parent f9838c127e
commit b253c27cb9
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))