pub type Fp2Var<P> = QuadExtVar<FpVar<<P as Fp2Config>::Fp>, Fp2ConfigWrapper<P>>;
Expand description
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.