Documentation

Methods

scheme :: Proxy MLDSA44 -> Scheme #

keypairFrom :: Seed MLDSA44 -> (PublicKey MLDSA44, SecretKey MLDSA44) #

signFrom :: SignSeed MLDSA44 -> SecretKey MLDSA44 -> Context -> ByteString -> Signature MLDSA44 #

verify :: PublicKey MLDSA44 -> Context -> ByteString -> Signature MLDSA44 -> Either QuantexError () #

keypair :: IO (PublicKey MLDSA44, SecretKey MLDSA44) #

sign :: SecretKey MLDSA44 -> Context -> ByteString -> IO (Signature MLDSA44) #

signDeterministic :: SecretKey MLDSA44 -> Context -> ByteString -> Signature MLDSA44 #

signDigestFrom :: SignSeed MLDSA44 -> SecretKey MLDSA44 -> Context -> Digest -> Signature MLDSA44 #

verifyDigest :: PublicKey MLDSA44 -> Context -> Digest -> Signature MLDSA44 -> Either QuantexError () #

signDigest :: SecretKey MLDSA44 -> Context -> Digest -> IO (Signature MLDSA44) #

signDigestDeterministic :: SecretKey MLDSA44 -> Context -> Digest -> Signature MLDSA44 #

signPrehashed :: SecretKey MLDSA44 -> Context -> PrehashAlgorithm -> ByteString -> IO (Signature MLDSA44) #

verifyPrehashed :: PublicKey MLDSA44 -> Context -> PrehashAlgorithm -> ByteString -> Signature MLDSA44 -> Either QuantexError () #

checkPublic :: Proxy MLDSA44 -> ByteString -> Bool #

checkSecret :: Proxy MLDSA44 -> ByteString -> Bool #

Methods

scheme :: Proxy MLDSA65 -> Scheme #

keypairFrom :: Seed MLDSA65 -> (PublicKey MLDSA65, SecretKey MLDSA65) #

signFrom :: SignSeed MLDSA65 -> SecretKey MLDSA65 -> Context -> ByteString -> Signature MLDSA65 #

verify :: PublicKey MLDSA65 -> Context -> ByteString -> Signature MLDSA65 -> Either QuantexError () #

keypair :: IO (PublicKey MLDSA65, SecretKey MLDSA65) #

sign :: SecretKey MLDSA65 -> Context -> ByteString -> IO (Signature MLDSA65) #

signDeterministic :: SecretKey MLDSA65 -> Context -> ByteString -> Signature MLDSA65 #

signDigestFrom :: SignSeed MLDSA65 -> SecretKey MLDSA65 -> Context -> Digest -> Signature MLDSA65 #

verifyDigest :: PublicKey MLDSA65 -> Context -> Digest -> Signature MLDSA65 -> Either QuantexError () #

signDigest :: SecretKey MLDSA65 -> Context -> Digest -> IO (Signature MLDSA65) #

signDigestDeterministic :: SecretKey MLDSA65 -> Context -> Digest -> Signature MLDSA65 #

signPrehashed :: SecretKey MLDSA65 -> Context -> PrehashAlgorithm -> ByteString -> IO (Signature MLDSA65) #

verifyPrehashed :: PublicKey MLDSA65 -> Context -> PrehashAlgorithm -> ByteString -> Signature MLDSA65 -> Either QuantexError () #

checkPublic :: Proxy MLDSA65 -> ByteString -> Bool #

checkSecret :: Proxy MLDSA65 -> ByteString -> Bool #

Methods

scheme :: Proxy MLDSA87 -> Scheme #

keypairFrom :: Seed MLDSA87 -> (PublicKey MLDSA87, SecretKey MLDSA87) #

signFrom :: SignSeed MLDSA87 -> SecretKey MLDSA87 -> Context -> ByteString -> Signature MLDSA87 #

verify :: PublicKey MLDSA87 -> Context -> ByteString -> Signature MLDSA87 -> Either QuantexError () #

keypair :: IO (PublicKey MLDSA87, SecretKey MLDSA87) #

sign :: SecretKey MLDSA87 -> Context -> ByteString -> IO (Signature MLDSA87) #

signDeterministic :: SecretKey MLDSA87 -> Context -> ByteString -> Signature MLDSA87 #

signDigestFrom :: SignSeed MLDSA87 -> SecretKey MLDSA87 -> Context -> Digest -> Signature MLDSA87 #

verifyDigest :: PublicKey MLDSA87 -> Context -> Digest -> Signature MLDSA87 -> Either QuantexError () #

signDigest :: SecretKey MLDSA87 -> Context -> Digest -> IO (Signature MLDSA87) #

signDigestDeterministic :: SecretKey MLDSA87 -> Context -> Digest -> Signature MLDSA87 #

signPrehashed :: SecretKey MLDSA87 -> Context -> PrehashAlgorithm -> ByteString -> IO (Signature MLDSA87) #

verifyPrehashed :: PublicKey MLDSA87 -> Context -> PrehashAlgorithm -> ByteString -> Signature MLDSA87 -> Either QuantexError () #

checkPublic :: Proxy MLDSA87 -> ByteString -> Bool #

checkSecret :: Proxy MLDSA87 -> ByteString -> Bool #