binius_field/
lib.rs

1// Copyright 2023-2025 Irreducible Inc.
2
3//! Binary tower field implementations for use in Binius.
4//!
5//! This library implements binary tower field arithmetic. The canonical binary field tower
6//! construction is specified in [DP23], section 2.3. This is a family of binary fields with
7//! extension degree $2^{\iota}$ for any tower height $\iota$. Mathematically, we label these sets
8//! $T_{\iota}$.
9//!
10//! [DP23]: https://eprint.iacr.org/2023/1784
11
12#![cfg_attr(
13	all(feature = "nightly_features", target_arch = "x86_64"),
14	feature(stdarch_x86_avx512)
15)]
16
17pub mod aes_field;
18pub mod arch;
19pub mod arithmetic_traits;
20pub mod as_packed_field;
21pub mod binary_field;
22mod binary_field_arithmetic;
23pub mod byte_iteration;
24pub mod error;
25pub mod extension;
26pub mod field;
27pub mod linear_transformation;
28mod macros;
29pub mod packed;
30pub mod packed_aes_field;
31pub mod packed_binary_field;
32pub mod packed_extension;
33pub mod packed_extension_ops;
34mod packed_polyval;
35pub mod polyval;
36#[cfg(test)]
37mod tests;
38pub mod tower_levels;
39mod tracing;
40pub mod transpose;
41pub mod underlier;
42pub mod util;
43
44pub use aes_field::*;
45pub use arch::byte_sliced::*;
46pub use binary_field::*;
47pub use error::*;
48pub use extension::*;
49pub use field::Field;
50pub use packed::PackedField;
51pub use packed_aes_field::*;
52pub use packed_binary_field::*;
53pub use packed_extension::*;
54pub use packed_extension_ops::*;
55pub use packed_polyval::*;
56pub use polyval::*;
57pub use transpose::{square_transpose, transpose_scalars, Error as TransposeError};
binius_field/lib.rs

binius_field/
lib.rs
