search

IntersectMBO / ouroboros-network

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
https://ouroboros-network.cardano.intersectmbo.org
Apache License 2.0
276 stars 86 forks source link

Provide links to the tests mentioned in script/prolog #4305

Closed dnadales closed 1 year ago

dnadales commented 1 year ago 
* The hard fork combinator transitioning from a mock ledger @A@ to a mock ledger @B@;
  these mock ledgers are absolutely minimal ledgers: the only transaction supported
  on the @A@ ledger is "initiate transition to @B@", and the @B@ ledger can only contain
  blocks with a header only, no body at all.
* @HardForkBlock '[Byron, Shelley]@: the hard fork combinator instantiated with
  the Byron and Shelley ledgers, running @PBFT@ before the transition and
  @TPraos@ after.
dnadales commented 1 year ago

Relevant PR comment https://github.com/input-output-hk/ouroboros-network/pull/4248/files/5b50d12a3b402b7660dcf5bee33edd176ea137e0#r1084114966

dnadales commented 1 year ago

This issue is stale.