| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Data.Secp256k1
Contents
Documentation
type Secp256k1_Point ctx = Secp256k1_PointOf (FFA Secp256k1_Base 'Auto ctx) Source #
Orphan instances
| (Symbolic ctx, KnownFFA Secp256k1_Base 'Auto ctx) => CyclicGroup (Secp256k1_Point ctx) Source # | |
Associated Types type ScalarFieldOf (Secp256k1_Point ctx) Source # Methods pointGen :: Secp256k1_Point ctx Source # | |
| (Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a, KnownFFA Secp256k1_Base 'Auto ctx) => Scale (FieldElement ctx) (Secp256k1_Point ctx) Source # | |
Methods scale :: FieldElement ctx -> Secp256k1_Point ctx -> Secp256k1_Point ctx Source # | |