Crate binius_field

Binary tower field implementations for use in Binius.

This library implements binary tower field arithmetic. The canonical binary field tower construction is specified in DP23, section 2.3. This is a family of binary fields with extension degree $2^{\iota}$ for any tower height $\iota$. Mathematically, we label these sets $T_{\iota}$.

Re-exports

• pub use field::Field;
• pub use packed::PackedField;
• pub use transpose::square_transpose;
• pub use transpose::transpose_scalars;
• pub use transpose::Error as TransposeError;
• pub use aes_field::*;
• pub use binary_field::*;
• pub use error::*;
• pub use extension::*;
• pub use packed_aes_field::*;
• pub use packed_binary_field::*;
• pub use packed_extension::*;
• pub use polyval::*;

Modules

• aes_field
• arch
• arithmetic_traits
• as_packed_field
• binary_field
• error
• extension
• field
• linear_transformation
• packed
  Traits for packed field elements which support SIMD implementations.
• packed_aes_field
• packed_binary_field
• packed_extension
• polyval
  Binary field implementation of GF(2^128) with a modulus of X^128 + X^127 + X^126 + 1.
• transpose
• underlier
• util

Macros

• binary_tower
• impl_packed_field_display