Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Algebra.EllipticCurve.BLS12_381

Contents

Orphan instances

Synopsis

type BLS12_381_Scalar = 52435875175126190479447740508185965837690552500527637822603658699938581184513
type BLS12_381_Base = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
type Fr = Zp BLS12_381_Scalar
type Fq = Zp BLS12_381_Base
type IP1 = "IP1"
type Fq2 = Ext2 Fq IP1
type IP2 = "IP2"
type Fq6 = Ext3 Fq2 IP2
type IP3 = "IP3"
type Fq12 = Ext2 Fq6 IP3
data BLS12_381_G1
data BLS12_381_G2
leBytesOf :: Natural -> [(Natural, Word8)]
bytesOf :: (ToConstant a, Const a ~ Natural) => Int -> a -> [Word8]
ofBytes :: FromConstant Natural a => [Word8] -> a
newtype BLS12_381_GT = BLS12_381_GT Fq12

Documentation

type BLS12_381_Scalar = 52435875175126190479447740508185965837690552500527637822603658699938581184513 Source #

type BLS12_381_Base = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 Source #

type Fr = Zp BLS12_381_Scalar Source #

type Fq = Zp BLS12_381_Base Source #

type IP1 = "IP1" Source #

type Fq2 = Ext2 Fq IP1 Source #

type IP2 = "IP2" Source #

type Fq6 = Ext3 Fq2 IP2 Source #

type IP3 = "IP3" Source #

type Fq12 = Ext2 Fq6 IP3 Source #

data BLS12_381_G1 Source #

Instances

Instances details

Generic BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type Rep BLS12_381_G1 :: Type -> Type # Methods from :: BLS12_381_G1 -> Rep BLS12_381_G1 x # to :: Rep BLS12_381_G1 x -> BLS12_381_G1 #
NFData BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods rnf :: BLS12_381_G1 -> () #
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 #
StandardEllipticCurve BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods aParameter :: BaseField BLS12_381_G1 Source # bParameter :: BaseField BLS12_381_G1 Source #
Pairing BLS12_381_G1 BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type TargetGroup BLS12_381_G1 BLS12_381_G2 Source # Methods pairing :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> TargetGroup BLS12_381_G1 BLS12_381_G2 Source #
KnownNat n => PedersonSetup n (Point BLS12_381_G1) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Commit Methods groupElements :: Vector n (Point BLS12_381_G1) Source #
Binary (Point BLS12_381_G1) Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods put :: Point BLS12_381_G1 -> Put # get :: Get (Point BLS12_381_G1) # putList :: [Point BLS12_381_G1] -> Put #
Binary (PointCompressed BLS12_381_G1) Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods put :: PointCompressed BLS12_381_G1 -> Put # get :: Get (PointCompressed BLS12_381_G1) # putList :: [PointCompressed BLS12_381_G1] -> Put #
type Rep BLS12_381_G1 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type Rep BLS12_381_G1 = D1 ('MetaData "BLS12_381_G1" "ZkFold.Base.Algebra.EllipticCurve.BLS12_381" "symbolic-base-0.1.0.0-inplace" 'False) (V1 :: Type -> Type)
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
type TargetGroup BLS12_381_G1 BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type TargetGroup BLS12_381_G1 BLS12_381_G2 = BLS12_381_GT

data BLS12_381_G2 Source #

Instances

Instances details

Generic BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type Rep BLS12_381_G2 :: Type -> Type # Methods from :: BLS12_381_G2 -> Rep BLS12_381_G2 x # to :: Rep BLS12_381_G2 x -> BLS12_381_G2 #
NFData BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods rnf :: BLS12_381_G2 -> () #
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 #
StandardEllipticCurve BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods aParameter :: BaseField BLS12_381_G2 Source # bParameter :: BaseField BLS12_381_G2 Source #
Pairing BLS12_381_G1 BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Associated Types type TargetGroup BLS12_381_G1 BLS12_381_G2 Source # Methods pairing :: Point BLS12_381_G1 -> Point BLS12_381_G2 -> TargetGroup BLS12_381_G1 BLS12_381_G2 Source #
Binary (Point BLS12_381_G2) Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods put :: Point BLS12_381_G2 -> Put # get :: Get (Point BLS12_381_G2) # putList :: [Point BLS12_381_G2] -> Put #
Binary (PointCompressed BLS12_381_G2) Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods put :: PointCompressed BLS12_381_G2 -> Put # get :: Get (PointCompressed BLS12_381_G2) # putList :: [PointCompressed BLS12_381_G2] -> Put #
type Rep BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type Rep BLS12_381_G2 = D1 ('MetaData "BLS12_381_G2" "ZkFold.Base.Algebra.EllipticCurve.BLS12_381" "symbolic-base-0.1.0.0-inplace" 'False) (V1 :: Type -> Type)
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
type TargetGroup BLS12_381_G1 BLS12_381_G2 Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type TargetGroup BLS12_381_G1 BLS12_381_G2 = BLS12_381_GT

leBytesOf :: Natural -> [(Natural, Word8)] Source #

bytesOf :: (ToConstant a, Const a ~ Natural) => Int -> a -> [Word8] Source #

ofBytes :: FromConstant Natural a => [Word8] -> a Source #

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

Show BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 Methods showsPrec :: Int -> BLS12_381_GT -> ShowS # show :: BLS12_381_GT -> String # showList :: [BLS12_381_GT] -> ShowS #
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 #
type Order BLS12_381_GT Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381 type Order BLS12_381_GT = BLS12_381_Scalar

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 #