Struct GoldilocksExtAsFieldWrapper

pub struct GoldilocksExtAsFieldWrapper<E: Engine, CS: ConstraintSystem<E>> { /* private fields */ }

Implementations

impl<E: Engine, CS: ConstraintSystem<E>> GoldilocksExtAsFieldWrapper<E, CS>

pub fn conditionally_select( cs: &mut CS, bit: Boolean, first: &Self, second: &Self, ) -> Self

pub fn from_coeffs_in_base(coeffs: [GoldilocksField<E>; 2]) -> Self

pub const fn into_coeffs_in_base(self) -> [GoldilocksField<E>; 2]

pub fn from_wrapper_coeffs_in_base( coeffs: [GoldilocksAsFieldWrapper<E, CS>; 2], ) -> Self

pub fn mul_by_base_and_accumulate_into( dst: &mut Self, base: &GoldilocksAsFieldWrapper<E, CS>, other: &Self, cs: &mut CS, ) -> Result<(), SynthesisError>

pub fn mul_assign_by_base( &mut self, cs: &mut CS, base: &GoldilocksAsFieldWrapper<E, CS>, ) -> Result<(), SynthesisError>

Trait Implementations

impl<E, CS: ConstraintSystem<E>> Clone for GoldilocksExtAsFieldWrapper<E, CS>

where E: Clone + Engine,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Engine, CS: ConstraintSystem<E>> Debug for GoldilocksExtAsFieldWrapper<E, CS>

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

Formats the value using the given formatter.

impl<E: Engine, CS: ConstraintSystem<E>> Display for GoldilocksExtAsFieldWrapper<E, CS>

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

Formats the value using the given formatter.

impl<E: Engine, CS: ConstraintSystem<E>> From<GoldilocksFieldExt<E>> for GoldilocksExtAsFieldWrapper<E, CS>

fn from(value: GoldilocksFieldExt<E>) -> Self

Converts to this type from the input type.

impl<E: Engine, CS: ConstraintSystem<E>> Hash for GoldilocksExtAsFieldWrapper<E, CS>

fn hash<__HECS>(&self, __state: &mut __HECS)

where __HECS: Hasher,

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<E: Engine, CS> PrimeFieldLike for GoldilocksExtAsFieldWrapper<E, CS>

where CS: 'static + ConstraintSystem<E>,

type Base = GoldilocksField

type Context = CS

fn zero(_ctx: &mut Self::Context) -> Self

fn one(_ctx: &mut Self::Context) -> Self

fn minus_one(_ctx: &mut Self::Context) -> Self

fn add_assign(&mut self, other: &Self, ctx: &mut Self::Context) -> &mut Self

fn sub_assign(&mut self, other: &Self, ctx: &mut Self::Context) -> &mut Self

fn mul_assign(&mut self, other: &Self, ctx: &mut Self::Context) -> &mut Self

fn square(&mut self, ctx: &mut Self::Context) -> &mut Self

fn negate(&mut self, ctx: &mut Self::Context) -> &mut Self

fn double(&mut self, ctx: &mut Self::Context) -> &mut Self

fn inverse(&self, ctx: &mut Self::Context) -> Self

fn constant(value: Self::Base, _ctx: &mut Self::Context) -> Self

fn pow_u64(&self, power: u64, ctx: &mut Self::Context) -> Self

fn mul_and_accumulate_into( acc: &mut Self, a: &Self, b: &Self, ctx: &mut Self::Context, )

fn small_pow(&mut self, pow: usize, ctx: &mut Self::Context)

impl<E, CS: ConstraintSystem<E>> Copy for GoldilocksExtAsFieldWrapper<E, CS>

where E: Copy + Engine,