Auth.Biscuit.Crypto

Documentation

type SignedBlock = (ByteString, Signature, PublicKey)

type Blocks = NonEmpty SignedBlock

signBlock :: SecretKey -> ByteString -> IO (SignedBlock, SecretKey)

verifyBlocks :: Blocks -> PublicKey -> Bool

verifySecretProof :: SecretKey -> SignedBlock -> Bool

verifySignatureProof :: Signature -> SignedBlock -> Bool

getSignatureProof :: SignedBlock -> SecretKey -> Signature

data PublicKey

An Ed25519 public key

Instances

Eq PublicKey

Defined in Crypto.PubKey.Ed25519

Methods

(==) :: PublicKey -> PublicKey -> Bool

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

Show PublicKey

Defined in Crypto.PubKey.Ed25519

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

NFData PublicKey

Defined in Crypto.PubKey.Ed25519

Methods

rnf :: PublicKey -> ()

ByteArrayAccess PublicKey

Defined in Crypto.PubKey.Ed25519

Methods

length :: PublicKey -> Int

withByteArray :: PublicKey -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: PublicKey -> Ptr p -> IO ()

data SecretKey

An Ed25519 Secret key

Instances

Eq SecretKey

Defined in Crypto.PubKey.Ed25519

Methods

(==) :: SecretKey -> SecretKey -> Bool

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

Show SecretKey

Defined in Crypto.PubKey.Ed25519

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

NFData SecretKey

Defined in Crypto.PubKey.Ed25519

Methods

rnf :: SecretKey -> ()

ByteArrayAccess SecretKey

Defined in Crypto.PubKey.Ed25519

Methods

length :: SecretKey -> Int

withByteArray :: SecretKey -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SecretKey -> Ptr p -> IO ()

data Signature

An Ed25519 signature

Instances

Eq Signature

Defined in Crypto.PubKey.Ed25519

Methods

(==) :: Signature -> Signature -> Bool

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

Show Signature

Defined in Crypto.PubKey.Ed25519

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

NFData Signature

Defined in Crypto.PubKey.Ed25519

Methods

rnf :: Signature -> ()

ByteArrayAccess Signature

Defined in Crypto.PubKey.Ed25519

Methods

length :: Signature -> Int

withByteArray :: Signature -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Signature -> Ptr p -> IO ()

convert :: (ByteArrayAccess bin, ByteArray bout) => bin -> bout

Convert a bytearray to another type of bytearray

publicKey :: ByteArrayAccess ba => ba -> CryptoFailable PublicKey

Try to build a public key from a bytearray

secretKey :: ByteArrayAccess ba => ba -> CryptoFailable SecretKey

Try to build a secret key from a bytearray

signature :: ByteArrayAccess ba => ba -> CryptoFailable Signature

Try to build a signature from a bytearray

eitherCryptoError :: CryptoFailable a -> Either CryptoError a

Transform a CryptoFailable to an Either

maybeCryptoError :: CryptoFailable a -> Maybe a

Transform a CryptoFailable to a Maybe

generateSecretKey :: MonadRandom m => m SecretKey

Generate a secret key

toPublic :: SecretKey -> PublicKey

Create a public key from a secret key