Safe Haskell	None
Language	Haskell2010

Cardano.Protocol.TPraos.OCert

Synopsis

data OCert crypto = OCert {
- ocertVkHot :: !( VerKeyKES crypto)
- ocertN :: ! Word64
- ocertKESPeriod :: ! KESPeriod
- ocertSigma :: !( SignedDSIGN crypto ( OCertSignable crypto))
}
data OCertEnv crypto = OCertEnv {
- ocertEnvStPools :: Set ( KeyHash ' StakePool crypto)
- ocertEnvGenDelegs :: Set ( KeyHash ' GenesisDelegate crypto)
}
data OCertSignable crypto = OCertSignable !( VerKeyKES crypto) ! Word64 ! KESPeriod
ocertToSignable :: OCert crypto -> OCertSignable crypto
currentIssueNo :: OCertEnv crypto -> Map ( KeyHash ' BlockIssuer crypto) Word64 -> KeyHash ' BlockIssuer crypto -> Maybe Word64
newtype KESPeriod = KESPeriod {
- unKESPeriod :: Word
}
slotsPerKESPeriod :: Globals -> Word64
kesPeriod :: SlotNo -> ShelleyBase KESPeriod

Documentation

data OCert crypto Source #

Constructors

OCert
Fields ocertVkHot :: !( VerKeyKES crypto) The operational hot key ocertN :: ! Word64 counter ocertKESPeriod :: ! KESPeriod Start of key evolving signature period ocertSigma :: !( SignedDSIGN crypto ( OCertSignable crypto)) Signature of block operational certificate content

Instances

Instances details

Crypto crypto => Eq ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) :: OCert crypto -> OCert crypto -> Bool Source # (/=) :: OCert crypto -> OCert crypto -> Bool Source #
Crypto crypto => Show ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec :: Int -> OCert crypto -> ShowS Source # show :: OCert crypto -> String Source # showList :: [ OCert crypto] -> ShowS Source #
Generic ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Associated Types type Rep ( OCert crypto) :: Type -> Type Source # Methods from :: OCert crypto -> Rep ( OCert crypto) x Source # to :: Rep ( OCert crypto) x -> OCert crypto Source #
Crypto crypto => ToCBOR ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR :: OCert crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( OCert crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ OCert crypto] -> Size Source #
Crypto crypto => ToCBORGroup ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods toCBORGroup :: OCert crypto -> Encoding Source # encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy ( OCert crypto) -> Size Source # listLen :: OCert crypto -> Word Source # listLenBound :: Proxy ( OCert crypto) -> Word Source #
Crypto crypto => FromCBORGroup ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods fromCBORGroup :: Decoder s ( OCert crypto) Source #
Crypto crypto => NoThunks ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods noThunks :: Context -> OCert crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> OCert crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( OCert crypto) -> String Source #
type Rep ( OCert crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert type Rep ( OCert crypto) = D1 (' MetaData "OCert" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( C1 (' MetaCons "OCert" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "ocertVkHot") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VerKeyKES crypto)) :: S1 (' MetaSel (' Just "ocertN") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )) :: ( S1 (' MetaSel (' Just "ocertKESPeriod") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KESPeriod ) :*: S1 (' MetaSel (' Just "ocertSigma") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignedDSIGN crypto ( OCertSignable crypto))))))

data OCertEnv crypto Source #

Constructors

OCertEnv
Fields ocertEnvStPools :: Set ( KeyHash ' StakePool crypto) ocertEnvGenDelegs :: Set ( KeyHash ' GenesisDelegate crypto)

Instances

Instances details

Eq ( OCertEnv crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) :: OCertEnv crypto -> OCertEnv crypto -> Bool Source # (/=) :: OCertEnv crypto -> OCertEnv crypto -> Bool Source #
Show ( OCertEnv crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec :: Int -> OCertEnv crypto -> ShowS Source # show :: OCertEnv crypto -> String Source # showList :: [ OCertEnv crypto] -> ShowS Source #

data OCertSignable crypto Source #

Signable part of an operational certificate

Constructors

OCertSignable !( VerKeyKES crypto) ! Word64 ! KESPeriod

Instances

Instances details

Crypto crypto => SignableRepresentation ( OCertSignable crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods getSignableRepresentation :: OCertSignable crypto -> ByteString Source #

ocertToSignable :: OCert crypto -> OCertSignable crypto Source #

Extract the signable part of an operational certificate (for verification)

currentIssueNo Source #

Arguments

:: OCertEnv crypto
-> Map ( KeyHash ' BlockIssuer crypto) Word64
-> KeyHash ' BlockIssuer crypto	Pool hash
-> Maybe Word64

newtype KESPeriod Source #

Constructors

KESPeriod
Fields unKESPeriod :: Word

Instances

Instances details

Eq KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) :: KESPeriod -> KESPeriod -> Bool Source # (/=) :: KESPeriod -> KESPeriod -> Bool Source #
Ord KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods compare :: KESPeriod -> KESPeriod -> Ordering Source # (<) :: KESPeriod -> KESPeriod -> Bool Source # (<=) :: KESPeriod -> KESPeriod -> Bool Source # (>) :: KESPeriod -> KESPeriod -> Bool Source # (>=) :: KESPeriod -> KESPeriod -> Bool Source # max :: KESPeriod -> KESPeriod -> KESPeriod Source # min :: KESPeriod -> KESPeriod -> KESPeriod Source #
Show KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec :: Int -> KESPeriod -> ShowS Source # show :: KESPeriod -> String Source # showList :: [ KESPeriod ] -> ShowS Source #
Generic KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Associated Types type Rep KESPeriod :: Type -> Type Source # Methods from :: KESPeriod -> Rep KESPeriod x Source # to :: Rep KESPeriod x -> KESPeriod Source #
ToCBOR KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR :: KESPeriod -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy KESPeriod -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ KESPeriod ] -> Size Source #
FromCBOR KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods fromCBOR :: Decoder s KESPeriod Source # label :: Proxy KESPeriod -> Text Source #
NoThunks KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods noThunks :: Context -> KESPeriod -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> KESPeriod -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy KESPeriod -> String Source #
type Rep KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert type Rep KESPeriod = D1 (' MetaData "KESPeriod" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' True ) ( C1 (' MetaCons "KESPeriod" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unKESPeriod") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word )))

slotsPerKESPeriod :: Globals -> Word64 Source #

kesPeriod :: SlotNo -> ShelleyBase KESPeriod Source #