Skip to content

Commit 49c8b3a

Browse files
will-break-itwill-break-it
committed
site: updated weekly summary
1 parent 5908a39 commit 49c8b3a

7 files changed

+3
-20
lines changed

‎site/news/2025-01-27-weekly-progress-summary.md‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ authors:
44
- will
55
tags: [progress, update, weekly]
66
---
7-
## High-level summary
87

98
The Leios team continued refining Haskell and Rust simulations, standardizing inputs, outputs, and event logging for better comparability. The team defined standard formats [for configuration parameters](https://github.com/input-output-hk/ouroboros-leios/blob/main/data/simulation/config.schema.json) and [network topology](https://github.com/input-output-hk/ouroboros-leios/blob/main/data/simulation/topology.d.ts) for running the Leios protocol. They also worked on logging identical simulation events to compare and feed them into the DeltaQ model and, consequently, the executable specification, ensuring alignment with formal methods.
109

‎site/news/2025-02-03-weekly-progress-summary.md‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ authors:
55
tags: [progress, update, weekly]
66
---
77

8-
## High-level summary
9-
108
This week, the Leios team worked on cryptography benchmarking and cost calculator improvements. The team completed a reference implementation for Leios cryptography and enhanced the online cost calculator with user-requested features. They also updated both Haskell and Rust simulations to improve visualization and network modeling capabilities.
119

1210
## Haskell simulation

‎site/news/2025-02-10-weekly-progress-summary.md‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ authors:
55
tags: [progress, update, weekly]
66
---
77

8-
## High-level summary
9-
108
This week, the Leios team made significant progress across multiple areas. Major developments included detailed DeltaQ analysis of network topologies, extensive BLS cryptography benchmarking, and improvements to both simulations. The team also explored succinct schemes for BLS key registration and conducted a detailed certificate performance analysis. Both Haskell and Rust simulations received substantial updates to improve visualization and support more realistic testing conditions.
119

1210
## DeltaQ analysis

‎site/news/2025-02-17-weekly-progress-summary.md‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ authors:
55
tags: [progress, update, weekly]
66
---
77

8-
## High-level summary
9-
108
This week in Leios development, [CPS-0018](https://github.com/cardano-foundation/CIPs/blob/master/CPS-0018/README.md) for transaction throughput was approved, along with improved Docker support for simulations and analysis of cross-simulation results. The team also examined input block (IB) production rates and their impact on network performance.
119

1210
## Protocol development

‎site/news/2025-02-24-weekly-progress-summary.md‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ authors:
55
tags: [progress, update, weekly]
66
---
77

8-
## High-level summary
9-
108
This week in Leios development, the team focused on simulation analysis and formal methods. Key accomplishments include detailed analyses of both Haskell and Rust simulations, initial work on a protocol dashboard, and advancements in formal methods through trace verification in Agda.
119

1210
## Cross-simulation analysis

‎site/news/2025-03-03-weekly-progress-summary.md‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ authors:
55
tags: [progress, update, weekly]
66
---
77

8-
## High-level summary
9-
108
This week in Leios development, the team focused on simulation analysis, formal methods, and documentation updates. Key accomplishments include in-depth analysis of simulations at tag `leios-2025w10`, advancements in formal methods through a working trace verifier, and the development of technical reports.
119

1210
## Cross-simulation analysis

‎site/news/2025-03-24-weekly-progress-summary.md‎

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,22 @@
11
---
2-
title: Weekly Summary - 2025-03-24
2+
title: Weekly Summary - March 24, 2025
33
authors:
44
- will
55
tags: [progress, update, weekly]
66
---
77

8-
**Weekly Summary (2025-03-24 to 2025-03-31)**
9-
108
This week, the Leios team continued working on various aspects of the protocol and simulation capabilities. The team made progress on implementing and testing the Haskell and Rust simulators, focusing on protocol behavior under different network conditions.
119

1210
## Simulation Progress
1311

14-
- **Haskell simulation:**
12+
- **Haskell simulation**
1513
- Moved configuration and topology parsers to the `leios-trace-hs` package for reuse by formal methods.
1614
- Investigated differences in IBs referenced with Rust simulation: inconsistencies in their distribution are due to the same sequence of random samples being used across different runs.
1715
- Simplified sortition code by relying on the external statistics package.
1816
- Tested Full Leios, resolving tension between `r_EB`/`eb-max-age-slots` and `praos-chain-quality`/`η`.
1917
- Fixed `cabal run ols -- generate-topology close-and-random`, listing `producers` properly and decreasing variance in upstream peers.
2018

21-
- **Rust simulation:**
19+
- **Rust simulation**
2220
- Investigated oddities in simulation results: IB production broke down earlier due to low connectivity, and CPU usage is lower than Haskell sim.
2321
- Refined Full Leios implementation.
2422
- Added Full Leios support to the visualizer.
@@ -34,7 +32,3 @@ This week, the Leios team continued working on various aspects of the protocol a
3432
## Ongoing Investigations
3533

3634
- Investigating qualitative discrepancies between Haskell and Rust simulators' results to determine whether they are due to simulator resolution or simulation infidelities.
37-
38-
## Tools
39-
40-
- **Egress Traffic Calculator:**

0 commit comments

Comments
 (0)