Enforce issue-counter constraint
Home /
Input Output /
ouroboros-leios-sim
Jan 30, 7-8 AM (0)
Jan 30, 8-9 AM (0)
Jan 30, 9-10 AM (0)
Jan 30, 10-11 AM (0)
Jan 30, 11-12 PM (0)
Jan 30, 12-1 PM (0)
Jan 30, 1-2 PM (0)
Jan 30, 2-3 PM (1)
Jan 30, 3-4 PM (0)
Jan 30, 4-5 PM (0)
Jan 30, 5-6 PM (0)
Jan 30, 6-7 PM (0)
Jan 30, 7-8 PM (0)
Jan 30, 8-9 PM (3)
Jan 30, 9-10 PM (0)
Jan 30, 10-11 PM (2)
Jan 30, 11-12 AM (0)
Jan 31, 12-1 AM (1)
Jan 31, 1-2 AM (1)
Jan 31, 2-3 AM (0)
Jan 31, 3-4 AM (0)
Jan 31, 4-5 AM (0)
Jan 31, 5-6 AM (0)
Jan 31, 6-7 AM (0)
Jan 31, 7-8 AM (0)
Jan 31, 8-9 AM (0)
Jan 31, 9-10 AM (0)
Jan 31, 10-11 AM (0)
Jan 31, 11-12 PM (0)
Jan 31, 12-1 PM (0)
Jan 31, 1-2 PM (0)
Jan 31, 2-3 PM (0)
Jan 31, 3-4 PM (0)
Jan 31, 4-5 PM (0)
Jan 31, 5-6 PM (0)
Jan 31, 6-7 PM (0)
Jan 31, 7-8 PM (0)
Jan 31, 8-9 PM (0)
Jan 31, 9-10 PM (0)
Jan 31, 10-11 PM (0)
Jan 31, 11-12 AM (0)
Feb 01, 12-1 AM (0)
Feb 01, 1-2 AM (0)
Feb 01, 2-3 AM (0)
Feb 01, 3-4 AM (0)
Feb 01, 4-5 AM (0)
Feb 01, 5-6 AM (0)
Feb 01, 6-7 AM (0)
Feb 01, 7-8 AM (0)
Feb 01, 8-9 AM (0)
Feb 01, 9-10 AM (0)
Feb 01, 10-11 AM (0)
Feb 01, 11-12 PM (0)
Feb 01, 12-1 PM (0)
Feb 01, 1-2 PM (0)
Feb 01, 2-3 PM (0)
Feb 01, 3-4 PM (0)
Feb 01, 4-5 PM (0)
Feb 01, 5-6 PM (0)
Feb 01, 6-7 PM (0)
Feb 01, 7-8 PM (0)
Feb 01, 8-9 PM (0)
Feb 01, 9-10 PM (0)
Feb 01, 10-11 PM (0)
Feb 01, 11-12 AM (0)
Feb 02, 12-1 AM (0)
Feb 02, 1-2 AM (0)
Feb 02, 2-3 AM (0)
Feb 02, 3-4 AM (0)
Feb 02, 4-5 AM (0)
Feb 02, 5-6 AM (0)
Feb 02, 6-7 AM (3)
Feb 02, 7-8 AM (2)
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 (0)
Feb 02, 2-3 PM (1)
Feb 02, 3-4 PM (1)
Feb 02, 4-5 PM (0)
Feb 02, 5-6 PM (1)
Feb 02, 6-7 PM (1)
Feb 02, 7-8 PM (1)
Feb 02, 8-9 PM (0)
Feb 02, 9-10 PM (2)
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 (0)
Feb 03, 7-8 AM (0)
Feb 03, 8-9 AM (3)
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 (1)
Feb 03, 3-4 PM (0)
Feb 03, 4-5 PM (0)
Feb 03, 5-6 PM (0)
Feb 03, 6-7 PM (0)
Feb 03, 7-8 PM (1)
Feb 03, 8-9 PM (0)
Feb 03, 9-10 PM (0)
Feb 03, 10-11 PM (0)
Feb 03, 11-12 AM (2)
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 (1)
Feb 04, 7-8 AM (0)
Feb 04, 8-9 AM (0)
Feb 04, 9-10 AM (0)
Feb 04, 10-11 AM (0)
Feb 04, 11-12 PM (0)
Feb 04, 12-1 PM (1)
Feb 04, 1-2 PM (1)
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 (0)
Feb 05, 10-11 AM (0)
Feb 05, 11-12 PM (0)
Feb 05, 12-1 PM (3)
Feb 05, 1-2 PM (5)
Feb 05, 2-3 PM (0)
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 (2)
Feb 05, 9-10 PM (0)
Feb 05, 10-11 PM (0)
Feb 05, 11-12 AM (0)
Feb 06, 12-1 AM (0)
Feb 06, 1-2 AM (2)
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)
42 commits this week
Jan 30, 2026
-
Feb 06, 2026
Tightened proof on registering
Proofs for valid indexing of registry from valid votes
Simplfied and reorganized validation of votes
docs(mev): rename to Adversary Behaviors
docs(mev): align classification with behavior vocabulary
docs(mev): add live link for mempool-viz
docs(mev): compact nested-transactions
docs(mev): consolidate behaviors and actors into single section
- Merge actor classification into behaviors table (Primary Actor column) - Remove duplicate section numbering - Tighten language throughout
docs(mev): add script mapping with identified contracts
- New script-mapping.md with top 21 scripts by activity - 59 scripts mapped covering 84% of top activity - DEX breakdown: Minswap 62%, WingRiders 13%, SundaeSwap 9% - MEV risk classification (HIGH/MEDIUM/LOW) - Links to UPLC Analyzer tool
docs(mev): add behavior-based attack grouping and mempool analysis links
- Group attack vectors by observable behavior (network racing, arbitrage, stake-based control) - Highlight mempool as primary observation surface for attackers - Link to mempool simulation tools (mempool-sim-web, mempool-sim-viz) - Add key findings from fragmentation analysis
Fix shellcheck warnings
Bump ouroboros-consensus
Proved registration lookup in epoch
Partially reworked lookup functions and theorems
Specified valid certificate
Specified rational-number poisson distribution
Do not restart failing nodes
Increase mempool
Also convert config to yaml for it allows comments (this re-enables a lot of tracers)
Removed aesop because it generally wasn't successful.
Skeletal specification for local sortition
Proof for non-persistent vote weights