Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Algebra.EllipticCurve.PlutoEris

Contents

Orphan instances

Documentation

type PlutoEris_p = 102211695604070082112571065507755096754575920209623522239390234855490679834276115250716018318118556227909439196474813090886893187366913 Source #

type PlutoEris_q = 102211695604070082112571065507755096754575920209623522239390234855480569854275933742834077002685857629445612735086326265689167708028929 Source #

type Pluto_Point = Weierstrass "Pluto-Eris" (Point (Zp PlutoEris_p)) Source #

type Eris_Point = Weierstrass "Pluto-Eris" (Point (Zp PlutoEris_q)) Source #

type Triton_Point = Weierstrass "Triton" (Point (Ext2 (Zp PlutoEris_p) "i*sqrt5")) Source #

Orphan instances

Prime PlutoEris_p Source #
Instance details
Prime PlutoEris_q Source #
Instance details
CyclicGroup Eris_Point Source #
Instance details Associated Types type ScalarFieldOf Eris_Point Source # Methods pointGen :: Eris_Point Source #
CyclicGroup Pluto_Point Source #
Instance details Associated Types type ScalarFieldOf Pluto_Point Source # Methods pointGen :: Pluto_Point Source #
Field field => WeierstrassCurve "Pluto-Eris" field Source #
Instance details Methods weierstrassB :: field Source #
WeierstrassCurve "Triton" (Ext2 (Zp PlutoEris_p) "i*sqrt5") Source #
Instance details Methods weierstrassB :: Ext2 (Zp PlutoEris_p) "i*sqrt5" Source #
Scale (Zp PlutoEris_p) Eris_Point Source #
Instance details Methods scale :: Zp PlutoEris_p -> Eris_Point -> Eris_Point Source #
Scale (Zp PlutoEris_q) Pluto_Point Source #
Instance details Methods scale :: Zp PlutoEris_q -> Pluto_Point -> Pluto_Point Source #
IrreduciblePoly (Zp PlutoEris_p) "i*sqrt5" Source #
Instance details Methods irreduciblePoly :: Poly (Zp PlutoEris_p) Source #