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

fix fields in sanity-checks feature

This commit is contained in:
kilic 2023-06-20 22:25:23 +03:00
parent 1623a87816
commit 5385bdd9b4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
halo2_proofs/src/plonk/shuffle/prover.rs
View File

@ -181,8 +181,8 @@ impl<F: WithSmallOrderMulGroup<3>> Argument<F> {
assert_eq!(z[0], C::Scalar::ONE);
for i in 0..u {
let mut left = z[i + 1];
let input_value = &self.compressed_input_expression[i];
let shuffle_value = &self.compressed_shuffle_expression[i];
let input_value = &compressed.input_expression[i];
let shuffle_value = &compressed.shuffle_expression[i];
left *= &(*gamma + shuffle_value);
let mut right = z[i];
right *= &(*gamma + input_value);