diff --git a/site/news/2025-03-03-weekly-progress-summary.md b/site/news/2025-03-03-weekly-progress-summary.md index c5fe3dec7..830302328 100644 --- a/site/news/2025-03-03-weekly-progress-summary.md +++ b/site/news/2025-03-03-weekly-progress-summary.md @@ -7,12 +7,12 @@ 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 development of technical reports. +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 - Completed a comprehensive analysis of simulations at tag `leios-2025w10`: - - Analyzed Haskell simulation performance with and without accounting for CPU usage + - Analyzed Haskell simulation performance with and without CPU usage considerations - Varying key protocol parameters: - IB production rate - IB size @@ -24,36 +24,36 @@ This week in Leios development, the team focused on simulation analysis, formal - Sizes of IBs, EBs, and RBs - Duplicate IB references in EBs - Reference to EBs from RBs - - Resource utilization in network traffic + - Resource utilization in network traffic. ## Protocol and formal methods -- Commenced trace verifier development in Agda: - - Parsing event traces using the Haskell module `leios-trace-hs` +- Began developing a trace verifier in Agda: + - Implemented event trace parsing using the Haskell module `leios-trace-hs`. ## Documentation and research -- Full draft of the [Leios Technical Report #1](https://github.com/input-output-hk/ouroboros-leios/blob/main/docs/technical-report-1.md) -- Skeletal [draft of Leios CIP](https://github.com/input-output-hk/ouroboros-leios/blob/main/docs/leios-cip-draft.md) -- Conformed to the latest template for CIPs -- Developed a [detailed analysis of simulations](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w10/analysis.ipynb) for the 100-node Leios network +- Completed the full draft of the [Leios technical report #1](https://github.com/input-output-hk/ouroboros-leios/blob/main/docs/technical-report-1.md) +- Created a skeletal [draft of the Leios CIP](https://github.com/input-output-hk/ouroboros-leios/blob/main/docs/leios-cip-draft.md) +- Aligned with the latest CIP template +- Developed a [detailed simulation analysis ](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w10/analysis.ipynb) for the 100-node Leios network. ## Programming and testing - Resolved several simulation issues: - - [#235: RB size does not reflect the presence of a certificate?](https://github.com/input-output-hk/ouroboros-leios/issues/235) - - [#234: Fast transmission of large blocks at moderate IB rate?](https://github.com/input-output-hk/ouroboros-leios/issues/234) - - [#232: Monotonicity of EB inclusion in RBs?](https://github.com/input-output-hk/ouroboros-leios/issues/232) - - [#230: EB's not large enough to include their IBs?](https://github.com/input-output-hk/ouroboros-leios/issues/230) + - [#235: RB size does not reflect the presence of a certificate](https://github.com/input-output-hk/ouroboros-leios/issues/235) + - [#234: Fast transmission of large blocks at moderate IB rate](https://github.com/input-output-hk/ouroboros-leios/issues/234) + - [#232: Monotonicity of EB inclusion in RBs](https://github.com/input-output-hk/ouroboros-leios/issues/232) + - [#230: EBs are not large enough to include their IBs](https://github.com/input-output-hk/ouroboros-leios/issues/230) - [#229: Rust simulations panics from overflow](https://github.com/input-output-hk/ouroboros-leios/issues/229) -- Enabled the visualization of network traffic and logging messages for multiple predefined "scenarios" instead of a single hard-coded trace -- Updated the visualization to display resource utilization in network traffic +- Enabled the visualization of network traffic and logging messages for multiple predefined 'scenarios' instead of a single hard-coded trace +- Updated the visualization to display resource utilization in network traffic. ## Rust simulation visualization - Improved visualization capabilities: - - Added support for multiple predefined "scenarios" instead of single hard-coded trace - - Moved visualization logic to client-side web worker for better performance - - Added visualization of per-node network traffic breakdown by message type + - Added support for multiple predefined 'scenarios' instead of single hard-coded trace + - Moved the visualization logic to the client-side web worker for better performance + - Added the visualization of per-node network traffic breakdown by message type - Fixed critical simulation bugs: - - Resolved issue [#229](https://github.com/input-output-hk/ouroboros-leios/issues/229) causing time travel and crashes in high-traffic high-latency scenarios + - Resolved issue [#229](https://github.com/input-output-hk/ouroboros-leios/issues/229) causing time travel and crashes in high-traffic high-latency scenarios.