logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-04 01:03:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix check_constraints to only look at subgroup points, vs coset points (#572)

Browse Source
This commit is contained in:
Daniel Lubarov 2022-06-17 15:12:54 -07:00 committed by GitHub
parent 1cc000d3e1
commit 2797000377
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
evm/src/prover.rs
View File

@ -509,10 +509,10 @@ fn check_constraints<'a, F, C, S, const D: usize>(
};
let permutation_check_vars =
permutation_challenges.map(|permutation_challenge_sets| PermutationCheckVars {
local_zs: permutation_ctl_zs_commitment.get_lde_values_packed(i, step)
local_zs: get_comm_values(permutation_ctl_zs_commitment, i)
[..num_permutation_zs]
.to_vec(),
next_zs: permutation_ctl_zs_commitment.get_lde_values_packed(i_next, step)
next_zs: get_comm_values(permutation_ctl_zs_commitment, i_next)
[..num_permutation_zs]
.to_vec(),
permutation_challenge_sets: permutation_challenge_sets.to_vec(),