lambda-uc-0.1.0.0
Safe HaskellSafe
LanguageGHC2021

LambdaUC.Games.UCSignatureScheme

Documentation

type Message = String #

type Pk = String #

type Sk = String #

type Sign = String #

data SignReq #

Constructors

KGen 
Sign Message 
Ver Pk Message Sign 

data SignResp #

Constructors

RespKGen Pk 
RespSign Sign 
RespVer Bool 
RespErr 

data Started #

Constructors

Started 

data SignSid #

Constructors

SignSid 

Fields

type SignatureScheme' = SignatureScheme String String String String #

data UnexpectedSenderEx #

Constructors

UnexpectedSenderEx 

signatureIF :: SingleSidIdeal' SignSid (HListPort SignatureScheme' Started) (HListPort SignReq SignResp) '[] #

newtype SignProtoState #

Constructors

SignProtoState Sk 

isSigner :: SidPid SignSid -> Bool #

matchUp :: SomeRxMess '[() :> Void, SignResp :> SignReq] -> SignReq #

signatureProto :: SignatureScheme' -> SingleSidReal' SignSid (HListPort (ActiveCorrReq (Maybe SignProtoState) (HListPort SignReq SignResp) '[]) ActiveCorrResp) (HListPort SignReq SignResp) '[] #