Safe Haskell	Safe
Language	GHC2021

LambdaUC.Games.SignatureScheme

Synopsis

data SignatureScheme sk pk mes sig = SignatureScheme {
- sigKey :: forall m. MonadRand m => m (sk, pk)
- sigSign :: forall m. MonadRand m => sk -> mes -> m sig
- sigVer :: pk -> mes -> sig -> Bool
}
type SpSignatureScheme sk pk mes sig = Integer -> SignatureScheme sk pk mes sig
type AdvAlgo pk mes sig = pk -> OracleCaller '[mes :> sig] (mes, sig)
type SpAdvAlgo pk mes sig = Integer -> AdvAlgo pk mes sig
gameEuCma :: Eq mes => Integer -> SpSignatureScheme sk pk mes sig -> SpAdvAlgo pk mes sig -> PrAlgo Bool

Documentation

data SignatureScheme sk pk mes sig #

Constructors

SignatureScheme
Fields sigKey :: forall m. MonadRand m => m (sk, pk) sigSign :: forall m. MonadRand m => sk -> mes -> m sig sigVer :: pk -> mes -> sig -> Bool

type SpSignatureScheme sk pk mes sig = Integer -> SignatureScheme sk pk mes sig #

type AdvAlgo pk mes sig = pk -> OracleCaller '[mes :> sig] (mes, sig) #

type SpAdvAlgo pk mes sig = Integer -> AdvAlgo pk mes sig #

Arguments

:: Eq mes
=> Integer	Security parameter
-> SpSignatureScheme sk pk mes sig	Signature scheme
-> SpAdvAlgo pk mes sig	Adversary
-> PrAlgo Bool

Existential Unforgeability under Chosen Message Attack, EU-CMA