License	UNLICENSE
Maintainer	Jean-Pierre Rupp <jprupp@protonmail.ch>
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	Haskell2010

Crypto.Secp256k1.Internal.Base

Description

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.

Synopsis

newtype PubKey = PubKey {
- get :: ByteString
}
newtype Msg = Msg {
- get :: ByteString
}
newtype Sig = Sig {
- get :: ByteString
}
newtype SecKey = SecKey {
- get :: ByteString
}
newtype Tweak = Tweak {
- get :: ByteString
}
newtype CompactSig = CompactSig {
- get :: ByteString
}
sig :: ByteString -> Maybe Sig
pubKey :: ByteString -> Maybe PubKey
msg :: ByteString -> Maybe Msg
secKey :: ByteString -> Maybe SecKey
compactSig :: ByteString -> Maybe CompactSig
normalizeSig :: Ctx -> Sig -> Maybe Sig
tweak :: ByteString -> Maybe Tweak
importPubKey :: Ctx -> ByteString -> Maybe PubKey
exportPubKey :: Ctx -> Bool -> PubKey -> ByteString
exportCompactSig :: Ctx -> Sig -> CompactSig
importCompactSig :: Ctx -> CompactSig -> Maybe Sig
importSig :: Ctx -> ByteString -> Maybe Sig
exportSig :: Ctx -> Sig -> ByteString
verifySig :: Ctx -> PubKey -> Sig -> Msg -> Bool
signMsg :: Ctx -> SecKey -> Msg -> Sig
derivePubKey :: Ctx -> SecKey -> PubKey
tweakAddSecKey :: Ctx -> SecKey -> Tweak -> Maybe SecKey
tweakMulSecKey :: Ctx -> SecKey -> Tweak -> Maybe SecKey
tweakAddPubKey :: Ctx -> PubKey -> Tweak -> Maybe PubKey
tweakMulPubKey :: Ctx -> PubKey -> Tweak -> Maybe PubKey
combinePubKeys :: Ctx -> [PubKey] -> Maybe PubKey
tweakNegate :: Ctx -> Tweak -> Maybe Tweak

Documentation

newtype PubKey Source #

Constructors

PubKey
Fields get :: ByteString

Instances

Instances details

IsString PubKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods fromString :: String -> PubKey #
Generic PubKey Source #
Instance details 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 Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods readsPrec :: Int -> ReadS PubKey # readList :: ReadS [PubKey] # readPrec :: ReadPrec PubKey # readListPrec :: ReadPrec [PubKey] #
Show PubKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods showsPrec :: Int -> PubKey -> ShowS # show :: PubKey -> String # showList :: [PubKey] -> ShowS #
NFData PubKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods rnf :: PubKey -> () #
Eq PubKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods (==) :: PubKey -> PubKey -> Bool # (/=) :: PubKey -> PubKey -> Bool #
Hashable PubKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods hashWithSalt :: Int -> PubKey -> Int # hash :: PubKey -> Int #
type Rep PubKey Source #
Instance details 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 Source #

Constructors

Msg
Fields get :: ByteString

Instances

Instances details

Arbitrary Msg Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods arbitrary :: Gen Msg # shrink :: Msg -> [Msg] #
IsString Msg Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods fromString :: String -> Msg #
Generic Msg Source #
Instance details 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 Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods readsPrec :: Int -> ReadS Msg # readList :: ReadS [Msg] # readPrec :: ReadPrec Msg # readListPrec :: ReadPrec [Msg] #
Show Msg Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods showsPrec :: Int -> Msg -> ShowS # show :: Msg -> String # showList :: [Msg] -> ShowS #
NFData Msg Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods rnf :: Msg -> () #
Eq Msg Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods (==) :: Msg -> Msg -> Bool # (/=) :: Msg -> Msg -> Bool #
Hashable Msg Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods hashWithSalt :: Int -> Msg -> Int # hash :: Msg -> Int #
type Rep Msg Source #
Instance details 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 Source #

Constructors

Sig
Fields get :: ByteString

Instances

Instances details

IsString Sig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods fromString :: String -> Sig #
Generic Sig Source #
Instance details 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 Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods readsPrec :: Int -> ReadS Sig # readList :: ReadS [Sig] # readPrec :: ReadPrec Sig # readListPrec :: ReadPrec [Sig] #
Show Sig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods showsPrec :: Int -> Sig -> ShowS # show :: Sig -> String # showList :: [Sig] -> ShowS #
NFData Sig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods rnf :: Sig -> () #
Eq Sig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods (==) :: Sig -> Sig -> Bool # (/=) :: Sig -> Sig -> Bool #
Hashable Sig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods hashWithSalt :: Int -> Sig -> Int # hash :: Sig -> Int #
type Rep Sig Source #
Instance details 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 Source #

Constructors

SecKey
Fields get :: ByteString

Instances

Instances details

Arbitrary SecKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods arbitrary :: Gen SecKey # shrink :: SecKey -> [SecKey] #
IsString SecKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods fromString :: String -> SecKey #
Generic SecKey Source #
Instance details 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 Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods readsPrec :: Int -> ReadS SecKey # readList :: ReadS [SecKey] # readPrec :: ReadPrec SecKey # readListPrec :: ReadPrec [SecKey] #
Show SecKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods showsPrec :: Int -> SecKey -> ShowS # show :: SecKey -> String # showList :: [SecKey] -> ShowS #
NFData SecKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods rnf :: SecKey -> () #
Eq SecKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods (==) :: SecKey -> SecKey -> Bool # (/=) :: SecKey -> SecKey -> Bool #
Hashable SecKey Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods hashWithSalt :: Int -> SecKey -> Int # hash :: SecKey -> Int #
type Rep SecKey Source #
Instance details 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 Source #

Constructors

Tweak
Fields get :: ByteString

Instances

Instances details

IsString Tweak Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods fromString :: String -> Tweak #
Generic Tweak Source #
Instance details 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 Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods readsPrec :: Int -> ReadS Tweak # readList :: ReadS [Tweak] # readPrec :: ReadPrec Tweak # readListPrec :: ReadPrec [Tweak] #
Show Tweak Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods showsPrec :: Int -> Tweak -> ShowS # show :: Tweak -> String # showList :: [Tweak] -> ShowS #
NFData Tweak Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods rnf :: Tweak -> () #
Eq Tweak Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods (==) :: Tweak -> Tweak -> Bool # (/=) :: Tweak -> Tweak -> Bool #
Hashable Tweak Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods hashWithSalt :: Int -> Tweak -> Int # hash :: Tweak -> Int #
type Rep Tweak Source #
Instance details 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 Source #

Constructors

CompactSig
Fields get :: ByteString

Instances

Instances details

Generic CompactSig Source #
Instance details 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 Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods rnf :: CompactSig -> () #
Eq CompactSig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods (==) :: CompactSig -> CompactSig -> Bool # (/=) :: CompactSig -> CompactSig -> Bool #
Hashable CompactSig Source #
Instance details Defined in Crypto.Secp256k1.Internal.Base Methods hashWithSalt :: Int -> CompactSig -> Int # hash :: CompactSig -> Int #
type Rep CompactSig Source #
Instance details 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)))