crylib 0.2.0

a collection of cryptographic functions
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Finite field arithmetic.
mod field_element;

pub use field_element::FieldElement;

use crate::big_int::UBigInt;

/// A trait for describing a finite field.
///
/// # Safety
/// `MODULUS` *MUST* be prime.
pub unsafe trait FiniteField<const N: usize>
where
    Self: Sized + PartialEq + Copy + Clone + core::fmt::Debug,
{
    /// The modulus used to define the finite field.
    ///
    /// This value *MUST* be prime.
    /// Using a non-prime number will result in undefined behavior.
    const MODULUS: UBigInt<N>;

    /// The smallest value in the finite field.
    const MIN: FieldElement<N, Self> = FieldElement::ZERO;
}