| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Data.Secp256k1
Contents
Documentation
type Secp256k1_Point ctx = Secp256k1_PointOf (Bool ctx) (FFA Secp256k1_Base ctx) Source #
Orphan instances
| Symbolic 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) => Scale (FieldElement ctx) (Secp256k1_Point ctx) Source # | |
Methods scale :: FieldElement ctx -> Secp256k1_Point ctx -> Secp256k1_Point ctx Source # | |