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

Check each PolynomialValues len

Browse Source 
I.e. that it is the length of some power-of-two subgroup.
This commit is contained in:
Daniel Lubarov 2022-08-22 11:15:06 -07:00
parent 8a8b3f36aa
commit 464b23297c
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
field/src/fft.rs
View File

@ -61,7 +61,7 @@ pub fn fft_with_options<F: Field>(
) -> PolynomialValues<F> { ) -> PolynomialValues<F> {
let PolynomialCoeffs { coeffs: mut buffer } = poly; let PolynomialCoeffs { coeffs: mut buffer } = poly;
fft_dispatch(&mut buffer, zero_factor, root_table); fft_dispatch(&mut buffer, zero_factor, root_table);
PolynomialValues { values: buffer } PolynomialValues::new(buffer)
} }
#[inline] #[inline]

4
field/src/interpolation.rs
View File

@ -19,9 +19,7 @@ pub fn interpolant<F: Field>(points: &[(F, F)]) -> PolynomialCoeffs<F> {
.map(|x| interpolate(points, x, &barycentric_weights)) .map(|x| interpolate(points, x, &barycentric_weights))
.collect(); .collect();
let mut coeffs = ifft(PolynomialValues { let mut coeffs = ifft(PolynomialValues::new(subgroup_evals));
values: subgroup_evals,
});
coeffs.trim(); coeffs.trim();
coeffs coeffs
} }

2
field/src/polynomial/mod.rs
View File

@ -24,6 +24,8 @@ pub struct PolynomialValues<F: Field> {
impl<F: Field> PolynomialValues<F> { impl<F: Field> PolynomialValues<F> {
pub fn new(values: Vec<F>) -> Self { pub fn new(values: Vec<F>) -> Self {
// Check that a subgroup exists of this size, which should be a power of two.
debug_assert!(log2_strict(values.len()) <= F::TWO_ADICITY);
PolynomialValues { values } PolynomialValues { values }
} }