Trait Val 

pub trait Val {
    type PreferredConstraintField: PrimeField;
    type Var: AllocVar<Self, Self::PreferredConstraintField> + GR1CSVar<Self::PreferredConstraintField, Value = Self>;
    type EmulatedVar<F: SonobeField>: AllocVar<Self, F> + GR1CSVar<F, Value = Self>;
}

Val associates a type with its in-circuit variables.

Required Associated Types

type PreferredConstraintField: PrimeField

Val::PreferredConstraintField is the preferred constraint field for expressing Self in-circuit.

type Var: AllocVar<Self, Self::PreferredConstraintField> + GR1CSVar<Self::PreferredConstraintField, Value = Self>

Val::Var is the canonical in-circuit variable.

In this case, the circuit is defined over the preferred constraint field and can represent Self directly (i.e., without emulation).

type EmulatedVar<F: SonobeField>: AllocVar<Self, F> + GR1CSVar<F, Value = Self>

Val::EmulatedVar is the emulated in-circuit variable.

In this case, the circuit is defined over an arbitrary field F which may differ from the preferred constraint field, and Self is represented in-circuit via emulation.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<P: FpConfig<N>, const N: usize> Val for Fp<P, N>

type PreferredConstraintField = Fp<P, N>

type Var = FpVar<Fp<P, N>>

type EmulatedVar<F: SonobeField> = LimbedVar<F, Fp<P, N>, true>

impl<P: SWCurveConfig<ScalarField: SonobeField, BaseField: SonobeField>> Val for Projective<P>

type PreferredConstraintField = <P as CurveConfig>::BaseField

type Var = ProjectiveVar<P, FpVar<<P as CurveConfig>::BaseField>>

type EmulatedVar<F: SonobeField> = EmulatedAffineVar<F, Projective<P>>

Implementors