pub type GTVar<P> = Fp4Var<<P as MNT4Config>::Fp4Config>;
Expand description
A variable corresponding to ark_ec::mnt4::GT
.
Aliased Type§
struct GTVar<P> {
pub c0: QuadExtVar<FpVar<<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config>>,
pub c1: QuadExtVar<FpVar<<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config>>,
/* private fields */
}
Fields§
§c0: QuadExtVar<FpVar<<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config>>
The zero-th coefficient of this field element.
c1: QuadExtVar<FpVar<<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config>>
The first coefficient of this field element.