Struct BabyBearParameters

pub struct BabyBearParameters;

Trait Implementations

impl BarrettParameters for BabyBearParameters

const N: usize = 40usize

const PRIME_I128: i128 = _

const PSEUDO_INV: i64 = _

const MASK: i64 = -1_024i64

impl BinomialExtensionData<4> for BabyBearParameters

const W: BabyBear = _

W is a value such that (x^DEG - WN) is irreducible.

const DTH_ROOT: BabyBear = _

DTH_ROOT = W^((p - 1)/DEG)

const EXT_GENERATOR: [BabyBear; 4] = _

A generator of the extension fields multiplicative group.

const EXT_TWO_ADICITY: usize = 29usize

const TWO_ADIC_EXTENSION_GENERATORS: Self::ArrayLike = _

A list of generators of 2-adic subgroups not contained in the base field.

type ArrayLike = [[MontyField31<BabyBearParameters>; 4]; 2]

ArrayLike should usually be [MontyField31; EXT_TWO_ADICITY - TWO_ADICITY].

impl BinomialExtensionData<5> for BabyBearParameters

const W: BabyBear = _

W is a value such that (x^DEG - WN) is irreducible.

const DTH_ROOT: BabyBear = _

DTH_ROOT = W^((p - 1)/DEG)

const EXT_GENERATOR: [BabyBear; 5] = _

A generator of the extension fields multiplicative group.

const EXT_TWO_ADICITY: usize = 27usize

const TWO_ADIC_EXTENSION_GENERATORS: Self::ArrayLike = _

A list of generators of 2-adic subgroups not contained in the base field.

type ArrayLike = [[MontyField31<BabyBearParameters>; 5]; 0]

ArrayLike should usually be [MontyField31; EXT_TWO_ADICITY - TWO_ADICITY].

impl Clone for BabyBearParameters

fn clone(&self) -> BabyBearParameters

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BabyBearParameters

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for BabyBearParameters

fn default() -> BabyBearParameters

Returns the “default value” for a type.

impl FieldParameters for BabyBearParameters

const MONTY_GEN: BabyBear = _

fn exp_u64_generic<AF: AbstractField>(val: AF, power: u64) -> AF

fn try_inverse<F: Field>(p1: F) -> Option<F>

const MONTY_ZERO: MontyField31<Self> = _

const MONTY_ONE: MontyField31<Self> = _

const MONTY_TWO: MontyField31<Self> = _

const MONTY_NEG_ONE: MontyField31<Self> = _

const HALF_P_PLUS_1: u32 = _

impl Hash for BabyBearParameters

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl InternalLayerBaseParameters<BabyBearParameters, 16> for BabyBearInternalLayerParameters

fn internal_layer_mat_mul( state: &mut [MontyField31<BabyBearParameters>; 16], sum: MontyField31<BabyBearParameters>, )

Perform the internal matrix multiplication: s -> (1 + Diag(V))s. We ignore state[0] as it is handled separately.

const INTERNAL_DIAG_MONTY: [BabyBear; 16] = INTERNAL_DIAG_MONTY_16

type ArrayLike = [MontyField31<BabyBearParameters>; 15]

fn generic_internal_linear_layer<AF>(state: &mut [AF; 16])

where AF: AbstractField + Mul<BabyBear, Output = AF>,

Perform the internal matrix multiplication for any Abstract field which implements multiplication by MontyField31 elements.

impl InternalLayerBaseParameters<BabyBearParameters, 24> for BabyBearInternalLayerParameters

fn internal_layer_mat_mul( state: &mut [MontyField31<BabyBearParameters>; 24], sum: MontyField31<BabyBearParameters>, )

Perform the internal matrix multiplication: s -> (1 + Diag(V))s. We ignore state[0] as it is handled separately.

const INTERNAL_DIAG_MONTY: [BabyBear; 24] = INTERNAL_DIAG_MONTY_24

type ArrayLike = [MontyField31<BabyBearParameters>; 23]

fn generic_internal_linear_layer<AF>(state: &mut [AF; 24])

where AF: AbstractField + Mul<BabyBear, Output = AF>,

Perform the internal matrix multiplication for any Abstract field which implements multiplication by MontyField31 elements.

impl MontyParameters for BabyBearParameters

const PRIME: u32 = 2_013_265_921u32

The Baby Bear prime: 2^31 - 2^27 + 1. This is the unique 31-bit prime with the highest possible 2 adicity (27).

const MONTY_BITS: u32 = 32u32

const MONTY_MU: u32 = 2_281_701_377u32

const MONTY_MASK: u32 = _

impl MontyParametersNeon for BabyBearParameters

const PACKED_P: uint32x4_t = _

const PACKED_MU: int32x4_t = _

impl PartialEq for BabyBearParameters

fn eq(&self, other: &BabyBearParameters) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TwoAdicData for BabyBearParameters

const TWO_ADICITY: usize = 27usize

Largest n such that 2^n divides p - 1.

const TWO_ADIC_GENERATORS: Self::ArrayLike = _

A list of generators of 2-adic subgroups. The i’th element must be a 2^i root of unity and the i’th element squared must be the i-1’th element.

const ROOTS_8: Self::ArrayLike = _

Precomputation of the first 3 8th-roots of unity.

const INV_ROOTS_8: Self::ArrayLike = _

Precomputation of the inverses of ROOTS_8.

const ROOTS_16: Self::ArrayLike = _

Precomputation of the first 7 16th-roots of unity.

const INV_ROOTS_16: Self::ArrayLike = _

Precomputation of the inverses of ROOTS_16.

type ArrayLike = &'static [MontyField31<BabyBearParameters>]

ArrayLike should usually be &'static [MontyField31].

const ODD_FACTOR: i32 = _

The odd constant r such that p = r * 2^n + 1

impl Copy for BabyBearParameters

impl Eq for BabyBearParameters

impl InternalLayerParameters<BabyBearParameters, 16> for BabyBearInternalLayerParameters

impl InternalLayerParameters<BabyBearParameters, 24> for BabyBearInternalLayerParameters

impl PackedMontyParameters for BabyBearParameters

impl StructuralPartialEq for BabyBearParameters