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

ZkFold.Base.Algebra.EllipticCurve.Secp256k1

Documentation

type Secp256k1_Base = 115792089237316195423570985008687907853269984665640564039457584007908834671663 Source #

type Secp256k1_Scalar = 115792089237316195423570985008687907852837564279074904382605163141518161494337 Source #

type Secp256k1_Point = Secp256k1_PointOf Fp Source #

type Secp256k1_PointOf field = Weierstrass "secp256k1" (Point field) Source #

type Fn = Zp Secp256k1_Scalar Source #

type Fp = Zp Secp256k1_Base Source #

Orphan instances

Prime Secp256k1_Base Source # 
Instance details

Prime Secp256k1_Scalar Source # 
Instance details

CyclicGroup Secp256k1_Point Source # 
Instance details

Associated Types

type ScalarFieldOf Secp256k1_Point Source #

Methods

pointGen :: Secp256k1_Point Source #

Scale Fn Secp256k1_Point Source # 
Instance details

Methods

scale :: Fn -> Secp256k1_Point -> Secp256k1_Point Source #

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

Methods

weierstrassB :: field Source #