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

ZkFold.Base.Algebra.EllipticCurve.Pasta

Documentation

type Pasta_Point field = Weierstrass "Pasta" (Point field) Source #

type Pallas_Point = Pasta_Point Fp Source #

type Vesta_Point = Pasta_Point Fq Source #

type FpModulus = 28948022309329048855892746252171976963363056481941560715954676764349967630337 Source #

type FqModulus = 28948022309329048855892746252171976963363056481941647379679742748393362948097 Source #

type Fp = Zp FpModulus Source #

type Fq = Zp FqModulus Source #

Orphan instances

Prime FpModulus Source # 
Instance details

Prime FqModulus Source # 
Instance details

CyclicGroup Pallas_Point Source # 
Instance details

Associated Types

type ScalarFieldOf Pallas_Point Source #

Methods

pointGen :: Pallas_Point Source #

CyclicGroup Vesta_Point Source # 
Instance details

Associated Types

type ScalarFieldOf Vesta_Point Source #

Methods

pointGen :: Vesta_Point Source #

Scale Fp Vesta_Point Source # 
Instance details

Methods

scale :: Fp -> Vesta_Point -> Vesta_Point Source #

Scale Fq Pallas_Point Source # 
Instance details

Methods

scale :: Fq -> Pallas_Point -> Pallas_Point Source #

Field field => WeierstrassCurve "Pasta" field Source # 
Instance details

Methods

weierstrassB :: field Source #

(Binary field, Field field, Eq field, BooleanOf field ~ Bool) => Binary (Pasta_Point field) Source # 
Instance details

Methods

put :: Pasta_Point field -> Put #

get :: Get (Pasta_Point field) #

putList :: [Pasta_Point field] -> Put #