Crypto.Secp256k1.Internal.Base

Crytpographic functions from Bitcoin’s secp256k1 library.

The API for this module may change at any time. This is an internal module only exposed for hacking and experimentation.

Documentation

newtype PubKey

Constructors

PubKey

Fields

• get :: ByteString

Instances

IsString PubKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

fromString :: String -> PubKey

Generic PubKey

Defined in Crypto.Secp256k1.Internal.Base

Associated Types

type Rep PubKey :: Type -> Type

Methods

from :: PubKey -> Rep PubKey x

to :: Rep PubKey x -> PubKey

Read PubKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

readsPrec :: Int -> ReadS PubKey

readList :: ReadS [PubKey]

readPrec :: ReadPrec PubKey

readListPrec :: ReadPrec [PubKey]

Show PubKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

showsPrec :: Int -> PubKey -> ShowS

show :: PubKey -> String

showList :: [PubKey] -> ShowS

NFData PubKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

rnf :: PubKey -> ()

Eq PubKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

(==) :: PubKey -> PubKey -> Bool

(/=) :: PubKey -> PubKey -> Bool

Hashable PubKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

hashWithSalt :: Int -> PubKey -> Int

hash :: PubKey -> Int

type Rep PubKey

Defined in Crypto.Secp256k1.Internal.Base

