ouroboros-leios-sim - 15 commits this week

Home / Input Output / ouroboros-leios-sim

Insights Pull Requests

Jul 05, 3-4 AM (0)

Jul 05, 4-5 AM (0)

Jul 05, 5-6 AM (0)

Jul 05, 6-7 AM (0)

Jul 05, 7-8 AM (0)

Jul 05, 8-9 AM (0)

Jul 05, 9-10 AM (0)

Jul 05, 10-11 AM (0)

Jul 05, 11-12 PM (1)

Jul 05, 12-1 PM (0)

Jul 05, 1-2 PM (0)

Jul 05, 2-3 PM (0)

Jul 05, 3-4 PM (0)

Jul 05, 4-5 PM (0)

Jul 05, 5-6 PM (0)

Jul 05, 6-7 PM (0)

Jul 05, 7-8 PM (0)

Jul 05, 8-9 PM (0)

Jul 05, 9-10 PM (0)

Jul 05, 10-11 PM (0)

Jul 05, 11-12 AM (0)

Jul 06, 12-1 AM (0)

Jul 06, 1-2 AM (0)

Jul 06, 2-3 AM (0)

Jul 06, 3-4 AM (0)

Jul 06, 4-5 AM (0)

Jul 06, 5-6 AM (0)

Jul 06, 6-7 AM (0)

Jul 06, 7-8 AM (0)

Jul 06, 8-9 AM (0)

Jul 06, 9-10 AM (0)

Jul 06, 10-11 AM (0)

Jul 06, 11-12 PM (0)

Jul 06, 12-1 PM (0)

Jul 06, 1-2 PM (0)

Jul 06, 2-3 PM (0)

Jul 06, 3-4 PM (0)

Jul 06, 4-5 PM (0)

Jul 06, 5-6 PM (0)

Jul 06, 6-7 PM (0)

Jul 06, 7-8 PM (0)

Jul 06, 8-9 PM (0)

Jul 06, 9-10 PM (0)

Jul 06, 10-11 PM (0)

Jul 06, 11-12 AM (0)

Jul 07, 12-1 AM (0)

Jul 07, 1-2 AM (0)

Jul 07, 2-3 AM (0)

Jul 07, 3-4 AM (0)

Jul 07, 4-5 AM (0)

Jul 07, 5-6 AM (0)

Jul 07, 6-7 AM (0)

Jul 07, 7-8 AM (0)

Jul 07, 8-9 AM (0)

Jul 07, 9-10 AM (0)

Jul 07, 10-11 AM (1)

Jul 07, 11-12 PM (0)

Jul 07, 12-1 PM (0)

Jul 07, 1-2 PM (1)

Jul 07, 2-3 PM (0)

Jul 07, 3-4 PM (1)

Jul 07, 4-5 PM (3)

Jul 07, 5-6 PM (0)

Jul 07, 6-7 PM (1)

Jul 07, 7-8 PM (0)

Jul 07, 8-9 PM (0)

Jul 07, 9-10 PM (0)

Jul 07, 10-11 PM (0)

Jul 07, 11-12 AM (0)

Jul 08, 12-1 AM (0)

Jul 08, 1-2 AM (0)

Jul 08, 2-3 AM (0)

Jul 08, 3-4 AM (0)

Jul 08, 4-5 AM (0)

Jul 08, 5-6 AM (0)

Jul 08, 6-7 AM (0)

Jul 08, 7-8 AM (0)

Jul 08, 8-9 AM (0)

Jul 08, 9-10 AM (0)

Jul 08, 10-11 AM (1)

Jul 08, 11-12 PM (0)

Jul 08, 12-1 PM (0)

Jul 08, 1-2 PM (0)

Jul 08, 2-3 PM (0)

Jul 08, 3-4 PM (0)

Jul 08, 4-5 PM (0)

Jul 08, 5-6 PM (0)

Jul 08, 6-7 PM (0)

Jul 08, 7-8 PM (0)

Jul 08, 8-9 PM (0)

Jul 08, 9-10 PM (0)

Jul 08, 10-11 PM (0)

Jul 08, 11-12 AM (0)

Jul 09, 12-1 AM (0)

Jul 09, 1-2 AM (0)

Jul 09, 2-3 AM (0)

Jul 09, 3-4 AM (0)

Jul 09, 4-5 AM (0)

Jul 09, 5-6 AM (0)

Jul 09, 6-7 AM (0)

Jul 09, 7-8 AM (0)

Jul 09, 8-9 AM (0)

Jul 09, 9-10 AM (0)

Jul 09, 10-11 AM (0)

Jul 09, 11-12 PM (0)

Jul 09, 12-1 PM (0)

Jul 09, 1-2 PM (0)

Jul 09, 2-3 PM (0)

Jul 09, 3-4 PM (0)

Jul 09, 4-5 PM (0)

Jul 09, 5-6 PM (0)

Jul 09, 6-7 PM (0)

Jul 09, 7-8 PM (0)

Jul 09, 8-9 PM (0)

Jul 09, 9-10 PM (0)

Jul 09, 10-11 PM (0)

Jul 09, 11-12 AM (0)

Jul 10, 12-1 AM (0)

Jul 10, 1-2 AM (0)

Jul 10, 2-3 AM (0)

Jul 10, 3-4 AM (0)

Jul 10, 4-5 AM (0)

Jul 10, 5-6 AM (0)

Jul 10, 6-7 AM (0)

Jul 10, 7-8 AM (0)

Jul 10, 8-9 AM (0)

Jul 10, 9-10 AM (0)

Jul 10, 10-11 AM (0)

Jul 10, 11-12 PM (0)

Jul 10, 12-1 PM (1)

Jul 10, 1-2 PM (2)

