site(news): weekly update

Author: will-break-it

Logbook.md

@@ -2,6 +2,12 @@
 
 ## 2025-07-25
 
+## CIP
+
+- completed review of protocol overview, components flow and parameters
+- completed integration of votes and certificates specification
+- drafted node behehavior & network (mini protocols)
+
 ### SN on throughput metrics
 
 I want to propose a change in our terminology:

site/news/2025-07-14-weekly-progress-summary.md

@@ -0,0 +1,77 @@
+---
+title: Weekly Summary – July 14, 2025
+authors:
+- will
+tags: [progress, update, weekly, validation-analysis, simulation-optimization, trace-processor, linear-leios, stracciatella]
+---
+
+This week, the Leios team focused on simulation analysis improvements, validation time studies, and comprehensive protocol variant experiments. The team developed new analysis tools, conducted fundamental performance studies of Cardano validation times, and completed extensive mapping of Linear Leios protocol performance under various conditions.
+
+## Analysis tools and infrastructure
+
+### Generic trace analysis framework
+
+- Developed a generic analysis script for processing Leios simulator output
+- Created comprehensive R-based analysis pipeline generating diagnostic plots from `leios-simulation-trace-processor` output
+- Enhanced analysis capabilities for systematic evaluation of simulation results
+- Documentation and usage instructions available in the [trace processor README](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/trace-processor/ReadMe.md).
+
+## Validation performance analysis
+
+### Cardano mainnet validation timing study
+
+- Completed preliminary analysis of block and transaction validation times for Cardano mainnet since Epoch 350
+- Key findings using `db-analyser` tool:
+  - Median transaction signature verification: 0.53 ms/tx
+  - Median validation time per kilobyte: 0.29 ms/kB  
+  - Joint linear model estimate: 0.066 ms/tx plus 0.221 ms/kB
+  - Data suitable for bulk estimates but too noisy for individual transaction predictions
+- Identified missing explanatory variables (UTxO set size, input/output counts) extractable from ledger or `cardano-db-sync`
+- Results provide foundation for more accurate simulator validation time modeling
+- Detailed analysis available in the [validation timing notebook](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/timings/preliminary.ipynb).
+
+## Simulation optimization studies
+
+### Timestep resolution analysis
+
+- Conducted comparative study of simulation timestep effects at 1000 TPS Full Leios scenarios
+- Compared 0.100 ms and 0.025 ms time resolutions with no significant differences in results
+- Validated use of coarser timesteps for improved parallelism and reduced simulation runtime
+- Supporting analysis and evidence in the [timestep study notebook](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w27/analysis.ipynb).
+
+## Protocol variant experiments
+
+### Mid-throughput protocol validation
+
+- Completed 100 TPS experiments for Stracciatella and Linear Leios variants using 1400 B/tx over 900 seconds
+- Key findings:
+  - 5 slot/stage insufficient for Linear Leios at 100 tx/s
+  - Including transactions in EBs causes congestion compared to transaction references
+  - 10 MB/EB required for 100 tx/s performance (5 MB/EB insufficient)
+  - EB-sortition unluckiness in Stracciatella extends transaction lifecycle but can be mitigated
+  - CPU and network peaks occur when transactions are embedded in EBs
+- Analysis artifacts available in [100 TPS experiment documentation](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29b/ReadMe.pdf) and [analysis notebook](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29b/analysis.ipynb).
+
+### Comprehensive Linear Leios performance mapping
+
+- Completed extensive simulation study mapping Linear Leios performance under various loads and configurations
+- Compared multiple Linear Leios variants against Stracciatella baseline
+- Generated comprehensive performance characterizations across different throughput scenarios
+- Results documented in [Linear Leios summary](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29/summary.pdf) with variant-specific analysis:
+  - [Linear Leios with embedded transactions](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29/linear.ipynb)
+  - [Linear Leios with transaction references](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29/txrefs.ipynb)
+  - [Linear Leios without transactions](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29/notxs.ipynb)
+  - [Stracciatella baseline comparison](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w29/stracciatella.ipynb).
+
+## Simulation model refinements
+
+- Revised Linear Leios model based on analysis findings, particularly regarding partial EB validation before peer propagation
+- Reimplemented Stracciatella as separate simulation to identify specification deviations
+- Identified and resolved multiple implementation inconsistencies during specification verification process.
+
+## Next steps
+
+- Continue development of analysis infrastructure for systematic protocol evaluation
+- Integrate improved validation timing models into simulation configurations
+- Expand protocol variant testing based on performance mapping results
+- Refine simulation models for enhanced accuracy and specification compliance.

