Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
Documentation
data MockCryptoCompatByron Source #
A replacement for MockCrypto
that is compatible
with bootstrapping from Byron.
- The Ouroboros.Consensus.Cardano.CanHardFork translation requires that
ADDRHASH
has the same bit size as Byron address hashes (ie 224); that's why we useBlake2b_224
here. - Similarly,
HASH
has to have the same bit size as Byron header hashes (ie 256), that's why we useBlake2b_256
here. - The
cardano-ledger-shelley
package currently requires that @DSIGN
~Ed25519DSIGN
in order to use Byron bootstrap witnesses. - We can still use mock KES and mock VRF.
Note that many Shelley generators are not instantiated to MockShelley
but
are constrained by
. CanMock
era
satisfies this constraint, allowing us to reuse these generators for Cardano.ShelleyEra
MockCryptoCompatByron
Instances
Crypto MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
PraosCrypto MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
PraosCrypto MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
Arbitrary (Coherent (CardanoBlock MockCryptoCompatByron)) Source # | |
Arbitrary (CardanoBlock MockCryptoCompatByron) Source # | |
Arbitrary (CardanoHeader MockCryptoCompatByron) Source # | |
type ADDRHASH MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
type DSIGN MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
type HASH MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
type KES MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto | |
type VRF MockCryptoCompatByron Source # | |
Defined in Test.Consensus.Cardano.MockCrypto |