type Rep PubKey = D1 ('MetaData "PubKey" "Crypto.Secp256k1.Internal.Base" "secp256k1-haskell-1.2.0-5hhTrFzbY7H83oJyj7uSnR" 'True) (C1 ('MetaCons "PubKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Msg

Constructors

Msg

Fields

• get :: ByteString

Instances

Arbitrary Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

arbitrary :: Gen Msg

shrink :: Msg -> [Msg]

IsString Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

fromString :: String -> Msg

Generic Msg

Defined in Crypto.Secp256k1.Internal.Base

Associated Types

type Rep Msg :: Type -> Type

Methods

from :: Msg -> Rep Msg x

to :: Rep Msg x -> Msg

Read Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

readsPrec :: Int -> ReadS Msg

readList :: ReadS [Msg]

readPrec :: ReadPrec Msg

readListPrec :: ReadPrec [Msg]

Show Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

showsPrec :: Int -> Msg -> ShowS

show :: Msg -> String

showList :: [Msg] -> ShowS

NFData Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

rnf :: Msg -> ()

Eq Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

(==) :: Msg -> Msg -> Bool

(/=) :: Msg -> Msg -> Bool

Hashable Msg

Defined in Crypto.Secp256k1.Internal.Base

Methods

hashWithSalt :: Int -> Msg -> Int

hash :: Msg -> Int

type Rep Msg

Defined in Crypto.Secp256k1.Internal.Base

type Rep Msg = D1 ('MetaData "Msg" "Crypto.Secp256k1.Internal.Base" "secp256k1-haskell-1.2.0-5hhTrFzbY7H83oJyj7uSnR" 'True) (C1 ('MetaCons "Msg" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Sig

Constructors

Sig

Fields

• get :: ByteString

Instances

IsString Sig

Defined in Crypto.Secp256k1.Internal.Base

Methods

fromString :: String -> Sig

Generic Sig

Defined in Crypto.Secp256k1.Internal.Base

Associated Types

type Rep Sig :: Type -> Type

Methods

from :: Sig -> Rep Sig x

to :: Rep Sig x -> Sig

Read Sig

Defined in Crypto.Secp256k1.Internal.Base

Methods

readsPrec :: Int -> ReadS Sig

readList :: ReadS [Sig]

readPrec :: ReadPrec Sig

readListPrec :: ReadPrec [Sig]

Show Sig

Defined in Crypto.Secp256k1.Internal.Base

Methods

showsPrec :: Int -> Sig -> ShowS

show :: Sig -> String

showList :: [Sig] -> ShowS

NFData Sig

Defined in Crypto.Secp256k1.Internal.Base

Methods

rnf :: Sig -> ()

Eq Sig

Defined in Crypto.Secp256k1.Internal.Base

Methods

(==) :: Sig -> Sig -> Bool

(/=) :: Sig -> Sig -> Bool

Hashable Sig

Defined in Crypto.Secp256k1.Internal.Base

Methods

hashWithSalt :: Int -> Sig -> Int

hash :: Sig -> Int

type Rep Sig

Defined in Crypto.Secp256k1.Internal.Base

type Rep Sig = D1 ('MetaData "Sig" "Crypto.Secp256k1.Internal.Base" "secp256k1-haskell-1.2.0-5hhTrFzbY7H83oJyj7uSnR" 'True) (C1 ('MetaCons "Sig" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype SecKey

Constructors

SecKey

Fields

• get :: ByteString

Instances

Arbitrary SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

arbitrary :: Gen SecKey

shrink :: SecKey -> [SecKey]

IsString SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

fromString :: String -> SecKey

Generic SecKey

Defined in Crypto.Secp256k1.Internal.Base

Associated Types

type Rep SecKey :: Type -> Type

Methods

from :: SecKey -> Rep SecKey x

to :: Rep SecKey x -> SecKey

Read SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

readsPrec :: Int -> ReadS SecKey

readList :: ReadS [SecKey]

readPrec :: ReadPrec SecKey

readListPrec :: ReadPrec [SecKey]

Show SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

showsPrec :: Int -> SecKey -> ShowS

show :: SecKey -> String

showList :: [SecKey] -> ShowS

NFData SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

rnf :: SecKey -> ()

Eq SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

(==) :: SecKey -> SecKey -> Bool

(/=) :: SecKey -> SecKey -> Bool

Hashable SecKey

Defined in Crypto.Secp256k1.Internal.Base

Methods

hashWithSalt :: Int -> SecKey -> Int

hash :: SecKey -> Int

type Rep SecKey

Defined in Crypto.Secp256k1.Internal.Base

type Rep SecKey = D1 ('MetaData "SecKey" "Crypto.Secp256k1.Internal.Base" "secp256k1-haskell-1.2.0-5hhTrFzbY7H83oJyj7uSnR" 'True) (C1 ('MetaCons "SecKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype Tweak

Constructors

Tweak

Fields

• get :: ByteString

Instances

IsString Tweak

Defined in Crypto.Secp256k1.Internal.Base

Methods

fromString :: String -> Tweak

Generic Tweak

Defined in Crypto.Secp256k1.Internal.Base

Associated Types

type Rep Tweak :: Type -> Type

Methods

from :: Tweak -> Rep Tweak x

to :: Rep Tweak x -> Tweak

Read Tweak

Defined in Crypto.Secp256k1.Internal.Base

Methods

readsPrec :: Int -> ReadS Tweak

readList :: ReadS [Tweak]

readPrec :: ReadPrec Tweak

readListPrec :: ReadPrec [Tweak]

Show Tweak

Defined in Crypto.Secp256k1.Internal.Base

Methods

showsPrec :: Int -> Tweak -> ShowS

show :: Tweak -> String

showList :: [Tweak] -> ShowS

NFData Tweak

Defined in Crypto.Secp256k1.Internal.Base

Methods

rnf :: Tweak -> ()

Eq Tweak

Defined in Crypto.Secp256k1.Internal.Base

Methods

(==) :: Tweak -> Tweak -> Bool

(/=) :: Tweak -> Tweak -> Bool

Hashable Tweak

Defined in Crypto.Secp256k1.Internal.Base

Methods

hashWithSalt :: Int -> Tweak -> Int

hash :: Tweak -> Int

type Rep Tweak

Defined in Crypto.Secp256k1.Internal.Base

type Rep Tweak = D1 ('MetaData "Tweak" "Crypto.Secp256k1.Internal.Base" "secp256k1-haskell-1.2.0-5hhTrFzbY7H83oJyj7uSnR" 'True) (C1 ('MetaCons "Tweak" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype CompactSig

Constructors

CompactSig

Fields

• get :: ByteString

Instances

Generic CompactSig

Defined in Crypto.Secp256k1.Internal.Base

Associated Types

type Rep CompactSig :: Type -> Type

Methods

from :: CompactSig -> Rep CompactSig x

to :: Rep CompactSig x -> CompactSig

NFData CompactSig

Defined in Crypto.Secp256k1.Internal.Base

Methods

rnf :: CompactSig -> ()

Eq CompactSig

Defined in Crypto.Secp256k1.Internal.Base

Methods

(==) :: CompactSig -> CompactSig -> Bool

(/=) :: CompactSig -> CompactSig -> Bool

Hashable CompactSig

Defined in Crypto.Secp256k1.Internal.Base

Methods

hashWithSalt :: Int -> CompactSig -> Int

hash :: CompactSig -> Int

type Rep CompactSig

Defined in Crypto.Secp256k1.Internal.Base

type Rep CompactSig = D1 ('MetaData "CompactSig" "Crypto.Secp256k1.Internal.Base" "secp256k1-haskell-1.2.0-5hhTrFzbY7H83oJyj7uSnR" 'True) (C1 ('MetaCons "CompactSig" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

sig :: ByteString -> Maybe Sig

Import 64-byte ByteString as Sig.

pubKey :: ByteString -> Maybe PubKey

Import 64-byte ByteString as PubKey.

msg :: ByteString -> Maybe Msg

Import 32-byte ByteString as Msg.

secKey :: ByteString -> Maybe SecKey

Import 32-byte ByteString as SecKey.

compactSig :: ByteString -> Maybe CompactSig

normalizeSig :: Ctx -> Sig -> Maybe Sig

Convert signature to a normalized lower-S form. Nothing indicates that it was already normal.

tweak :: ByteString -> Maybe Tweak

32-Byte ByteString as Tweak.

importPubKey :: Ctx -> ByteString -> Maybe PubKey

Import DER-encoded public key.

exportPubKey :: Ctx -> Bool -> PubKey -> ByteString

Encode public key as DER. First argument True for compressed output.

exportCompactSig :: Ctx -> Sig -> CompactSig

importCompactSig :: Ctx -> CompactSig -> Maybe Sig

importSig :: Ctx -> ByteString -> Maybe Sig

Import DER-encoded signature.

exportSig :: Ctx -> Sig -> ByteString

Encode signature as strict DER.

verifySig :: Ctx -> PubKey -> Sig -> Msg -> Bool

Verify message signature. True means that the signature is correct.

signMsg :: Ctx -> SecKey -> Msg -> Sig

derivePubKey :: Ctx -> SecKey -> PubKey

tweakAddSecKey :: Ctx -> SecKey -> Tweak -> Maybe SecKey

Add tweak to secret key.

tweakMulSecKey :: Ctx -> SecKey -> Tweak -> Maybe SecKey

Multiply secret key by tweak.

tweakAddPubKey :: Ctx -> PubKey -> Tweak -> Maybe PubKey

Add tweak to public key. Tweak is multiplied first by G to obtain a point.

tweakMulPubKey :: Ctx -> PubKey -> Tweak -> Maybe PubKey

Multiply public key by tweak. Tweak is multiplied first by G to obtain a point.

combinePubKeys :: Ctx -> [PubKey] -> Maybe PubKey

Add multiple public keys together.

tweakNegate :: Ctx -> Tweak -> Maybe Tweak