Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Algebra.EllipticCurve.BN254

Contents

Orphan instances

Documentation

type BN254_Scalar = 21888242871839275222246405745257275088548364400416034343698204186575808495617 Source #

type BN254_Base = 21888242871839275222246405745257275088696311157297823662689037894645226208583 Source #

type Fr = Zp BN254_Scalar Source #

type Fp = Zp BN254_Base Source #

type Fp2 = Ext2 Fp "IP1" Source #

type Fp6 = Ext3 Fp2 "IP2" Source #

type Fp12 = Ext2 Fp6 "IP3" Source #

type BN254_G1_Point = BN254_G1_PointOf Fp Source #

type BN254_G2_Point = BN254_G2_PointOf Fp2 Source #

data BN254_GT Source #

Instances

Instances details

Show BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods showsPrec :: Int -> BN254_GT -> ShowS # show :: BN254_GT -> String # showList :: [BN254_GT] -> ShowS #
Eq BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods (==) :: BN254_GT -> BN254_GT -> Bool # (/=) :: BN254_GT -> BN254_GT -> Bool #
Finite BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Associated Types type Order BN254_GT :: Natural Source #
MultiplicativeGroup BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods (/) :: BN254_GT -> BN254_GT -> BN254_GT Source # invert :: BN254_GT -> BN254_GT Source #
MultiplicativeMonoid BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods one :: BN254_GT Source #
MultiplicativeSemigroup BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods (*) :: BN254_GT -> BN254_GT -> BN254_GT Source #
Eq BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Associated Types type BooleanOf BN254_GT Source # Methods (==) :: BN254_GT -> BN254_GT -> BooleanOf BN254_GT Source # (/=) :: BN254_GT -> BN254_GT -> BooleanOf BN254_GT Source #
Exponent BN254_GT Integer Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods (^) :: BN254_GT -> Integer -> BN254_GT Source #
Exponent BN254_GT Natural Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods (^) :: BN254_GT -> Natural -> BN254_GT Source #
Conditional Bool BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods bool :: BN254_GT -> BN254_GT -> Bool -> BN254_GT Source #
Pairing BN254_G1_Point BN254_G2_Point BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 Methods pairing :: BN254_G1_Point -> BN254_G2_Point -> BN254_GT Source #
type Order BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 type Order BN254_GT = BN254_Scalar
type BooleanOf BN254_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BN254 type BooleanOf BN254_GT = BooleanOf Fp12

Orphan instances

Binary BN254_G1_Point Source #
Instance details Methods put :: BN254_G1_Point -> Put # get :: Get BN254_G1_Point # putList :: [BN254_G1_Point] -> Put #
Binary BN254_G2_Point Source #
Instance details Methods put :: BN254_G2_Point -> Put # get :: Get BN254_G2_Point # putList :: [BN254_G2_Point] -> Put #
Prime BN254_Base Source #
Instance details
Prime BN254_Scalar Source #
Instance details
CyclicGroup BN254_G1_Point Source #
Instance details Associated Types type ScalarFieldOf BN254_G1_Point Source # Methods pointGen :: BN254_G1_Point Source #
CyclicGroup BN254_G2_Point Source #
Instance details Associated Types type ScalarFieldOf BN254_G2_Point Source # Methods pointGen :: BN254_G2_Point Source #
Scale Fr BN254_G1_Point Source #
Instance details Methods scale :: Fr -> BN254_G1_Point -> BN254_G1_Point Source #
Scale Fr BN254_G2_Point Source #
Instance details Methods scale :: Fr -> BN254_G2_Point -> BN254_G2_Point Source #
IrreduciblePoly Fp "IP1" Source #
Instance details Methods irreduciblePoly :: Poly Fp Source #
IrreduciblePoly Fp2 "IP2" Source #
Instance details Methods irreduciblePoly :: Poly Fp2 Source #
IrreduciblePoly Fp6 "IP3" Source #
Instance details Methods irreduciblePoly :: Poly Fp6 Source #
Field field => WeierstrassCurve "BN254_G1" field Source #
Instance details Methods weierstrassB :: field Source #
WeierstrassCurve "BN254_G2" Fp2 Source #
Instance details Methods weierstrassB :: Fp2 Source #
Pairing BN254_G1_Point BN254_G2_Point BN254_GT Source #
Instance details Methods pairing :: BN254_G1_Point -> BN254_G2_Point -> BN254_GT Source #