Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Serialization.CBOR

Newtype wrappers used for serializing various things to/from on-disk files.

Contents

Stake pool keys ('Cold' keys)
KES keys
Operational Certificates
OpCert counter

Synopsis

newtype ColdVerKey
newtype ColdSignKey
newtype KESVerKey
newtype Sigma
data OpCert
data OpCertCounter

Packagekes-agent-1.3.0.0
Exports6
LanguageHaskell2010
LicenceApache-2.0
SourceCBOR.hs

Stake pool keys ('Cold' keys)

newtypenewtype ColdVerKey d

Constructors

ColdVerKey
- coldVerKey :: VerKeyDSIGN d

Instances5Eq, Show, FromCBOR, ToCBOR, HasTextEnvelope

(Typeable d, Eq (VerKeyDSIGN d)) => Eq (ColdVerKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, Show (VerKeyDSIGN d)) => Show (ColdVerKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, FromCBOR (VerKeyDSIGN d)) => FromCBOR (ColdVerKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, ToCBOR (VerKeyDSIGN d)) => ToCBOR (ColdVerKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, ToCBOR (VerKeyDSIGN d), FromCBOR (VerKeyDSIGN d), DSIGNAlgorithm d) => HasTextEnvelope (ColdVerKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR

newtypenewtype ColdSignKey d

Constructors

ColdSignKey
- coldSignKey :: SignKeyDSIGN d

Instances5Eq, Show, FromCBOR, ToCBOR, HasTextEnvelope

(Typeable d, Eq (SignKeyDSIGN d)) => Eq (ColdSignKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, Show (SignKeyDSIGN d)) => Show (ColdSignKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, FromCBOR (SignKeyDSIGN d)) => FromCBOR (ColdSignKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, ToCBOR (SignKeyDSIGN d)) => ToCBOR (ColdSignKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable d, ToCBOR (SignKeyDSIGN d), FromCBOR (SignKeyDSIGN d), DSIGNAlgorithm d) => HasTextEnvelope (ColdSignKey d)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR

KES keys

newtypenewtype KESVerKey k

Constructors

KESVerKey
- kesVerKey :: VerKeyKES k

Instances5Eq, Show, FromCBOR, ToCBOR, HasTextEnvelope

(Typeable k, Eq (VerKeyKES k)) => Eq (KESVerKey k)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable k, Show (VerKeyKES k)) => Show (KESVerKey k)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable k, FromCBOR (VerKeyKES k)) => FromCBOR (KESVerKey k)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable k, ToCBOR (VerKeyKES k)) => ToCBOR (KESVerKey k)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable k, ToCBOR (VerKeyKES k), FromCBOR (VerKeyKES k), KESAlgorithm k) => HasTextEnvelope (KESVerKey k)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR

Operational Certificates

newtypenewtype Sigma c

Source#

Wrapper newtype that gives us the correct ToCBOR / FromCBOR instances for the signature contained in an OpCert. SignedDSIGN itself does not provide such instances, and if it did, they might not be the correct ones.

Constructors

Sigma (SignedDSIGN (DSIGN c) (OCertSignable c))

Instances2FromCBOR, ToCBOR

(Typeable c, Crypto c) => FromCBOR (Sigma c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, Crypto c) => ToCBOR (Sigma c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR

datadata OpCert c

Source#

The operational certificate, as serialized. The serialization format should be compatible with what cardano-node uses.

Constructors

OpCert
- opCert :: !OCert c
- opCertColdKey :: !VerKeyDSIGN (DSIGN c)

Instances5Eq, Show, FromCBOR, ToCBOR, HasTextEnvelope

(Typeable c, DSIGNAlgorithm (DSIGN c), Eq (VerKeyKES (KES c)), Eq (VerKeyDSIGN (DSIGN c))) => Eq (OpCert c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, DSIGNAlgorithm (DSIGN c), Show (VerKeyKES (KES c)), Show (VerKeyDSIGN (DSIGN c))) => Show (OpCert c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, Crypto c, FromCBOR (VerKeyKES (KES c)), FromCBOR (VerKeyDSIGN (DSIGN c))) => FromCBOR (OpCert c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, Crypto c, ToCBOR (VerKeyKES (KES c)), ToCBOR (VerKeyDSIGN (DSIGN c))) => ToCBOR (OpCert c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, Crypto c, FromCBOR (VerKeyKES (KES c)), FromCBOR (VerKeyDSIGN (DSIGN c)), ToCBOR (VerKeyKES (KES c)), ToCBOR (VerKeyDSIGN (DSIGN c)), FromCBOR (VerKeyDSIGN (DSIGN c))) => HasTextEnvelope (OpCert c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR

OpCert counter

datadata OpCertCounter c

Constructors

OpCertCounter
- opCertIssueCount :: !Word64
- opCertIssueColdKey :: !VerKeyDSIGN (DSIGN c)

Instances5Eq, Show, FromCBOR, ToCBOR, HasTextEnvelope

(Typeable c, Eq (VerKeyDSIGN (DSIGN c))) => Eq (OpCertCounter c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, Show (VerKeyDSIGN (DSIGN c))) => Show (OpCertCounter c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, FromCBOR (VerKeyDSIGN (DSIGN c))) => FromCBOR (OpCertCounter c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, ToCBOR (VerKeyDSIGN (DSIGN c))) => ToCBOR (OpCertCounter c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR
(Typeable c, ToCBOR (VerKeyDSIGN (DSIGN c)), FromCBOR (VerKeyDSIGN (DSIGN c))) => HasTextEnvelope (OpCertCounter c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.CBOR