Specified types for voting eligibility
Home /
Input Output /
ouroboros-leios
Feb 02, 6-7 AM (0)
Feb 02, 7-8 AM (0)
Feb 02, 8-9 AM (0)
Feb 02, 9-10 AM (0)
Feb 02, 10-11 AM (0)
Feb 02, 11-12 PM (0)
Feb 02, 12-1 PM (0)
Feb 02, 1-2 PM (1)
Feb 02, 2-3 PM (1)
Feb 02, 3-4 PM (0)
Feb 02, 4-5 PM (0)
Feb 02, 5-6 PM (0)
Feb 02, 6-7 PM (0)
Feb 02, 7-8 PM (0)
Feb 02, 8-9 PM (1)
Feb 02, 9-10 PM (0)
Feb 02, 10-11 PM (0)
Feb 02, 11-12 AM (0)
Feb 03, 12-1 AM (0)
Feb 03, 1-2 AM (0)
Feb 03, 2-3 AM (0)
Feb 03, 3-4 AM (0)
Feb 03, 4-5 AM (0)
Feb 03, 5-6 AM (0)
Feb 03, 6-7 AM (1)
Feb 03, 7-8 AM (0)
Feb 03, 8-9 AM (1)
Feb 03, 9-10 AM (0)
Feb 03, 10-11 AM (0)
Feb 03, 11-12 PM (0)
Feb 03, 12-1 PM (0)
Feb 03, 1-2 PM (0)
Feb 03, 2-3 PM (0)
Feb 03, 3-4 PM (1)
Feb 03, 4-5 PM (0)
Feb 03, 5-6 PM (2)
Feb 03, 6-7 PM (1)
Feb 03, 7-8 PM (0)
Feb 03, 8-9 PM (0)
Feb 03, 9-10 PM (0)
Feb 03, 10-11 PM (0)
Feb 03, 11-12 AM (0)
Feb 04, 12-1 AM (0)
Feb 04, 1-2 AM (0)
Feb 04, 2-3 AM (0)
Feb 04, 3-4 AM (0)
Feb 04, 4-5 AM (0)
Feb 04, 5-6 AM (0)
Feb 04, 6-7 AM (0)
Feb 04, 7-8 AM (0)
Feb 04, 8-9 AM (1)
Feb 04, 9-10 AM (0)
Feb 04, 10-11 AM (0)
Feb 04, 11-12 PM (0)
Feb 04, 12-1 PM (14)
Feb 04, 1-2 PM (2)
Feb 04, 2-3 PM (0)
Feb 04, 3-4 PM (0)
Feb 04, 4-5 PM (0)
Feb 04, 5-6 PM (0)
Feb 04, 6-7 PM (0)
Feb 04, 7-8 PM (0)
Feb 04, 8-9 PM (0)
Feb 04, 9-10 PM (0)
Feb 04, 10-11 PM (0)
Feb 04, 11-12 AM (0)
Feb 05, 12-1 AM (0)
Feb 05, 1-2 AM (0)
Feb 05, 2-3 AM (0)
Feb 05, 3-4 AM (0)
Feb 05, 4-5 AM (0)
Feb 05, 5-6 AM (0)
Feb 05, 6-7 AM (0)
Feb 05, 7-8 AM (0)
Feb 05, 8-9 AM (0)
Feb 05, 9-10 AM (1)
Feb 05, 10-11 AM (0)
Feb 05, 11-12 PM (0)
Feb 05, 12-1 PM (1)
Feb 05, 1-2 PM (0)
Feb 05, 2-3 PM (2)
Feb 05, 3-4 PM (0)
Feb 05, 4-5 PM (0)
Feb 05, 5-6 PM (0)
Feb 05, 6-7 PM (0)
Feb 05, 7-8 PM (0)
Feb 05, 8-9 PM (0)
Feb 05, 9-10 PM (2)
Feb 05, 10-11 PM (0)
Feb 05, 11-12 AM (1)
Feb 06, 12-1 AM (0)
Feb 06, 1-2 AM (0)
Feb 06, 2-3 AM (0)
Feb 06, 3-4 AM (0)
Feb 06, 4-5 AM (0)
Feb 06, 5-6 AM (0)
Feb 06, 6-7 AM (0)
Feb 06, 7-8 AM (0)
Feb 06, 8-9 AM (0)
Feb 06, 9-10 AM (0)
Feb 06, 10-11 AM (0)
Feb 06, 11-12 PM (0)
Feb 06, 12-1 PM (2)
Feb 06, 1-2 PM (0)
Feb 06, 2-3 PM (0)
Feb 06, 3-4 PM (1)
Feb 06, 4-5 PM (2)
Feb 06, 5-6 PM (1)
Feb 06, 6-7 PM (2)
Feb 06, 7-8 PM (1)
Feb 06, 8-9 PM (1)
Feb 06, 9-10 PM (1)
Feb 06, 10-11 PM (0)
Feb 06, 11-12 AM (0)
Feb 07, 12-1 AM (0)
Feb 07, 1-2 AM (0)
Feb 07, 2-3 AM (0)
Feb 07, 3-4 AM (0)
Feb 07, 4-5 AM (0)
Feb 07, 5-6 AM (0)
Feb 07, 6-7 AM (0)
Feb 07, 7-8 AM (0)
Feb 07, 8-9 AM (0)
Feb 07, 9-10 AM (0)
Feb 07, 10-11 AM (0)
Feb 07, 11-12 PM (0)
Feb 07, 12-1 PM (0)
Feb 07, 1-2 PM (0)
Feb 07, 2-3 PM (0)
Feb 07, 3-4 PM (0)
Feb 07, 4-5 PM (0)
Feb 07, 5-6 PM (0)
Feb 07, 6-7 PM (0)
Feb 07, 7-8 PM (0)
Feb 07, 8-9 PM (0)
Feb 07, 9-10 PM (0)
Feb 07, 10-11 PM (0)
Feb 07, 11-12 AM (0)
Feb 08, 12-1 AM (0)
Feb 08, 1-2 AM (0)
Feb 08, 2-3 AM (0)
Feb 08, 3-4 AM (0)
Feb 08, 4-5 AM (0)
Feb 08, 5-6 AM (0)
Feb 08, 6-7 AM (0)
Feb 08, 7-8 AM (0)
Feb 08, 8-9 AM (0)
Feb 08, 9-10 AM (0)
Feb 08, 10-11 AM (0)
Feb 08, 11-12 PM (0)
Feb 08, 12-1 PM (0)
Feb 08, 1-2 PM (0)
Feb 08, 2-3 PM (0)
Feb 08, 3-4 PM (0)
Feb 08, 4-5 PM (0)
Feb 08, 5-6 PM (0)
Feb 08, 6-7 PM (0)
Feb 08, 7-8 PM (0)
Feb 08, 8-9 PM (1)
Feb 08, 9-10 PM (0)
Feb 08, 10-11 PM (0)
Feb 08, 11-12 AM (0)
Feb 09, 12-1 AM (0)
Feb 09, 1-2 AM (0)
Feb 09, 2-3 AM (0)
Feb 09, 3-4 AM (0)
Feb 09, 4-5 AM (0)
Feb 09, 5-6 AM (0)
Feb 09, 6-7 AM (0)
45 commits this week
Feb 02, 2026
-
Feb 09, 2026
Proved that making votes are checked
Proved well formed making of votes
Spec for making pools keys and proof they are well formed
Proved that all valid registries are also checked
Simplified checked registration proof
Shortened proofs for certificate weight
Proof of persistent key membership in epoch
Proof of non-persistent key membership in epoch
Updated reference to DeltaQ backend
Logbook: Add excalidraw drawings of alternative leios block structure
Proved that deregistration preserves checkedness
Antithesis immdb-server container infrastructure
Dockerfile and scripts for building immdb-server container for Antithesis testing: - Dockerfile.immdb-server: Multi-stage build using Blink Labs base image, builds immdb-server and leiosdemo202510 from ouroboros-consensus leios-prototype branch - init-upstream.sh: Generates leios.db and schedule.json using leiosdemo202510, extracts immutable chain data, patches genesis paths - run-upstream.sh: Runtime script with optional WAN emulation Signed-off-by: Chris Gianelloni <[email protected]>
Antithesis cardano-node container infrastructure
Dockerfile and scripts for building cardano-node-leios container for Antithesis testing: - Dockerfile.cardano-node: Multi-stage build using Blink Labs base image, builds cardano-node from leios-prototype branch with patched ouroboros-consensus reference for LeiosDemoDb support - init-node0.sh: Initializes node0 data directory with leios.db, topology.json, and patched genesis paths - init-downstream.sh: Initializes downstream node connecting to node0 - run-cardano-node.sh: Runtime script with optional WAN emulation - setup-wan-emulation.sh: tc-based network shaping for local testing Signed-off-by: Chris Gianelloni <[email protected]>
Proof for transitivity of pool index
Proof of length of persistent seat count
Specified finding pool index from pool key hash
Updated README
Fix shellcheck warnings
Bump ouroboros-consensus
Update LeiosDB schema
This requires the latest leios-prototype branches to work.
Increase mempool
Also convert config to yaml for it allows comments (this re-enables a lot of tracers)
Do not restart failing nodes