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

coset_index in other places

Browse Source
This commit is contained in:
wborgeaud 2021-10-12 20:21:29 +02:00
parent 1ced853f33
commit 839110b794
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/plonk/get_challenges.rs
View File

@ -204,13 +204,13 @@ impl<F: RichField + Extendable<D>, const D: usize> CompressedProofWithPublicInpu
.iter()
.enumerate()
{
if !seen_indices_by_depth[i].insert(x_index >> arity_bits) {
let coset_index = x_index >> arity_bits;
if !seen_indices_by_depth[i].insert(coset_index) {
// If this index has already been seen, we can skip the rest of the reductions.
break;
}
fri_inferred_elements.push(old_eval);
let arity = 1 << arity_bits;
let coset_index = x_index >> arity_bits;
let mut evals = self.proof.opening_proof.query_round_proofs.steps[i][&coset_index]
.evals
.clone();
@ -224,7 +224,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CompressedProofWithPublicInpu
fri_betas[i],
);
subgroup_x = subgroup_x.exp_power_of_2(arity_bits);
x_index >>= arity_bits;
x_index = coset_index;
}
}
FriInferredElements(fri_inferred_elements)