Versions in this module Expand all Collapse all v0 v0.3.8 Oct 21, 2020 v0.3.7 Oct 21, 2020 Changes in this version + type E12 struct + C0 E6 + C1 E6 + func (e *E12) Add(cs *frontend.ConstraintSystem, e1, e2 *E12) *E12 + func (e *E12) Assign(a *bls377.E12) + func (e *E12) Conjugate(cs *frontend.ConstraintSystem, e1 *E12) *E12 + func (e *E12) ConjugateFp12(cs *frontend.ConstraintSystem, e1 *E12) *E12 + func (e *E12) FinalExpoBLS(cs *frontend.ConstraintSystem, e1 *E12, genT uint64, ext Extension) *E12 + func (e *E12) FixedExponentiation(cs *frontend.ConstraintSystem, e1 *E12, exponent uint64, ext Extension) *E12 + func (e *E12) Frobenius(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12 + func (e *E12) FrobeniusCube(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12 + func (e *E12) FrobeniusSquare(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12 + func (e *E12) Inverse(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12 + func (e *E12) Mul(cs *frontend.ConstraintSystem, e1, e2 *E12, ext Extension) *E12 + func (e *E12) MulByV(cs *frontend.ConstraintSystem, e1 *E12, e2 *E2, ext Extension) *E12 + func (e *E12) MulByV2W(cs *frontend.ConstraintSystem, e1 *E12, e2 *E2, ext Extension) *E12 + func (e *E12) MulByVW(cs *frontend.ConstraintSystem, e1 *E12, e2 *E2, ext Extension) *E12 + func (e *E12) MustBeEqual(cs *frontend.ConstraintSystem, other E12) + func (e *E12) Neg(cs *frontend.ConstraintSystem, e1 *E12) *E12 + func (e *E12) Select(cs *frontend.ConstraintSystem, b frontend.Variable, r1, r2 *E12) *E12 + func (e *E12) SetOne(cs *frontend.ConstraintSystem) *E12 + func (e *E12) Sub(cs *frontend.ConstraintSystem, e1, e2 *E12) *E12 + type E2 struct + A0 frontend.Variable + A1 frontend.Variable + func (e *E2) Add(cs *frontend.ConstraintSystem, e1, e2 *E2) *E2 + func (e *E2) Assign(a *bls377.E2) + func (e *E2) Conjugate(cs *frontend.ConstraintSystem, e1 *E2) *E2 + func (e *E2) Inverse(cs *frontend.ConstraintSystem, e1 *E2, ext Extension) *E2 + func (e *E2) Mul(cs *frontend.ConstraintSystem, e1, e2 *E2, ext Extension) *E2 + func (e *E2) MulByFp(cs *frontend.ConstraintSystem, e1 *E2, c interface{}) *E2 + func (e *E2) MulByIm(cs *frontend.ConstraintSystem, e1 *E2, ext Extension) *E2 + func (e *E2) MustBeEqual(cs *frontend.ConstraintSystem, other E2) + func (e *E2) Neg(cs *frontend.ConstraintSystem, e1 *E2) *E2 + func (e *E2) Sub(cs *frontend.ConstraintSystem, e1, e2 *E2) *E2 + type E6 struct + B0 E2 + B1 E2 + B2 E2 + func NewFp6Zero(cs *frontend.ConstraintSystem) E6 + func (e *E6) Add(cs *frontend.ConstraintSystem, e1, e2 *E6) *E6 + func (e *E6) Assign(a *bls377.E6) + func (e *E6) Inverse(cs *frontend.ConstraintSystem, e1 *E6, ext Extension) *E6 + func (e *E6) Mul(cs *frontend.ConstraintSystem, e1, e2 *E6, ext Extension) *E6 + func (e *E6) MulByFp2(cs *frontend.ConstraintSystem, e1 *E6, e2 *E2, ext Extension) *E6 + func (e *E6) MulByNonResidue(cs *frontend.ConstraintSystem, e1 *E6, ext Extension) *E6 + func (e *E6) MustBeEqual(cs *frontend.ConstraintSystem, other E6) + func (e *E6) Neg(cs *frontend.ConstraintSystem, e1 *E6) *E6 + func (e *E6) Sub(cs *frontend.ConstraintSystem, e1, e2 *E6) *E6 + type Extension struct + func GetBLS377ExtensionFp12(cs *frontend.ConstraintSystem) Extension