Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Delegation.Certificate

Contents

Certificate
Certificate Constructors
Certificate Accessor
Certificate Predicate

Synopsis

type Certificate = ACertificate ()
data ACertificate a = UnsafeACertificate {
- aEpoch ∷ !(Annotated EpochNumber a)
- issuerVK ∷ !VerificationKey
- delegateVK ∷ !VerificationKey
- signature ∷ !(Signature EpochNumber)
- annotation ∷ !a
}
type CertificateId = Hash Certificate
signCertificate ∷ ProtocolMagicId → VerificationKey → EpochNumber → SafeSigner → Certificate
unsafeCertificate ∷ EpochNumber → VerificationKey → VerificationKey → Signature EpochNumber → Certificate
epoch ∷ ACertificate a → EpochNumber
recoverCertificateId ∷ ACertificate ByteString → CertificateId
isValid ∷ Annotated ProtocolMagicId ByteString → ACertificate ByteString → Bool

Certificate

type Certificate = ACertificate () Source #

data ACertificate a Source #

Delegation certificate allowing the delegateVK to sign blocks on behalf of issuerVK

Each delegator can publish at most one Certificate per EpochNumber, and that EpochNumber must correspond to the current or next EpochNumber at the time of publishing

Constructors

UnsafeACertificate
Fields aEpoch ∷ !(Annotated EpochNumber a) The epoch from which the delegation is valid issuerVK ∷ !VerificationKey The issuer of the certificate, who delegates their right to sign blocks delegateVK ∷ !VerificationKey The delegate, who gains the right to sign blocks signature ∷ !(Signature EpochNumber) The signature that proves the certificate was issued by `issuerVK` annotation ∷ !a

Instances

Instances details

Functor ACertificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods fmap ∷ (a → b) → ACertificate a → ACertificate b Source # (<$) ∷ a → ACertificate b → ACertificate a Source #
FromCBOR Certificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods fromCBOR ∷ Decoder s Certificate Source # label ∷ Proxy Certificate → Text Source #
ToCBOR Certificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods toCBOR ∷ Certificate → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Certificate → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Certificate] → Size Source #
DecCBOR Certificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods decCBOR ∷ Decoder s Certificate Source # dropCBOR ∷ Proxy Certificate → Decoder s () Source # label ∷ Proxy Certificate → Text Source #
EncCBOR Certificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods encCBOR ∷ Certificate → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Certificate → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Certificate] → Size Source #
MonadError SchemaError m ⇒ FromJSON m Certificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods fromJSON ∷ JSValue → m Certificate Source #
Monad m ⇒ ToJSON m Certificate Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods toJSON ∷ Certificate → m JSValue Source #
ToJSON a ⇒ ToJSON (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods toJSON ∷ ACertificate a → Value Source # toEncoding ∷ ACertificate a → Encoding Source # toJSONList ∷ [ACertificate a] → Value Source # toEncodingList ∷ [ACertificate a] → Encoding Source # omitField ∷ ACertificate a → Bool Source #
Generic (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Associated Types type Rep (ACertificate a) ∷ Type → Type Source # Methods from ∷ ACertificate a → Rep (ACertificate a) x Source # to ∷ Rep (ACertificate a) x → ACertificate a Source #
Show a ⇒ Show (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods showsPrec ∷ Int → ACertificate a → ShowS Source # show ∷ ACertificate a → String Source # showList ∷ [ACertificate a] → ShowS Source #
FromCBOR (ACertificate ByteSpan) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods fromCBOR ∷ Decoder s (ACertificate ByteSpan) Source # label ∷ Proxy (ACertificate ByteSpan) → Text Source #
Decoded (ACertificate ByteString) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Associated Types type BaseType (ACertificate ByteString) Source # Methods recoverBytes ∷ ACertificate ByteString → ByteString Source #
DecCBOR (ACertificate ByteSpan) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods decCBOR ∷ Decoder s (ACertificate ByteSpan) Source # dropCBOR ∷ Proxy (ACertificate ByteSpan) → Decoder s () Source # label ∷ Proxy (ACertificate ByteSpan) → Text Source #
NFData a ⇒ NFData (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods rnf ∷ ACertificate a → () Source #
Buildable (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods build ∷ ACertificate a → Builder Source #
Eq a ⇒ Eq (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods (==) ∷ ACertificate a → ACertificate a → Bool Source # (/=) ∷ ACertificate a → ACertificate a → Bool Source #
Ord a ⇒ Ord (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods compare ∷ ACertificate a → ACertificate a → Ordering Source # (<) ∷ ACertificate a → ACertificate a → Bool Source # (<=) ∷ ACertificate a → ACertificate a → Bool Source # (>) ∷ ACertificate a → ACertificate a → Bool Source # (>=) ∷ ACertificate a → ACertificate a → Bool Source # max ∷ ACertificate a → ACertificate a → ACertificate a Source # min ∷ ACertificate a → ACertificate a → ACertificate a Source #
NoThunks a ⇒ NoThunks (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate Methods noThunks ∷ Context → ACertificate a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ACertificate a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ACertificate a) → String Source #
type Rep (ACertificate a) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate type Rep (ACertificate a) = D1 ('MetaData "ACertificate" "Cardano.Chain.Delegation.Certificate" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UnsafeACertificate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "aEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated EpochNumber a)) :: S1 ('MetaSel ('Just "issuerVK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :: (S1 ('MetaSel ('Just "delegateVK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature EpochNumber)) :: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))))
type BaseType (ACertificate ByteString) Source #
Instance details Defined in Cardano.Chain.Delegation.Certificate type BaseType (ACertificate ByteString) = Certificate

type CertificateId = Hash Certificate Source #

A delegation certificate identifier (the Hash of a Certificate).

Certificate Constructors

signCertificate ∷ ProtocolMagicId → VerificationKey → EpochNumber → SafeSigner → Certificate Source #

Create a Certificate, signing it with the provided safe signer.

unsafeCertificate Source #

Arguments

∷ EpochNumber
→ VerificationKey	The issuer of the certificate. See `UnsafeACertificate`.
→ VerificationKey	The delegate of the certificate. See `UnsafeACertificate`.
→ Signature EpochNumber
→ Certificate

Create a certificate using the provided signature.

Certificate Accessor

epoch ∷ ACertificate a → EpochNumber Source #

recoverCertificateId ∷ ACertificate ByteString → CertificateId Source #

Certificate Predicate

isValid ∷ Annotated ProtocolMagicId ByteString → ACertificate ByteString → Bool Source #

A Certificate is valid if the Signature is valid