| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Data.BLS12_381
Contents
Documentation
type BLS12_381_G1_Point ctx = Weierstrass "BLS12-381-G1" (Point (FFA BLS12_381_Base 'Auto ctx)) Source #
Orphan instances
| (Symbolic ctx, KnownFFA BLS12_381_Base 'Auto ctx) => CyclicGroup (BLS12_381_G1_Point ctx) Source # | |
Associated Types type ScalarFieldOf (BLS12_381_G1_Point ctx) Source # Methods pointGen :: BLS12_381_G1_Point ctx Source # | |
| (Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a, KnownFFA BLS12_381_Base 'Auto ctx) => Scale (FieldElement ctx) (BLS12_381_G1_Point ctx) Source # | |
Methods scale :: FieldElement ctx -> BLS12_381_G1_Point ctx -> BLS12_381_G1_Point ctx Source # | |