Repository navigation

Introduce the Praos2 protocol: ie Praos plus the Leios overlay - #2386

Merged

nfrisby merged 19 commits into

mainfrom

nfrisby/leios-main-proto

Oct 9, 2026

Commits on Oct 9, 2026
- Praos2: introduce Praos2, via shared types and functions
  nfrisby
  committed
  8963273
- PolyPraos: don't take ConsensusConfig (Praos c) directly
  nfrisby
  committed
  0dbbf68
- PolyPraos: isolate it in its own module
  nfrisby
  committed
  3c617ad
- S-R-P for cardano-ledger diff
  nfrisby
  committed
  922fc87
- Don't fix the mkHeader call in Praos2 to DijkstraEra
  
  jasagredo
  authored and
  nfrisby
  committed
  13876cf
- Pull cardano-ledger SRP from `master`
  
  jasagredo
  authored and
  nfrisby
  committed
  c510f99
- Remove seedInitialStakeSnapshots
  
  jasagredo
  authored and
  nfrisby
  committed
  eb2b792
- Use nesStakePoolDistrG instead of the deleted nesPd
  
  jasagredo
  authored and
  nfrisby
  committed
  d6ac79f
- Use `mkHeaderBody` insted of the now non-bidirectional `HeaderBody`
  
  jasagredo
  authored and
  nfrisby
  committed
  56a57cb
- Regenerate golden files
  
  jasagredo
  authored and
  nfrisby
  committed
  3549635
- Dijkstra uses its header type in CDDL
  
  jasagredo
  authored and
  nfrisby
  committed
  3a1f4bc
- Changelog fragment for Praos2
  
  jasagredo
  authored and
  nfrisby
  committed
  aae22be
- Style: put kind signature next to ForecastsLeios
  
  jasagredo
  authored and
  nfrisby
  committed
  4e3637b
- HLint: redundant pragma
  
  jasagredo
  authored and
  nfrisby
  committed
  0b3ef71
- LeiosOnly: add WhenLeios and VoidUnlessLeios type synonyms
  nfrisby
  committed
  aba3dab
- Praos2: blockMatchesHeader and add Shelley Integrity test
  
  nfrisby
  and
  ch1bo
  committed
  ca727c6
- TypeSwitch: fixup stale Haddock
  nfrisby
  committed
  83cad3a
- PolyPraos: improve name of ForecastLeios, which is not Leios specific
  nfrisby
  committed
  d49d3de
- Update changelog fragment
  nfrisby
  committed
  c7d7902

Navigation Menu

Repository navigation

Introduce the Praos2 protocol: ie Praos plus the Leios overlay - #2386

Introduce the Praos2 protocol: ie Praos plus the Leios overlay#2386
nfrisby merged 19 commits into
mainfrom
nfrisby/leios-main-proto

Commits on Oct 9, 2026

Praos2: introduce Praos2, via shared types and functions

PolyPraos: don't take ConsensusConfig (Praos c) directly

PolyPraos: isolate it in its own module

S-R-P for cardano-ledger diff

Don't fix the mkHeader call in Praos2 to DijkstraEra

Pull cardano-ledger SRP from `master`

Remove seedInitialStakeSnapshots

Use nesStakePoolDistrG instead of the deleted nesPd

Use `mkHeaderBody` insted of the now non-bidirectional `HeaderBody`

Regenerate golden files

Dijkstra uses its header type in CDDL

Changelog fragment for Praos2

Style: put kind signature next to ForecastsLeios

HLint: redundant pragma

LeiosOnly: add WhenLeios and VoidUnlessLeios type synonyms

Praos2: blockMatchesHeader and add Shelley Integrity test

TypeSwitch: fixup stale Haddock

PolyPraos: improve name of ForecastLeios, which is not Leios specific

Update changelog fragment