Skip to main content

FieldParameters

Trait FieldParameters 

Source
pub trait FieldParameters: PackedMontyParameters + Sized {
    const MONTY_GEN: MontyField31<Self>;
    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 = _;
    const BENEFITS_FROM_LOCKSTEP_EVALUATION: bool = false;
}
Expand description

FieldParameters contains constants and methods needed to imply PrimeCharacteristicRing, Field and PrimeField32 for MontyField31.

Required Associated Constants§

Provided Associated Constants§

Source

const MONTY_ZERO: MontyField31<Self> = _

Source

const MONTY_ONE: MontyField31<Self> = _

Source

const MONTY_TWO: MontyField31<Self> = _

Source

const MONTY_NEG_ONE: MontyField31<Self> = _

Source

const HALF_P_PLUS_1: u32 = _

Source

const BENEFITS_FROM_LOCKSTEP_EVALUATION: bool = false

See p3_field::Field::BENEFITS_FROM_LOCKSTEP_EVALUATION.

Defaults to false: this trait backs every MontyField31<Self> field, including ones not yet benchmarked, so opting in is left to parameter sets that have measured a win (e.g. BabyBearParameters, KoalaBearParameters).

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§