You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: site/news/2025-03-10-weekly-progress-summary.md
+6-6
Original file line number
Diff line number
Diff line change
@@ -5,28 +5,28 @@ authors:
5
5
tags: [progress, update, weekly]
6
6
---
7
7
8
-
This week saw significant progress in simulation capabilities with the successful comparison of Rust and Haskell simulations across **[90 scenarios](https://github.com/input-output-hk/ouroboros-leios/blob/weekly-update-2025-03-10/analysis/sims/2025w11/analysis.ipynb)**. We conducted our **first mainnet-scale [analysis](https://github.com/input-output-hk/ouroboros-leios/blob/weekly-update-2025-03-10/analysis/sims/2025w11xl/analysis.ipynb) of Leios** on a [mainnet-scale network](https://github.com/input-output-hk/ouroboros-leios/blob/leios-2025w11/sim-rs/test_data/realistic.yaml) of 3000 nodes, revealing unexpected performance benefits from network topology. **[Sharding performance analysis](https://github.com/input-output-hk/ouroboros-leios/blob/weekly-update-2025-03-10/analysis/shard-performance.ipynb)** provided important insights into optimization strategies. Both simulation implementations received improvements to enhance realism and comparability, while our formal methods team developed initial trace verification tools for Short Leios.
8
+
This week saw significant progress in simulation capabilities with the successful comparison of Rust and Haskell simulations across **[90 scenarios](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w11/analysis.ipynb)**. We conducted our **first mainnet-scale [analysis](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w11xl/analysis.ipynb) of Leios** on a [mainnet-scale network](https://github.com/input-output-hk/ouroboros-leios/blob/leios-2025w11/sim-rs/test_data/realistic.yaml) of 3000 nodes, revealing unexpected performance benefits from network topology. **[Sharding performance analysis](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/shard-performance.ipynb)** provided important insights into optimization strategies. Both simulation implementations received improvements to enhance realism and comparability, while our formal methods team developed initial trace verification tools for Short Leios.
9
9
10
10
## Simulation comparison
11
11
12
-
- Compared [90 scenarios](https://github.com/input-output-hk/ouroboros-leios/blob/weekly-update-2025-03-10/analysis/sims/2025w11/analysis.ipynb) between Rust and Haskell simulations at tag [`leios-2025w11`](https://github.com/input-output-hk/ouroboros-leios/releases/tag/leios-2025w11)
12
+
- Compared [90 scenarios](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w11/analysis.ipynb) between Rust and Haskell simulations at tag [`leios-2025w11`](https://github.com/input-output-hk/ouroboros-leios/releases/tag/leios-2025w11)
13
13
- Recent fixes and adjustments enabled meaningful comparison between simulations
14
14
- Identified [issues](https://github.com/input-output-hk/ouroboros-leios/issues?q=is%3Aissue%20state%3Aopen%20label%3Aquestion) requiring further investigation.
15
15
16
16
### Analysis of mainnet-scale simulation
17
17
18
-
- Completed first [analysis](https://github.com/input-output-hk/ouroboros-leios/blob/weekly-update-2025-03-10/analysis/sims/2025w11xl/analysis.ipynb) of Leios on a mainnet-scale network simulation using Rust simulator
18
+
- Completed first [analysis](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w11xl/analysis.ipynb) of Leios on a mainnet-scale network simulation using Rust simulator
- Identified "shortcut" edges in larger networks as likely reason for improved transport speed.
21
21
22
-

22
+

23
23
24
24
### Performance analysis of sharding
25
25
26
-
- Created [computational models](https://github.com/input-output-hk/ouroboros-leios/blob/weekly-update-2025-03-10/analysis/shard-performance.ipynb) showing relationship between fraction of shards without an IB and expected number of extra IBs
26
+
- Created [computational models](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/shard-performance.ipynb) showing relationship between fraction of shards without an IB and expected number of extra IBs
27
27
- Evaluated performance characteristics of the simplest sharding scheme.
28
28
29
-

29
+

0 commit comments