May 11, 8-9 AM (34)
May 11, 9-10 AM (77)
May 11, 10-11 AM (58)
May 11, 11-12 PM (78)
May 11, 12-1 PM (84)
May 11, 1-2 PM (102)
May 11, 2-3 PM (41)
May 11, 3-4 PM (27)
May 11, 4-5 PM (24)
May 11, 5-6 PM (26)
May 11, 6-7 PM (42)
May 11, 7-8 PM (53)
May 11, 8-9 PM (57)
May 11, 9-10 PM (22)
May 11, 10-11 PM (49)
May 11, 11-12 AM (19)
May 12, 12-1 AM (2)
May 12, 1-2 AM (2)
May 12, 2-3 AM (3)
May 12, 3-4 AM (4)
May 12, 4-5 AM (8)
May 12, 5-6 AM (11)
May 12, 6-7 AM (17)
May 12, 7-8 AM (25)
May 12, 8-9 AM (26)
May 12, 9-10 AM (35)
May 12, 10-11 AM (82)
May 12, 11-12 PM (98)
May 12, 12-1 PM (38)
May 12, 1-2 PM (69)
May 12, 2-3 PM (54)
May 12, 3-4 PM (41)
May 12, 4-5 PM (57)
May 12, 5-6 PM (40)
May 12, 6-7 PM (24)
May 12, 7-8 PM (24)
May 12, 8-9 PM (18)
May 12, 9-10 PM (8)
May 12, 10-11 PM (40)
May 12, 11-12 AM (19)
May 13, 12-1 AM (10)
May 13, 1-2 AM (2)
May 13, 2-3 AM (5)
May 13, 3-4 AM (2)
May 13, 4-5 AM (5)
May 13, 5-6 AM (29)
May 13, 6-7 AM (52)
May 13, 7-8 AM (43)
May 13, 8-9 AM (44)
May 13, 9-10 AM (21)
May 13, 10-11 AM (22)
May 13, 11-12 PM (47)
May 13, 12-1 PM (25)
May 13, 1-2 PM (44)
May 13, 2-3 PM (57)
May 13, 3-4 PM (42)
May 13, 4-5 PM (33)
May 13, 5-6 PM (30)
May 13, 6-7 PM (51)
May 13, 7-8 PM (33)
May 13, 8-9 PM (9)
May 13, 9-10 PM (24)
May 13, 10-11 PM (30)
May 13, 11-12 AM (11)
May 14, 12-1 AM (18)
May 14, 1-2 AM (3)
May 14, 2-3 AM (4)
May 14, 3-4 AM (21)
May 14, 4-5 AM (11)
May 14, 5-6 AM (18)
May 14, 6-7 AM (18)
May 14, 7-8 AM (47)
May 14, 8-9 AM (53)
May 14, 9-10 AM (35)
May 14, 10-11 AM (20)
May 14, 11-12 PM (114)
May 14, 12-1 PM (54)
May 14, 1-2 PM (151)
May 14, 2-3 PM (32)
May 14, 3-4 PM (17)
May 14, 4-5 PM (14)
May 14, 5-6 PM (37)
May 14, 6-7 PM (12)
May 14, 7-8 PM (22)
May 14, 8-9 PM (37)
May 14, 9-10 PM (35)
May 14, 10-11 PM (27)
May 14, 11-12 AM (14)
May 15, 12-1 AM (18)
May 15, 1-2 AM (15)
May 15, 2-3 AM (5)
May 15, 3-4 AM (3)
May 15, 4-5 AM (13)
May 15, 5-6 AM (14)
May 15, 6-7 AM (10)
May 15, 7-8 AM (31)
May 15, 8-9 AM (23)
May 15, 9-10 AM (52)
May 15, 10-11 AM (71)
May 15, 11-12 PM (70)
May 15, 12-1 PM (73)
May 15, 1-2 PM (73)
May 15, 2-3 PM (66)
May 15, 3-4 PM (26)
May 15, 4-5 PM (12)
May 15, 5-6 PM (30)
May 15, 6-7 PM (29)
May 15, 7-8 PM (25)
May 15, 8-9 PM (8)
May 15, 9-10 PM (34)
May 15, 10-11 PM (34)
May 15, 11-12 AM (25)
May 16, 12-1 AM (2)
May 16, 1-2 AM (2)
May 16, 2-3 AM (3)
May 16, 3-4 AM (3)
May 16, 4-5 AM (0)
May 16, 5-6 AM (6)
May 16, 6-7 AM (2)
May 16, 7-8 AM (10)
May 16, 8-9 AM (1)
May 16, 9-10 AM (2)
May 16, 10-11 AM (1)
May 16, 11-12 PM (13)
May 16, 12-1 PM (11)
May 16, 1-2 PM (8)
May 16, 2-3 PM (15)
May 16, 3-4 PM (10)
May 16, 4-5 PM (2)
May 16, 5-6 PM (2)
May 16, 6-7 PM (2)
May 16, 7-8 PM (10)
May 16, 8-9 PM (6)
May 16, 9-10 PM (4)
May 16, 10-11 PM (27)
May 16, 11-12 AM (42)
May 17, 12-1 AM (7)
May 17, 1-2 AM (1)
May 17, 2-3 AM (0)
May 17, 3-4 AM (1)
May 17, 4-5 AM (0)
May 17, 5-6 AM (3)
May 17, 6-7 AM (2)
May 17, 7-8 AM (1)
May 17, 8-9 AM (1)
May 17, 9-10 AM (1)
May 17, 10-11 AM (6)
May 17, 11-12 PM (6)
May 17, 12-1 PM (4)
May 17, 1-2 PM (5)
May 17, 2-3 PM (9)
May 17, 3-4 PM (4)
May 17, 4-5 PM (8)
May 17, 5-6 PM (14)
May 17, 6-7 PM (9)
May 17, 7-8 PM (1)
May 17, 8-9 PM (4)
May 17, 9-10 PM (2)
May 17, 10-11 PM (20)
May 17, 11-12 AM (13)
May 18, 12-1 AM (10)
May 18, 1-2 AM (4)
May 18, 2-3 AM (5)
May 18, 3-4 AM (9)
May 18, 4-5 AM (14)
May 18, 5-6 AM (2)
May 18, 6-7 AM (37)
May 18, 7-8 AM (28)
May 18, 8-9 AM (15)
4,187 commits this week
May 11, 2026
-
May 18, 2026
Patch Head validator by parametarizing it with exspected CRS script hash
Signed-off-by: Sasha Bogicevic <[email protected]>
Leios demo: ImmDBServer schedule-driven Leios + schedule generator
Adapt the ImmDBServer tool to drive a Leios demo from a pre-recorded schedule: replay EBs / cert-blocks at slot timestamps and serve them over the LeiosNotify / LeiosFetch mini-protocols introduced in the diffusion chunk. The actual schedule generator lives at 'ouroboros-consensus/app/leios-schedule-gen.hs' (committed with the diffusion chunk for cabal layout reasons). - 'immdb-server' grows --leios-db / --leios-schedule / --initial-slot / --initial-time / --address. - 'Cardano.Tools.ImmDBServer.Diffusion' adds the LeiosSchedule type and a scheduler thread that ticks through schedule entries. - 'Cardano.Tools.ImmDBServer.MiniProtocols' grows LeiosNotify / LeiosFetch responders, send/recv tracers, and a slot-delay aware chainSyncServer. Co-Authored-By: Claude Opus 4.7 <[email protected]>
Leios voting: LeiosVoteState + leiosVoting thread + threadnet test
Add the voting capability on top of the diffusion layer: an EB becomes eligible for certification once enough peers have voted 'yes' on it (via the 'MsgLeiosVotes' message on the LeiosNotify protocol from the previous chunk). Voting state - 'LeiosVoteState' (new module) — aggregated vote state across all peers, with 'addVote' / 'subscribeVotes' write/read API. - 'NodeKernel.getLeiosVoteState' field plus the 'NodeKernelArgs.leiosVotingKey' / 'NodeKernel.leiosVoting' background thread that subscribes to local 'AcquiredEbTxs' notifications and emits one vote per acquired EB. LeiosNotify wiring - The 'MsgLeiosVotes' server case now calls 'addVote' on each incoming vote (replacing the chunk-2 no-op stub). - The notify server multiplexes EB offers with a 'processVote' loop that drains 'subscribeVotes leiosVoteState' and publishes 'MsgLeiosVotes' to peers. Tests - 'Test.LeiosVoteState' (foundation-level unit tests). - 'Test.ThreadNet.Leios' — end-to-end threadnet driver that asserts cert blocks happen, no vacuous runs, gap > 'minCertificationGap', all nodes converge, and the post-resolve replay matches the live ledger. cabal - Exposes 'LeiosVoteState'; wires 'Test.LeiosVoteState' / 'Test.ThreadNet.Leios' into the test suites. Co-Authored-By: Claude Opus 4.7 <[email protected]>
Leios mempool access + forging
Foundations for the Leios prototype's production side, plus the
Dijkstra-era forging path that produces EBs / cert blocks.
Foundations
- LeiosDemo{Types,Logic,Exception} — placeholder types (EbAnnouncement,
LeiosPoint, TxHash, LeiosVote), EB-forging logic, exception type.
- LeiosDemoDb / LeiosDemoDb.{Common,InMemory,SQLite} — pluggable
storage for forged EBs + cert lookup.
- ouroboros-consensus.cabal exposes the foundation modules; the
consensus-test suite gains Test.LeiosDemoDb and Test.LeiosDemoTypes;
new leios-db-bench benchmark.
- cabal.project pins cardano-ledger at leios-prototype-remake-on-chap
for 'Maybe LeiosCert' on the Dijkstra block body.
Mempool access (cumulative tx bytes)
- 'shelleyCumulativeTxBytes :: Word64' on ShelleyLedgerState +
TickedShelleyLedgerState, threaded through CBOR + the tick step.
- HFC mempool threads it per-era so the kernel can read the running
total of bytes that have entered the ledger.
Forging — Praos header EB announcement
- 'hbLeiosEbAnnouncement :: !(StrictMaybe EbAnnouncement)' on the
Praos block header (chunked CBOR-after the existing field set).
- 'PraosState.praosStateLeiosAnnouncement' / 'praosStateLastSlot'
on the Praos chain-dep state, written non-stickily on each tick.
- 'ProtocolHeaderSupportsKES.protocolStateLeiosInfo' projects the
pair out; TPraos returns Nothing. No certify flag — the
certificate, when forged, lives on the block body (see ledger PR).
Forging — Dijkstra-era 'decideLeios'
- 'ForgeBlockArgs' extended with fbEbTxs / fbLeiosDb /
fbCurrentTickedLedgerState / fbChainDepState / fbLeiosTracer so
the forger has read access to the EB-candidate tx pool, the
LeiosDb (to look up certificates and store newly-forged EBs),
the ticked ledger state and the chain-dep state.
- Dijkstra-only forging path: 'decideLeios' returns either a
Leios certificate (when a previously-announced EB has gap >
'minCertificationGap' and is locally available with a cert)
or a new EB announcement (forged from fbEbTxs).
- Cert-block forging emits an empty tx sequence on the wire; the
full transaction list is re-attached at apply time by
resolveLeiosBlock (see resolving chunk).
- ForgeBlockArgs adaptation propagates through Byron, ByronDual,
Mock and Shelley forging.
Plumbing
- ChainDB.Impl{,.Args} + LedgerDB{,.Args} grow a LeiosDbConnection
so downstream chunks (diffusion, resolving) can reach it via
ChainDbArgs / LedgerDbArgs.
Co-Authored-By: Claude Opus 4.7 <[email protected]>
Leios diffusion: LeiosNotify + LeiosFetch mini-protocols + Reception
Wire LeiosNotify and LeiosFetch mini-protocols into the node-to-node
diffusion layer, plus the consensus-side adaptation to the network
fork's BearerBytes + arrival-time 'Reception' API.
Mini-protocols (live in consensus, not network)
- LeiosDemoOnlyTestFetch — request/response for EB bodies and the
accompanying tx closures.
- LeiosDemoOnlyTestNotify — server pushes 'MsgLeiosBlockOffer' /
'MsgLeiosBlockTxsOffer' as EBs arrive, plus 'MsgLeiosVotes' which
this chunk handles as a no-op stub (the voting chunk replaces it).
- New 'NodeKernel' fields: 'getLeiosDB', 'getLeiosPeersVars',
'getLeiosOutstanding', 'getLeiosReady'. The 'leiosFetchLogic'
thread (0.5s loop) reads peers' offerings, runs the fetch-decision
iteration and dispatches fetches.
Network wiring
- 'Ouroboros.Consensus.Network.NodeToNode' grows codecs + handlers
for both protocols and threads the LeiosDbConnection through to the
inbound side.
- 'Ouroboros.Consensus.Node' opens the in-memory LeiosDb and passes
the handle + connection to the kernel / NTN / ChainDB layers.
BearerBytes + Reception migration
- All codec entry points drop the 'dataSize :: bytes -> Word'
argument (now a 'BearerBytes' constraint).
- 'recv' returns 'Maybe (Reception a)' carrying per-chunk arrival
times; the threadnet harness wraps reads via 'MkReception
IntMap.empty', the PeerSimulator strips via 'fmap received'.
- 'TraceSendRecv' grows arrival-time on the receive side
('TraceRecvMsg :: Maybe Time -> AnyMessage ps -> ...').
Threadnet harness
- 'MinimalChainDbArgs.mcdbLeiosDbVar' backs the in-memory LeiosDb
with a TVar so the test infrastructure can inspect it.
cabal
- Exposes 'LeiosDemoOnlyTestFetch' / 'LeiosDemoOnlyTestNotify' and
adds network-mux, pretty-simple, typed-protocols:cborg deps.
Co-Authored-By: Claude Opus 4.7 <[email protected]>
Leios resolving + chain inclusion
Plumb a 'ResolveLeiosBlock' typeclass through the block-application
pipeline so a Dijkstra-era block carrying 'SJust LeiosCert' has its
(empty) tx list spliced in from the EB closure in the LeiosDb before
validation. Plumbing only — no chain-selection rule change.
- 'Storage.LedgerDB.Forker' defines 'ResolveLeiosBlock' as a typeclass
with a no-op default, and the 'applyBlock' hook calls
'resolveLeiosBlock leiosDb hdrSt b' before
'tickThen{Apply,Reapply}'. The forker reads the 'ExtLedgerState' to
extract 'headerState' for the splice (used to look up the previous
EB announcement on the chain-dep state).
- 'Storage.LedgerDB.V2' threads 'LeiosDbConnection' alongside the
existing args so the new 'applyBlock' signature reaches the V2
pipeline.
- Explicit no-op instances for every block type that doesn't carry
Leios: 'ByronBlock', 'DualBlock', 'ShelleyBlock proto era',
'HardForkBlock xs' (OVERLAPPABLE), 'TestBlockWith ptype', the
storage-test 'TestBlock', the mock 'SimpleBlock''.
- Real-work instance: 'ShelleyBlock (Praos c) DijkstraEra' splices the
EB closure from the previously-announced point (looked up via
'praosStateLeiosAnnouncement' + 'praosStateLastSlot' on the Praos
chain-dep state).
- 'Ouroboros.Consensus.Cardano.Block' routes per-era dispatch to the
appropriate instance.
Co-Authored-By: Claude Opus 4.7 <[email protected]>
chore: bump versions to 1.2.2
Refactor gov/proposals/v0 namespace definition to include the proposal order
Update cardano-cls repository tag
Reorganise herald actions
Add cabal-cache and grpc-deps actions from cardano-api
Implement version-file support
Restructure herald spec into user stories and ADRs
fixup: disconnection tests
Failing mutation proving attacker could use fake crs reference input
Signed-off-by: Sasha Bogicevic <[email protected]>
chore(mithril-stm): bump version and update changelog
Add entities/accounts/v0 namespace
Update cardano-cls repository tag
Leios N: Reception arrival-time on recv (demo-tuning)
Wrap `Channel m a` recv values in a new `Reception a = MkReception !(IntMap Time) !a`, recording per-chunk arrival times. In the mux demuxer the chunk's arrival time is paired with its starting byte offset; codec/driver layers either strip the time map (the codec sees only bytes) or propagate it through `wrapMiniProtocolTrailing` at the mini-protocol callback boundary. Tests/demos/benches use `IntMap.empty` when synthesising trailing. This is the network half of the November Leios demo's arrival-time plumbing; consumers (e.g. Praos block-arrival tracing on the consensus side) will be wired up separately. Co-Authored-By: Claude Opus 4.7 <[email protected]>
Drop unused Data.ByteString.Lazy / Data.List / Data.IntMap imports
Upstream cleanup, not Leios-specific: eight unused-import warnings that
upstream's own ghc-options promote to errors via 'nix/ouroboros-network.nix'
('-Werror' on forAllProjectPackages). They've been present at the
'main-peras-5202-merged' SHA that cardano-node and ouroboros-consensus
master both consume; surface when downstream haskell.nix builds also
inherit `-Werror`.
Affected files (one unused qualified import each):
- framework/lib/Ouroboros/Network/Protocol/Handshake/Codec.hs (BL)
- framework/tests-lib/.../ConnectionManager/Experiments.hs (LBS)
- framework/io-tests/.../Driver.hs (List)
- framework/io-tests/.../Socket.hs (IntMap)
- tests/lib/.../TxSubmission/AppV1.hs (BSL)
- tests/lib/.../TxSubmission/AppV2.hs (BSL)
- protocols/tests-lib/.../KeepAlive/Test.hs (BL)
- protocols/tests-lib/.../PeerSharing/Test.hs (BL)
Verified with 'cabal clean && cabal build all --ghc-options=-Werror' →
exit 0.
Co-Authored-By: Claude Opus 4.7 <[email protected]>
L1: Add Maybe LeiosCert on DijkstraBody (Dijkstra-only)
Introduce 'Maybe LeiosCert' (mirrored after the existing 'Maybe PerasCert') as an optional field on the Dijkstra-era 'BlockBody'. Other eras are unaffected — this is the entire Leios-related ledger changes from leios-prototype at the time of the remake.
add Haskell Benchmark (customSmallerIsBetter) benchmark result for f04318b1bf15e7115373b780f8447b76e9d6c4f1
Use precomputed plutus languages as argument to `mkScriptIntegrity`