Repository navigation

Leios: omnibus for production-grade EB diffusion - #2282

Merged

ch1bo merged 61 commits into

leios-prototypefrom

nfrisby/leios-issue-1071-validate-cert-asap

Oct 9, 2026

Commits on Oct 9, 2026
- protocol: introduce BasePraos indirection
  
  nfrisby
  authored and
  ch1bo
  committed
  c98007b
- PraosWithLeios: introduce LeiosLedgerView
  
  nfrisby
  authored and
  ch1bo
  committed
  486df2b
- cabal&protocol: eliminate (9.12) warnings
  
  nfrisby
  authored and
  ch1bo
  committed
  4b57e65
- BlockToAdd: add blockPredecessorSlot field
  
  nfrisby
  authored and
  ch1bo
  committed
  6273947
- ChainSel: add precheckLeiosCert
  
  nfrisby
  authored and
  ch1bo
  committed
  0217d4f
- PraosWithLeios: add leiosHeaderChecks to updateChainDepState
  
  nfrisby
  authored and
  ch1bo
  committed
  a44f831
- Leios: add ChainSel events and upstream the datacon rendering from cardano-node
  
  nfrisby
  authored and
  ch1bo
  committed
  04d469f
- Ran CI formatters
  
  nfrisby
  authored and
  ch1bo
  committed
  5a8be9c
- Thin out Claude's latest comments
  
  nfrisby
  authored and
  ch1bo
  committed
  df8197b
- Integrate changes to upstream cardano-ledger PR
  
  nfrisby
  authored and
  ch1bo
  committed
  669de1d
- ThreadNet.Leios: fix flaky test via discard
  
  nfrisby
  authored and
  ch1bo
  committed
  045bbec
- consensus: enrich HeaderWithTime and improve its construction
  
  nfrisby
  authored and
  ch1bo
  committed
  c2dcdd3
- ChainSel: avoid forecasting for Leios cert
  
  nfrisby
  authored and
  ch1bo
  committed
  252ccad
- Fix formatting and hlint
  
  nfrisby
  authored and
  ch1bo
  committed
  96c170b
- ValidClaims: add design for ValidClaims startup logic to preserve Liveness
  
  nfrisby
  authored and
  ch1bo
  committed
  8a873bc
- ValidClaims: implement valid_claims_startup.md
  
  nfrisby
  authored and
  ch1bo
  committed
  8512b64
- valid_claims_startup.md: add Claude's TODO, needs human rewrite
  
  nfrisby
  authored and
  ch1bo
  committed
  a136059
- ValidClaims: refactor for better testing surface
  
  nfrisby
  authored and
  ch1bo
  committed
  2a7e72a
- ValidClaims: add TODO for currentForgotten data structure
  
  nfrisby
  authored and
  ch1bo
  committed
  43c6c23
- ValidClaims: add pure tests
  
  nfrisby
  authored and
  ch1bo
  committed
  8ff2fc8
- ValidClaims: add unit tests, via new LeiosTestBlock
  
  nfrisby
  authored and
  ch1bo
  committed
  c488650
- Leios: preparatory changes for the new test harness
  
  nfrisby
  authored and
  ch1bo
  committed
  bfe70fb
- LeiosFetch: the correct Recovery Path and a node-versus-env test for it
  
  nfrisby
  authored and
  ch1bo
  committed
  8dee79b
- Leios: disconnect from peers that claim committee equivocation
  
  nfrisby
  authored and
  ch1bo
  committed
  ce75eb7
- Leios: validate offers, and other improvements
  
  nfrisby
  authored and
  ch1bo
  committed
  b560af1
- LeiosFetch: test that a misstated transaction size is never certified
  
  nfrisby
  authored and
  ch1bo
  committed
  e9d36ae
- LeiosFetch: reject requests for bytes we don't have
  
  nfrisby
  authored and
  ch1bo
  committed
  df3d57c
- LeiosFetch: bound the (honest) pipelining depth
  
  nfrisby
  authored and
  ch1bo
  committed
  de08868
- noByteLimits: restore intended semantics
  
  nfrisby
  authored and
  ch1bo
  committed
  045ba55
- ChainSyncJumping: register Leios offers for Jumpers
  
  nfrisby
  authored and
  ch1bo
  committed
  c905dc3
