Documentation

Methods

scheme :: Proxy SLHDSA_SHA2_128s -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHAKE_128s -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHA2_128f -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHAKE_128f -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHA2_192s -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHAKE_192s -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHA2_192f -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHAKE_192f -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHA2_256s -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHAKE_256s -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHA2_256f -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

scheme :: Proxy SLHDSA_SHAKE_256f -> Scheme #

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

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

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

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

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

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

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

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

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

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

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

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

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

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