HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulekes-agent-crypto-1.2.0.0Haskell2010

Cardano.KESAgent.KES.Crypto

A stripped-down version of the OCert and Crypto types used in cardano-ledger. We only replicate what we need here, so as to avoid depending on cardano-ledger.

In order to keep things simple, we do not use the same CBOR serialization format for the OCert type; this would require using or replicating the CBORGroup functionality from cardano-ledger, which I feel would be too much to replicate here, and since the KES Agent protocols are not performance critical, the small overhead introduced by using the default CBOR serialization seems like an acceptable tradeoff.

  • 1 class
classclass (KESAlgorithm (KES c), DSIGNAlgorithm (DSIGN c)) => Crypto c where
#

Convenience class that bundles associated KES and DSIGN algorithms into a single typeclass. This is a subset of the Crypto class defined in ouroboros-consensus; we redefine it here for two reasons: 1. To avoid a dependency on ouroboros-consensus 2. Because we only need these two associated types, not the full Crypto typeclass.

Associated types

Instances4Crypto
  • Crypto CompactStandardCryptoDefined in kes-agent-crypto-1.2.0.0 · Cardano.KESAgent.Protocols.StandardCrypto
  • Crypto MockCryptoDefined in kes-agent-crypto-1.2.0.0 · Cardano.KESAgent.Protocols.StandardCrypto
  • Crypto SingleCryptoDefined in kes-agent-crypto-1.2.0.0 · Cardano.KESAgent.Protocols.StandardCrypto
  • Crypto StandardCryptoDefined in kes-agent-crypto-1.2.0.0 · Cardano.KESAgent.Protocols.StandardCrypto