Repository navigation

Leios: new proto and header validation - #2354

Closed

ch1bo wants to merge 14 commits into

mainfrom

ch1bo/leios-header-validation

Commits on Oct 8, 2026
- protocol: parameterise Praos's header view by the signed body
  ch1bo
  committed
  966640e
- protocol: add Leios, an overlay on Praos
  ch1bo
  committed
  d97cff3
- protocol: track the announcement Leios certificates are checked against
  ch1bo
  committed
  a11cff5
- cardano: run Dijkstra on Leios
  ch1bo
  committed
  60dc5c2
- shelley: check a header's Leios certificate claim against the body
  ch1bo
  committed
  ed7b335
- shelley: make the Leios instances say they are Praos's
  ch1bo
  committed
  b25cc11
- Make haddocks more succinct
  ch1bo
  committed
  bac0162
- Update ledger for mkHeader{Body} with era-based memoization
  ch1bo
  committed
  cd2ea85
- Drop seedInitialStakeSnapshots
  ch1bo
  committed
  ba66f7c
- Pass era into mkHeader
  ch1bo
  committed
  7400fb5
- Changelog: cover the whole Leios protocol PR
  
  jasagredo
  authored and
  ch1bo
  committed
  2b6e60d
- Formatting and linting
  ch1bo
  committed
  433cd75
- Minor refactor and an explanation for toEraCBOR @ShelleyEra
  ch1bo
  committed
  fbf3fcb
Commits on Oct 9, 2026
- Update header.cddl and accept changes to golden ledger state
  ch1bo
  committed
  57556fd