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

ZkFold.Base.Algebra.EllipticCurve.Secp256k1

Documentation

data Secp256k1 Source #

Instances

Instances details
EllipticCurve Secp256k1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.Secp256k1

Associated Types

type BaseField Secp256k1 Source #

type ScalarField Secp256k1 Source #

type BooleanOf Secp256k1 Source #

Methods

pointGen :: Point Secp256k1 Source #

add :: Point Secp256k1 -> Point Secp256k1 -> Point Secp256k1 Source #

mul :: ScalarField Secp256k1 -> Point Secp256k1 -> Point Secp256k1 Source #

WeierstrassCurve Secp256k1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.Secp256k1

Methods

weierstrassA :: BaseField Secp256k1 Source #

weierstrassB :: BaseField Secp256k1 Source #

type BaseField Secp256k1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.Secp256k1

type BaseField Secp256k1 = Fp
type BooleanOf Secp256k1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.Secp256k1

type BooleanOf Secp256k1 = Bool
type ScalarField Secp256k1 Source # 
Instance details

Defined in ZkFold.Base.Algebra.EllipticCurve.Secp256k1

type ScalarField Secp256k1 = Fn

type Secp256k1_Base = 115792089237316195423570985008687907853269984665640564039457584007908834671663 Source #

type Secp256k1_Scalar = 115792089237316195423570985008687907852837564279074904382605163141518161494337 Source #

type Fp = Zp Secp256k1_Base Source #

type Fn = Zp Secp256k1_Scalar Source #

Orphan instances

Prime Secp256k1_Base Source # 
Instance details

Prime Secp256k1_Scalar Source # 
Instance details