Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Algebra.EllipticCurve.Pasta

Contents

Documentation

type FpModulus = 28948022309329048855892746252171976963363056481941560715954676764349967630337 Source #

type FqModulus = 28948022309329048855892746252171976963363056481941647379679742748393362948097 Source #

Instances details

EllipticCurve Pallas Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta Associated Types type BaseField Pallas Source # type ScalarField Pallas Source # Methods inf :: Point Pallas Source # gen :: Point Pallas Source # add :: Point Pallas -> Point Pallas -> Point Pallas Source # mul :: ScalarField Pallas -> Point Pallas -> Point Pallas Source #
StandardEllipticCurve Pallas Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta Methods aParameter :: BaseField Pallas Source # bParameter :: BaseField Pallas Source #
Binary (Point Pallas) Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta Methods put :: Point Pallas -> Put # get :: Get (Point Pallas) # putList :: [Point Pallas] -> Put #
type BaseField Pallas Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta type BaseField Pallas = Fp
type ScalarField Pallas Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta type ScalarField Pallas = Fq

Instances details

EllipticCurve Vesta Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta Associated Types type BaseField Vesta Source # type ScalarField Vesta Source # Methods inf :: Point Vesta Source # gen :: Point Vesta Source # add :: Point Vesta -> Point Vesta -> Point Vesta Source # mul :: ScalarField Vesta -> Point Vesta -> Point Vesta Source #
StandardEllipticCurve Vesta Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta Methods aParameter :: BaseField Vesta Source # bParameter :: BaseField Vesta Source #
Binary (Point Vesta) Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta Methods put :: Point Vesta -> Put # get :: Get (Point Vesta) # putList :: [Point Vesta] -> Put #
type BaseField Vesta Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta type BaseField Vesta = Fq
type ScalarField Vesta Source #
Instance details Defined in ZkFold.Base.Algebra.EllipticCurve.Pasta type ScalarField Vesta = Fp

Orphan instances