p3_monty_31

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 = _;

    // Required methods
    fn exp_u64_generic<FA: FieldAlgebra>(val: FA, power: u64) -> FA;
    fn try_inverse<F: Field>(p1: F) -> Option<F>;
}
Expand description

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

Required Associated Constants§

Source

const MONTY_GEN: MontyField31<Self>

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 = _

Required Methods§

Source

fn exp_u64_generic<FA: FieldAlgebra>(val: FA, power: u64) -> FA

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§