site/news/2025-07-21-weekly-progress-summary.md

@@ -0,0 +1,69 @@
+---
+title: Weekly Summary – July 21, 2025
+authors:
+- will
+tags: [progress, update, weekly, cip-development, throughput-metrics, validation-analysis, high-throughput-validation, simulation-documentation]
+---
+
+This week, the Leios team made significant progress on CIP development, refined validation timing analysis with improved methodologies, and achieved high-throughput validation milestones. The team completed major CIP specification components, proposed improved throughput metrics for better comparability, and demonstrated 1000 TPS capability with specific protocol variants.
+
+## CIP development progress
+
+### Protocol specification completion
+
+- Completed comprehensive review of protocol overview, components flow, and parameters
+- Integrated votes and certificates specification into the CIP documentation
+- Drafted node behavior and network specifications, including mini-protocol definitions
+- Advanced CIP towards completion with core protocol components fully specified.
+
+## Throughput metrics standardization
+
+### Improved measurement methodology
+
+- Proposed transition from transaction-per-second (Tx/s) to transaction-bytes-per-second (TxB/s) metrics for enhanced comparability
+- Recommended using Tx/s only in introductory statements with transaction size context (e.g., "100 Tx/s with 1400 B transactions")
+- Established TxkB/s and TxMB/s as primary throughput metrics for analysis
+- Benefits include:
+  - Direct comparability across different transaction sizes
+  - Clear nominal storage and network demand calculations
+  - Example: 100 Tx/s with 1400 B transactions = 140 TxkB/s = ~12 GB/day storage
+  - Network overhead calculation: 140 TxkB/s × 10 peers = 11.2 Mb/s.
+
+## Enhanced validation analysis
+
+### Revised Cardano validation timing study
+
+- Completed refined analysis of Cardano mainnet validation times using clean dataset on idle machine
+- Significantly improved accuracy over preliminary results by eliminating CPU contention effects
+- Updated findings for transaction signature verification and Plutus script execution:
+  - Median times: 428.4 μs/tx and 211.5 μs/kB
+  - Linear model: 148.1 μs/tx plus 114.1 μs/kB
+  - Enhanced model: 137.5 μs/tx plus 60.2 μs/kB plus 585.2 μs/Gstep with Laplace error distribution
+- Results suitable for bulk block estimates despite individual transaction prediction limitations
+- Findings support reducing CPU-timing parameters in default Leios simulation configurations
+- Comprehensive analysis available in the [validation timing documentation](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/timings/ReadMe.ipynb).
+
+## High-throughput protocol validation
+
+### 1000 TPS Linear Leios demonstration
+
+- Successfully demonstrated Linear Leios with transaction references supporting 1000 tx/s at 300 B/tx
+- Validated Stracciatella variant capability at 1000 TPS throughput levels
+- Confirmed that Linear Leios with embedded transactions cannot sustain such throughput
+- Results provide clear protocol variant performance boundaries for high-throughput scenarios
+- Detailed evidence and analysis in the [1000 TPS study notebook](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w30/analysis.ipynb).
+
+## Simulation infrastructure improvements
+
+### Rust simulation documentation
+
+- Enhanced documentation of current Rust simulation implementation
+- Documented available protocol variants and their implementation status
+- Improved accessibility and usability of simulation framework for protocol development.
+
+## Next steps
+
+- Finalize CIP documentation for community review and feedback
+- Implement standardized throughput metrics across analysis frameworks
+- Apply revised validation timing parameters to simulation configurations
+- Expand high-throughput testing to additional protocol variants and scenarios.