logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-05 15:23:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
plonky2/field/src/lib.rs

35 lines
739 B
Rust
Raw Normal View History

Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
#![allow(incomplete_features)]
#![allow(clippy::len_without_is_empty)]
#![allow(clippy::needless_range_loop)]
Do some additional cleanup pre-release (#1532) * Add Debug impl for types * Remove outdated clippy lint exceptions * Hide internal custom gate methods and make some const
2024-02-19 10:32:07 -05:00
#![deny(rustdoc::broken_intra_doc_links)]
#![deny(missing_debug_implementations)]
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
#![feature(specialization)]
Add stdarch_x86_avx512 feature
2024-04-07 01:42:04 -04:00
#![cfg_attr(target_arch = "x86_64", feature(stdarch_x86_avx512))]
feat: upgrade Sampling APIs Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-03 08:26:03 -07:00
#![cfg_attr(not(test), no_std)]
fix(field): reenable alloc for tests (#1601)
2024-06-13 06:28:59 -04:00
feat: move to alloc for Vec/String/Box Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-02 19:59:12 -07:00
extern crate alloc;
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
pub(crate) mod arch;
feat: move to alloc for Vec/String/Box Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-02 19:59:12 -07:00
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
pub mod batch_util;
pub mod cosets;
`extension_field` -> `extension` (#581) It seems redundant in most contexts, e.g. `use plonky2::field::extension_field::Extendable;`. One could import `extension_field`, but it's not that common in Rust, and `field::extension` is now about as short.
2022-06-27 07:18:21 -07:00
pub mod extension;
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
pub mod fft;
Faster extension field multiplication (#500) * Initial implementation of quintic extensions. * Update to/from_biguint() methods. * Draft of fast multiplication on quintic extensions over 64-bit base. * cargo fmt * Typo. * Document functions (a bit). * Refactor reduction step. * Change multiplication call so that LLVM generates better assembly. * Use one main accumulator instead of two minor ones; faster reduce. * Use one main accumulator in square too; clean up redundant code. * Call faster routines from Mul and Square impls. * Fix reduction function. * Fix square calculation. * Slightly faster reduction. * Clean up names and types. * cargo fmt * Move extension field mul/sqr specialisations to their own file. * Rename functions to have unique prefix. * Add faster quadratic multiplication/squaring. * Faster quartic multiplication and squaring. * cargo fmt * clippy * Alternative reduce160 function. * Typo. * Remove alternative reduction function. * Remove delayed reduction implementation of squaring. * Enforce assumptions about extension generators. * Make the accumulation variable a u32 instead of u64. * Add test to trigger carry branch in reduce160. * cargo fmt * Some documentation. * Clippy; improved comments. * cargo fmt * Remove redundant Square specialisations. * Fix reduce*() visibility. * Faster reduce160 from Jakub. * Change mul-by-const functions to operate on 160 bits instead of 128. * Move code for extensions of GoldilocksField to its own file.
2022-03-04 09:34:31 +11:00
pub mod goldilocks_extensions;
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
pub mod goldilocks_field;
pub mod interpolation;
`Square` trait (#409) * `Squarable` trait * Minor style * Further minor style (Squarable -> Square to match Rust convention)
2021-12-30 12:11:02 -08:00
pub mod ops;
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
pub mod packable;
`packed_field` -> `packed` (#584) * `packed_field` -> `packed` For cleaner imports; "field" is usually clear from context * fix
2022-06-27 15:07:52 -07:00
pub mod packed;
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
pub mod polynomial;
pub mod secp256k1_base;
pub mod secp256k1_scalar;
`field_types` -> `types` (#583) * `field_types` -> `types` Here too, I think "field" is usually clear from context, e.g. in `use plonky2::field::types::Field;`. * fixes * fmt
2022-06-27 12:24:09 -07:00
pub mod types;
First try
2022-01-26 16:08:04 +01:00
pub mod zero_poly_coset;
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
#[cfg(test)]
mod field_testing;
feat: move to alloc for Vec/String/Box Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-02 19:59:12 -07:00
Split into crates (#406) * Split into crates I kept other changes to a minimum, so 95% of this is just moving things. One complication that came up is that since `PrimeField` is now outside the plonky2 crate, these two impls now conflict: ``` impl<F: PrimeField> From<HashOut<F>> for Vec<u8> { ... } impl<F: PrimeField> From<HashOut<F>> for Vec<F> { ... } ``` with this note: ``` note: upstream crates may add a new impl of trait `plonky2_field::field_types::PrimeField` for type `u8` in future versions ``` I worked around this by adding a `GenericHashOut` trait with methods like `to_bytes()` instead of overloading `From`/`Into`. Personally I prefer the explicitness anyway. * Move out permutation network stuff also * Fix imports * Fix import * Also move out insertion * Comment * fmt * PR feedback
2021-12-28 11:51:13 -08:00
#[cfg(test)]
mod prime_field_testing;
Reference in New Issue Copy Permalink