plonky2/src/field/mod.rs

pub(crate) mod cosets;
pub mod crandall_field;
pub mod extension_field;
pub mod fft;
pub mod field;
pub(crate) mod lagrange;

#[cfg(test)]
mod field_testing;
Progress on FRI 2021-04-21 22:31:45 +02:00			`pub(crate) mod cosets;`
Split main into multiple binaries ... and other minor refactoring. `bench_recursion` will be the default bin run by `cargo run`; the otheres can be selected with the `--bin` flag. We could probably delete some of the other binaries later. E.g. `field_search` might not be useful any more. `bench_fft` should maybe be converted to a benchmark (although there are some pros and cons, e.g. the bench framework has a minimum number of runs, and isn't helpful in testing multi-core performance). 2021-04-06 13:14:59 -07:00			`pub mod crandall_field;`
Started extension field implementation 2021-05-10 18:45:48 +02:00			`pub mod extension_field;`
Split main into multiple binaries ... and other minor refactoring. `bench_recursion` will be the default bin run by `cargo run`; the otheres can be selected with the `--bin` flag. We could probably delete some of the other binaries later. E.g. `field_search` might not be useful any more. `bench_fft` should maybe be converted to a benchmark (although there are some pros and cons, e.g. the bench framework has a minimum number of runs, and isn't helpful in testing multi-core performance). 2021-04-06 13:14:59 -07:00			`pub mod fft;`
Progress on FRI 2021-04-21 22:31:45 +02:00			`pub mod field;`
Interpolants of arbitrary (point, value) lists Closes #10. This combines Lagrange interpolation with FFTs as mentioned there. I was previously thinking that all our polynomial encodings might as well just use power-of-two length vectors, so they'll be "FFT-ready", with no need to trim/pad. This sort of breaks that assumption though, as e.g. I think we'll want to compute interpolants with three coefficients in the batch opening argument. I think we can still skip trimming/padding in most cases, since it the majority of our polynomials will have power-of-two-minus-1 degrees with high probability. But we'll now have one or two uses where that's not the case. 2021-04-23 10:26:57 -07:00			`pub(crate) mod lagrange;`
More tests, ported from plonky1 2021-04-02 17:49:51 -07:00
			`#[cfg(test)]`
			`mod field_testing;`