botan-low

Copyright	(c) 2023-2024 Apotheca Labs (c) 2024-2025 Haskell Foundation
License	BSD-3-Clause
Maintainer	joris@well-typed.com, leo@apotheca.io
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	GHC2021

Botan.Low.PubKey.Verify

Contents

Public key signature verification

Description

Synopsis

newtype Verify = MkVerify {
- foreignPtr :: ForeignPtr BotanPKOpVerifyStruct
}
withVerify :: Verify -> (BotanPKOpVerify -> IO a) -> IO a
verifyCreate :: PubKey -> EMSAName -> SigningFlags -> IO Verify
verifyDestroy :: Verify -> IO ()
verifyUpdate :: Verify -> ByteString -> IO ()
verifyFinish :: Verify -> ByteString -> IO Bool

Public key signature verification

newtype Verify Source #

Constructors

MkVerify
Fields foreignPtr :: ForeignPtr BotanPKOpVerifyStruct

withVerify :: Verify -> (BotanPKOpVerify -> IO a) -> IO a Source #

verifyCreate Source #

Arguments

:: PubKey	key
-> EMSAName	hash_and_padding
-> SigningFlags	flags
-> IO Verify	op

verifyDestroy :: Verify -> IO () Source #

verifyUpdate Source #

Arguments

:: Verify	op
-> ByteString	in[]
-> IO ()

verifyFinish Source #

Arguments

:: Verify	op
-> ByteString	sig[]
-> IO Bool