Jul 10, 2-3 PM (0)

Jul 10, 3-4 PM (0)

Jul 10, 4-5 PM (1)

Jul 10, 5-6 PM (0)

Jul 10, 6-7 PM (0)

Jul 10, 7-8 PM (0)

Jul 10, 8-9 PM (0)

Jul 10, 9-10 PM (0)

Jul 10, 10-11 PM (0)

Jul 10, 11-12 AM (0)

Jul 11, 12-1 AM (0)

Jul 11, 1-2 AM (0)

Jul 11, 2-3 AM (0)

Jul 11, 3-4 AM (0)

Jul 11, 4-5 AM (0)

Jul 11, 5-6 AM (0)

Jul 11, 6-7 AM (0)

Jul 11, 7-8 AM (0)

Jul 11, 8-9 AM (0)

Jul 11, 9-10 AM (0)

Jul 11, 10-11 AM (0)

Jul 11, 11-12 PM (0)

Jul 11, 12-1 PM (0)

Jul 11, 1-2 PM (0)

Jul 11, 2-3 PM (0)

Jul 11, 3-4 PM (0)

Jul 11, 4-5 PM (0)

Jul 11, 5-6 PM (0)

Jul 11, 6-7 PM (1)

Jul 11, 7-8 PM (1)

Jul 11, 8-9 PM (0)

Jul 11, 9-10 PM (0)

Jul 11, 10-11 PM (0)

Jul 11, 11-12 AM (0)

Jul 12, 12-1 AM (0)

Jul 12, 1-2 AM (0)

Jul 12, 2-3 AM (0)

Jul 12, 3-4 AM (0)

15 commits this week Jul 05, 2025 - Jul 12, 2025

bwbush · Fri, 11 Jul 25 20:05:24 +0000 · ouroboros-leios-sim

Reran 1000 TPS at 8 slot/stage for larger EBs

3dee225f · bwbush/2025w28stra · 7/221 ++ 300 --

bwbush · Fri, 11 Jul 25 19:06:02 +0000 · ouroboros-leios-sim

Probabilistic computation of Linear Leios efficiency

d492fd06 · bwbush/linprob · 3/450 ++ 0 --

bwbush · Thu, 10 Jul 25 17:13:29 +0000 · ouroboros-leios-sim

Increased size constraint on EBs

60bc4546 · bwbush/2025w28stra · 9/21 ++ 21 --

bwbush · Thu, 10 Jul 25 14:49:39 +0000 · ouroboros-leios-sim

Added plot

45979c5d · bwbush/2025w28stra · 1/429 ++ 39 --

bwbush · Thu, 10 Jul 25 14:43:48 +0000 · ouroboros-leios-sim

Added figure

40dccf27 · bwbush/2025w28stra · 1/246 ++ 482 --

ch1bo · Thu, 10 Jul 25 13:41:37 +0000 · ouroboros-leios-sim

Create a threat model for Leios

This is a first sketch for a threat model as a dedicated artifact. We
have another similar collection of threats here

https://github.com/input-output-hk/ouroboros-leios/blob/main/docs/technical-report-1.md#threat-model

In this document, we follow an established process of threat modeling by
also describing a system overview, assets to protect and go more into
detail detail on threats, prerequisites, attack vector, cost
and impact.

This should be updated with more detail / reference the concrete
protocol variant we propose in the CIP and accordingly with assets,
threats and mitigations.

42d6462a · threat-model · 1/553 ++ 0 --

bwbush · Tue, 08 Jul 25 11:39:11 +0000 · ouroboros-leios-sim

Relocated week 28 experiments

0b4ff03b · bwbush/2025w28 · 2/0 ++ 0 --

nfrisby · Mon, 07 Jul 25 19:25:49 +0000 · ouroboros-leios-sim

High-Level Documentation for the Haskell simulator's Relay mini protocol

6b147d1a · nfrisby/issue-411-hask-txs · 1/50 ++ 11 --

github-actions[bot] · Mon, 07 Jul 25 17:32:22 +0000 · ouroboros-leios-sim

Update formal specification documentation

- Updated from ouroboros-leios-formal-spec repository
- Run ID: 16119681894
- Triggered by: repository_dispatch

7894af36 · bwbush/2025w27 · 3/3 ++ 3 --

bwbush · Mon, 07 Jul 25 17:32:22 +0000 · ouroboros-leios-sim

Revised time step

b7eccad0 · bwbush/2025w27 · 3/3 ++ 3 --

SupernaviX · Mon, 07 Jul 25 17:32:22 +0000 · ouroboros-leios-sim

sim-rs: respect aggressive pruning for full-without-ibs variant

f7427da7 · bwbush/2025w27 · 1/34 ++ 12 --

SupernaviX · Mon, 07 Jul 25 16:29:46 +0000 · ouroboros-leios-sim

sim-rs: respect aggressive pruning for full-without-ibs variant

44e48089 · main · 1/34 ++ 12 --

github-actions[bot] · Mon, 07 Jul 25 14:40:40 +0000 · ouroboros-leios-sim

Update formal specification documentation

- Updated from ouroboros-leios-formal-spec repository
- Run ID: 16119681894
- Triggered by: repository_dispatch

4ec2308f · main · 3/3 ++ 3 --

olgahryniuk · Mon, 07 Jul 25 11:29:36 +0000 · ouroboros-leios-sim

Update 2025-06-24-weekly-progress-summary.md

a7e49a32 · pull/446/head · 1/10 ++ 10 --

yveshauser · Sat, 05 Jul 25 12:15:36 +0000 · ouroboros-leios-sim

typos

2803c047 · main · 1/1 ++ 1 --

Showing 15 of 15 recent commits. Check out Input Output on GitHub to see more.