symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Algebra.EllipticCurve.BN254

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 #

data BN254_G1 Source #

Instances

Instances details
EllipticCurve BN254_G1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Associated Types

type BaseField BN254_G1 Source #

type ScalarField BN254_G1 Source #

Methods

inf :: Point BN254_G1 Source #

gen :: Point BN254_G1 Source #

add :: Point BN254_G1 -> Point BN254_G1 -> Point BN254_G1 Source #

mul :: ScalarField BN254_G1 -> Point BN254_G1 -> Point BN254_G1 Source #

StandardEllipticCurve BN254_G1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Methods

aParameter :: BaseField BN254_G1 Source #

bParameter :: BaseField BN254_G1 Source #

Pairing BN254_G1 BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Associated Types

type TargetGroup BN254_G1 BN254_G2 Source #

Methods

pairing :: Point BN254_G1 -> Point BN254_G2 -> TargetGroup BN254_G1 BN254_G2 Source #

Binary (Point BN254_G1) Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Methods

put :: Point BN254_G1 -> Put #

get :: Get (Point BN254_G1) #

putList :: [Point BN254_G1] -> Put #

type BaseField BN254_G1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type BaseField BN254_G1 = Fp
type ScalarField BN254_G1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type ScalarField BN254_G1 = Fr
type TargetGroup BN254_G1 BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type TargetGroup BN254_G1 BN254_G2 = BN254_GT

data BN254_G2 Source #

Instances

Instances details
EllipticCurve BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Associated Types

type BaseField BN254_G2 Source #

type ScalarField BN254_G2 Source #

Methods

inf :: Point BN254_G2 Source #

gen :: Point BN254_G2 Source #

add :: Point BN254_G2 -> Point BN254_G2 -> Point BN254_G2 Source #

mul :: ScalarField BN254_G2 -> Point BN254_G2 -> Point BN254_G2 Source #

StandardEllipticCurve BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Methods

aParameter :: BaseField BN254_G2 Source #

bParameter :: BaseField BN254_G2 Source #

Pairing BN254_G1 BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Associated Types

type TargetGroup BN254_G1 BN254_G2 Source #

Methods

pairing :: Point BN254_G1 -> Point BN254_G2 -> TargetGroup BN254_G1 BN254_G2 Source #

Binary (Point BN254_G2) Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Methods

put :: Point BN254_G2 -> Put #

get :: Get (Point BN254_G2) #

putList :: [Point BN254_G2] -> Put #

type BaseField BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type BaseField BN254_G2 = Fp2
type ScalarField BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type ScalarField BN254_G2 = Fr
type TargetGroup BN254_G1 BN254_G2 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type TargetGroup BN254_G1 BN254_G2 = BN254_GT

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 #

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 #

type Order BN254_GT Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

type Order BN254_GT = BN254_Scalar

Orphan instances

Prime BN254_Base Source # 
Instance details

Prime BN254_Scalar Source # 
Instance details

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 #