- Config: allow default leiosMinOfferLead to be overriden
  
  nfrisby
  authored and
  ch1bo
  committed
  d42c2a9
- DO NOT MERGE EB size bound kludge 1
  
  nfrisby
  authored and
  ch1bo
  committed
  2bd168c
- LeiosNotify: disconnect if offer's size is too big
  
  nfrisby
  authored and
  ch1bo
  committed
  2990c49
- LeiosFetch: update expected size on cert-based refocus
  
  nfrisby
  authored and
  ch1bo
  committed
  4b18c08
- LeiosFetch: two bugfixes around multiple announcements of the same EbHash
  
  nfrisby
  authored and
  ch1bo
  committed
  7d98e9c
- LeiosFetch: recent changelog
  
  nfrisby
  authored and
  ch1bo
  committed
  ac28966
- Leios: move non-dep Leios checks out of updateChainDepState, for LeiosNotify handler
  
  nfrisby
  authored and
  ch1bo
  committed
  b710788
- Leios: update some stale comments
  
  nfrisby
  authored and
  ch1bo
  committed
  a827d7a
- Leios: update some stale changelog fragments
  
  nfrisby
  authored and
  ch1bo
  committed
  02a3b1f
- LeiosFetch: do not fetch closure of EB whose closure is too big
  
  nfrisby
  authored and
  ch1bo
  committed
  fd159c5
- Leios: consolidate Shelley ledger state projections
  
  nfrisby
  authored and
  ch1bo
  committed
  450c782
- LeiosFetch: regression test for bug Pascal Grange reported
  
  nfrisby
  authored and
  ch1bo
  committed
  75c4e3f
- LeiosNotify: write centrally-processed announcements to LeiosDb
  
  nfrisby
  authored and
  ch1bo
  committed
  5c1ae3b
- Add accidentally untracked changelog fragments
  
  nfrisby
  authored and
  ch1bo
  committed
  17d2280
- LeiosNotify: add Pascal Grange's test vectors
  
  nfrisby
  authored and
  ch1bo
  committed
  7e778cb
- Fix up pre-existing foldl' import warning, for all GHC versions
  
  nfrisby
  authored and
  ch1bo
  committed
  e372a6d
- Disable partiality warning in test module
  
  nfrisby
  authored and
  ch1bo
  committed
  8cfd3e4
- Trim comments about types chosen for the sake of GHCs older than 9.12
  
  nfrisby
  authored and
  ch1bo
  committed
  bdbf3b3
- consensus: naming TODO on topLevelConfigProtocol and ConsensusConfig
  
  nfrisby
  authored and
  ch1bo
  committed
  9cb6a56
- Separate Praos and Leios as `proto` types (broken past o-c-protocols)
  
  nfrisby
  authored and
  ch1bo
  committed
  c50335e
- Fixup build of rest of code
  
  nfrisby
  authored and
  ch1bo
  committed
  b541736
- InMemory: reject writeEbBody for unregistered points
  
  pgrange
  authored and
  ch1bo
  committed
  527b4d4
- Put PR S-R-Ps in cabal.project
  
  nfrisby
  authored and
  ch1bo
  committed
  c178aff
- InMemory: reject writeEbBody for unregistered points (#2387)
  ch1bo
  committed
  b6c417e
- consensus-test: build with GHC 9.6
  
  ch1bo
  and
  claude
  committed
  a49673a
- Put orphaned haddocks back on their declarations
  
  ch1bo
  and
  claude
  committed
  281deb0
- Leios: derive the committee from the ledger view only
  
  ch1bo
  and
  claude
  committed
  e67f31f
- LeiosNotify server: offer each part of an EB at most once per peer
  
  ch1bo
  and
  claude
  committed
  d9f70d2
- Forecast Dijkstra views from Conway with Dijkstra's Leios parameters
  
  ch1bo
  and
  claude
  committed
  fe62db4
- ChainDB: keep the immutable tip's cert when forgetting CertRBs at start-up
  
  ch1bo
  and
  claude
  committed
  36adfc6
- db-synthesizer: keep the replay fixture's references size within the wire limit
  
  ch1bo
  and
  claude
  committed
  b1cecfc

Commits

Commits on Oct 9, 2026