ouroboros-consensus-protocol-0.1.0.1: Cardano consensus protocols.
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.Protocol.Praos.Translate

Orphan instances

( HASH c1 ~ HASH c2, ADDRHASH c1 ~ ADDRHASH c2, VerKeyDSIGN c1 ~ VerKeyDSIGN c2, VerKeyVRF c1 ~ VerKeyVRF c2) => TranslateProto ( TPraos c1) ( Praos c2) Source #

We can translate between TPraos and Praos, provided:

  • They share the same HASH algorithm
  • They share the same ADDRHASH algorithm
  • They share the same DSIGN verification keys
  • They share the same VRF verification keys
Instance details

Methods

translateConsensusConfig :: ConsensusConfig ( TPraos c1) -> ConsensusConfig ( Praos c2) Source #

translateTickedLedgerView :: Ticked ( LedgerView ( TPraos c1)) -> Ticked ( LedgerView ( Praos c2)) Source #

translateChainDepState :: ChainDepState ( TPraos c1) -> ChainDepState ( Praos c2) Source #