EllipticCurve BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type BaseField BLS12_381_G1 Source # type ScalarField BLS12_381_G1 Source # Methods inf :: Point BLS12_381_G1 Source # gen :: Point BLS12_381_G1 Source # add :: Point BLS12_381_G1 -> Point BLS12_381_G1 -> Point BLS12_381_G1 Source # mul :: ScalarField BLS12_381_G1 -> Point BLS12_381_G1 -> Point BLS12_381_G1 Source #
Pairing BLS12_381_G1 BLS12_381_G2 BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods pairing :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> BLS12_381_GT Source #
type BaseField BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type BaseField BLS12_381_G1 = Fq
type ScalarField BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type ScalarField BLS12_381_G1 = Fr

data BLS12_381_G2 Source #

Instances

Instances details

EllipticCurve BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type BaseField BLS12_381_G2 Source # type ScalarField BLS12_381_G2 Source # Methods inf :: Point BLS12_381_G2 Source # gen :: Point BLS12_381_G2 Source # add :: Point BLS12_381_G2 -> Point BLS12_381_G2 -> Point BLS12_381_G2 Source # mul :: ScalarField BLS12_381_G2 -> Point BLS12_381_G2 -> Point BLS12_381_G2 Source #
Pairing BLS12_381_G1 BLS12_381_G2 BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods pairing :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> BLS12_381_GT Source #
type BaseField BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type BaseField BLS12_381_G2 = Fq2
type ScalarField BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type ScalarField BLS12_381_G2 = Fr

newtype BLS12_381_GT Source #

An image of a pairing is a cyclic multiplicative subgroup of Fq12 of order BLS12_381_Scalar.

Constructors

BLS12_381_GT Fq12

Instances

Instances details

Eq BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods (==) :: BLS12_381_GT -> BLS12_381_GT -> Bool # (/=) :: BLS12_381_GT -> BLS12_381_GT -> Bool #
Finite BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type Order BLS12_381_GT :: Natural Source #
MultiplicativeGroup BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods (/) :: BLS12_381_GT -> BLS12_381_GT -> BLS12_381_GT Source # invert :: BLS12_381_GT -> BLS12_381_GT Source #
MultiplicativeMonoid BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods one :: BLS12_381_GT Source #
MultiplicativeSemigroup BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods (*) :: BLS12_381_GT -> BLS12_381_GT -> BLS12_381_GT Source #
Exponent BLS12_381_GT Integer Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods (^) :: BLS12_381_GT -> Integer -> BLS12_381_GT Source #
Exponent BLS12_381_GT Natural Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods (^) :: BLS12_381_GT -> Natural -> BLS12_381_GT Source #
Pairing BLS12_381_G1 BLS12_381_G2 BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods pairing :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> BLS12_381_GT Source #
type Order BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type Order BLS12_381_GT = BLS12_381_Scalar

untwist :: Point BLS12_381_G2 -> (Fq12, Fq12) Source #

doubleEval :: Point BLS12_381_G2 -> Point BLS12_381_G1 -> Fq12 Source #

addEval :: Point BLS12_381_G2 -> Point BLS12_381_G2 -> Point BLS12_381_G1 -> Fq12 Source #

addEval' :: (Fq12, Fq12) -> (Fq12, Fq12) -> Point BLS12_381_G1 -> Fq12 Source #

miller :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> Fq12 Source #

miller' :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> Point BLS12_381_G2 -> [Bool] -> Fq12 -> Fq12 Source #

pairingBLS :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> Fq12 Source #

Pairing calculation for a valid point in G1 and another valid point in G2.

pow' :: MultiplicativeSemigroup a => a -> Natural -> a -> a Source #

Orphan instances

Prime BLS12_381_Base Source #
Instance details
Prime BLS12_381_Scalar Source #
Instance details
IrreduciblePoly Fq IP1 Source #
Instance details Methods irreduciblePoly :: Poly Fq Source #
IrreduciblePoly Fq2 IP2 Source #
Instance details Methods irreduciblePoly :: Poly Fq2 Source #
IrreduciblePoly Fq6 IP3 Source #
Instance details Methods irreduciblePoly :: Poly Fq6 Source #