Type Alias Fp2Var

pub type Fp2Var<P> = QuadExtVar<FpVar<<P as Fp2Config>::Fp>, Fp2ConfigWrapper<P>>;

A quadratic extension field constructed over a prime field. This is the R1CS equivalent of ark_ff::Fp2<P>.

Aliased Type

struct Fp2Var<P> {
    pub c0: FpVar<<P as Fp2Config>::Fp>,
    pub c1: FpVar<<P as Fp2Config>::Fp>,
    /* private fields */
}

Fields

c0: FpVar<<P as Fp2Config>::Fp>

The zero-th coefficient of this field element.

c1: FpVar<<P as Fp2Config>::Fp>

The first coefficient of this field element.