This commit is contained in:
wborgeaud 2022-05-12 14:07:03 +02:00
parent c4c3533cff
commit 3359ee708c
3 changed files with 4 additions and 4 deletions

View File

@ -189,7 +189,7 @@ impl<'a, F: RichField + Extendable<D>, const D: usize>
local_z: *looking_z,
next_z: *looking_z_next,
challenges,
columns: &looking_columns,
columns: looking_columns,
});
let (looked_z, looked_z_next) = ctl_zs[*looked_table as usize].next().unwrap();
@ -197,7 +197,7 @@ impl<'a, F: RichField + Extendable<D>, const D: usize>
local_z: *looked_z,
next_z: *looked_z_next,
challenges,
columns: &looked_columns,
columns: looked_columns,
});
}
acc

View File

@ -388,7 +388,7 @@ where
.0
.get_lde_values_packed(i_next_start, step)[num_permutation_zs + i],
challenges: lookup_data.challenges.challenges[i % config.num_challenges],
columns: &columns,
columns,
})
.collect::<Vec<_>>();
eval_vanishing_poly::<F, F, P, C, S, D, 1>(

View File

@ -106,7 +106,7 @@ where
[(); S::PUBLIC_INPUTS]:,
[(); C::Hasher::HASH_SIZE]:,
{
check_permutation_options(&stark, &proof_with_pis, &challenges)?;
check_permutation_options(&stark, proof_with_pis, &challenges)?;
let StarkProofWithPublicInputs {
proof,
public_inputs,