fp/lib.rs
1//! Finite field arithmetic for the `ecrust` library.
2//!
3//! # Module layout
4//!
5//! ```text
6//! fp
7//! ├── field_ops - FieldOps trait (the algebraic contract)
8//! ├── fp_element - Base prime field Fp element
9//! └── fp_ext - Extension prime field Elements
10//! ```
11
12/// Binary base field $\mathbb{F}_2$ and its arithmetic.
13pub mod f2_element;
14/// Binary extension fields $\mathbb{F}_{2^m}$ built from irreducible polynomials.
15pub mod f2_ext;
16/// Core field traits shared by prime and binary fields.
17pub mod field_ops;
18/// Prime-field elements over `crypto-bigint` Montgomery arithmetic.
19pub mod fp_element;
20/// Prime-field extension towers and related helper traits.
21pub mod fp_ext;