diff --git a/site/news/2025-01-27-weekly-progress-summary.md b/site/news/2025-01-27-weekly-progress-summary.md index 3961bdbd0..106447d4c 100644 --- a/site/news/2025-01-27-weekly-progress-summary.md +++ b/site/news/2025-01-27-weekly-progress-summary.md @@ -4,7 +4,6 @@ authors: - will tags: [progress, update, weekly] --- -## High-level summary 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. diff --git a/site/news/2025-02-03-weekly-progress-summary.md b/site/news/2025-02-03-weekly-progress-summary.md index 86e453708..647e2be6b 100644 --- a/site/news/2025-02-03-weekly-progress-summary.md +++ b/site/news/2025-02-03-weekly-progress-summary.md @@ -5,8 +5,6 @@ authors: tags: [progress, update, weekly] --- -## High-level summary - 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. ## Haskell simulation diff --git a/site/news/2025-02-10-weekly-progress-summary.md b/site/news/2025-02-10-weekly-progress-summary.md index f339eddff..e9f487c8d 100644 --- a/site/news/2025-02-10-weekly-progress-summary.md +++ b/site/news/2025-02-10-weekly-progress-summary.md @@ -5,8 +5,6 @@ authors: tags: [progress, update, weekly] --- -## High-level summary - 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. ## DeltaQ analysis diff --git a/site/news/2025-02-17-weekly-progress-summary.md b/site/news/2025-02-17-weekly-progress-summary.md index e6556cfe8..23f55411a 100644 --- a/site/news/2025-02-17-weekly-progress-summary.md +++ b/site/news/2025-02-17-weekly-progress-summary.md @@ -5,8 +5,6 @@ authors: tags: [progress, update, weekly] --- -## High-level summary - 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. ## Protocol development diff --git a/site/news/2025-02-24-weekly-progress-summary.md b/site/news/2025-02-24-weekly-progress-summary.md index 2e9abc3a6..e8cb6ad0f 100644 --- a/site/news/2025-02-24-weekly-progress-summary.md +++ b/site/news/2025-02-24-weekly-progress-summary.md @@ -5,8 +5,6 @@ authors: tags: [progress, update, weekly] --- -## High-level summary - 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. ## Cross-simulation analysis diff --git a/site/news/2025-03-03-weekly-progress-summary.md b/site/news/2025-03-03-weekly-progress-summary.md index 58957c7c8..6aee5e92e 100644 --- a/site/news/2025-03-03-weekly-progress-summary.md +++ b/site/news/2025-03-03-weekly-progress-summary.md @@ -5,8 +5,6 @@ authors: tags: [progress, update, weekly] --- -## High-level summary - 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. ## Cross-simulation analysis diff --git a/site/news/2025-03-24-weekly-progress-summary.md b/site/news/2025-03-24-weekly-progress-summary.md new file mode 100644 index 000000000..64e9cb38d --- /dev/null +++ b/site/news/2025-03-24-weekly-progress-summary.md @@ -0,0 +1,34 @@ +--- +title: Weekly Summary - March 24, 2025 +authors: +- will +tags: [progress, update, weekly] +--- + +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. + +## Simulation Progress + +- **Haskell simulation** + - Moved configuration and topology parsers to the `leios-trace-hs` package for reuse by formal methods. + - 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. + - Simplified sortition code by relying on the external statistics package. + - Tested Full Leios, resolving tension between `r_EB`/`eb-max-age-slots` and `praos-chain-quality`/`η`. + - Fixed `cabal run ols -- generate-topology close-and-random`, listing `producers` properly and decreasing variance in upstream peers. + +- **Rust simulation** + - Investigated oddities in simulation results: IB production broke down earlier due to low connectivity, and CPU usage is lower than Haskell sim. + - Refined Full Leios implementation. + - Added Full Leios support to the visualizer. + - Moved the visualizer off Next.js and onto vite. + +## Analysis of Simulations + +- **Tag `leios-2025w13`:** Simulated 198 scenarios of Short Leios for varied IB production rate, IB size, and network topology, CPU limits, and protocol flags. +- **CPU limits:** Studied how limiting available CPU affects IB propagation and discovered that CPU can impact diffusion under stressful scenarios. +- **Vote propagation:** Compared freshest-first and oldest-first vote propagation, with freshest-first potentially improving IB delivery reliability. +- **Extended voting period:** Compared an extended voting period versus a limited one in the Haskell simulation, revealing little difference except for rare improvements in reliable vote delivery. + +## Ongoing Investigations + +- Investigating qualitative discrepancies between Haskell and Rust simulators' results to determine whether they are due to simulator resolution or simulation infidelities.