Expand description
Utilities for testing field implementations.
Re-exports§
pub use bench_func::*;pub use dft_testing::*;pub use extension_testing::*;pub use packedfield_testing::*;
Modules§
- bench_
func - dft_
testing - extension_
testing - from_
integer_ tests - Macros for testing the implementations of converting integers into field elements.
- packedfield_
testing
Macros§
- generate_
from_ int_ tests - generate_
from_ large_ i_ int_ tests - generate_
from_ large_ u_ int_ tests - generate_
from_ small_ int_ tests - generate_
from_ small_ neg_ int_ tests - test_
extension_ field - test_
field - test_
field_ dft - test_
field_ dft_ consistency - test_
field_ dft_ large - test_
frobenius - test_
packed_ extension_ field - test_
packed_ field - test_
prime_ field - test_
prime_ field_ 32 - test_
prime_ field_ 64 - test_
ring_ with_ eq - test_
two_ adic_ extension_ field - test_
two_ adic_ field
Functions§
- test_
add_ slice - test_
binary_ ops - test_
div_ 2exp_ u64 - test_
dot_ product - test_
ef_ two_ adic_ generator_ consistency - test_
field_ axioms_ proptest - Test field axioms (inverse, division) with deterministic edge cases and 256 random non-zero (x, y, z) triplets via proptest.
- test_
field_ json_ serialization - Test JSON serialization and deserialization for a set of field values.
- test_
generator - Given a list of the factors of the multiplicative group of a field, check that the defined generator is actually a generator of that group.
- test_
into_ bytes_ 32 - test_
into_ bytes_ 64 - test_
into_ stream - test_
inverse - test_
mul_ 2exp_ u64 - test_
powers_ collect - Tests the optimized implementation of
powers.take(n).collect() - test_
prime_ field_ 32_ json_ deserialization_ boundaries - Test JSON deserialization boundary behavior for 32-bit prime fields.
- test_
ring_ axioms_ proptest - Test ring axioms with 256 random (x, y, z) triplets via proptest.
- test_
ring_ with_ eq - test_
sums - test_
two_ adic_ generator_ consistency - test_
two_ adic_ point_ collection