Minor edits

Author: olgahryniuk

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

@@ -7,7 +7,7 @@ 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 detailed certificate performance analysis. Both Haskell and Rust simulations received substantial updates to improve visualization and support more realistic testing conditions.
+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
 
@@ -18,12 +18,12 @@ This week, the Leios team made significant progress across multiple areas. Major
   - Outputs fitted models in `delta_q` web app syntax
 - Key findings from topology analysis:
   - Clear distinction between near/far components in examined topologies
-  - Unexpectedly high hop counts in latency-weighted Dijkstra paths
-    - Mean 4-5, max 8 for topology-100
-    - Min 8, max 20 for "realistic" topology
+  - Unexpectedly high hop counts in latency-weighted Dijkstra paths:
+    - Min 4-5, max 8 for topology - 100
+    - Min 8, max 20 for 'realistic' topology
   - Model fitting achieved rough shape matching but showed significant deviations at low latencies
-  - Resource usage tracking goals remain unachieved due to complexity in understanding load multiplication factors
-
+  - Resource usage tracking goals remain unmet due to complexity in understanding load multiplication factors.
+  
 ## BLS cryptography
 
 - Completed comprehensive benchmarking of certificate operations:
@@ -35,13 +35,13 @@ This week, the Leios team made significant progress across multiple areas. Major
   - Proposed 90-day key evolution with 124-byte KZG commitments
   - Analyzed message sizes for key opening (316 bytes per pool)
   - Investigated SNARK-based alternatives for proof of possession
-- Added BLS crypto to CI pipeline with automated testing
-- Documented parallelization strategies for certificate operations
+- Added BLS crypto to the CI pipeline with automated testing
+- Documented parallelization strategies for certificate operations.
 
 ## Formal methods
 
-- Added conformance testing client for the executable Short Leios specification
-- Successfully merged the executable specification for Simplified Leios into main
+- Added a conformance testing client for the executable Short Leios specification
+- Successfully merged the executable specification for Simplified Leios into main.
 
 ## Haskell simulation
 
@@ -54,7 +54,7 @@ This week, the Leios team made significant progress across multiple areas. Major
 - Enhanced simulation output and analysis:
   - Added raw field for accumulated data
   - Implemented block diffusion CDF extraction
-  - Created multi-CDF plotting capabilities
+  - Created multi-CDF plotting capabilities.
 
 ## Rust simulation
 
@@ -69,4 +69,4 @@ This week, the Leios team made significant progress across multiple areas. Major
 - Added support for multiple strategies:
   - Implemented `ib-diffusion-strategy` (freshest-first, oldest-first, peer-order)
   - Added `relay-strategy` affecting TXs, IBs, EBs, votes, and RBs
-  - Enabled unlimited EB and vote bundle downloads from peers 
+  - Enabled unlimited EB and vote bundle downloads from peers.