Skip to content

Minor edits #450

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 8, 2025
Merged

Minor edits #450

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions site/news/2025-07-01-weekly-progress-summary.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,18 +5,18 @@ authors:
tags: [progress, update, weekly, high-throughput, attack-analysis, rust-simulation, trace-verification, performance-optimization]
---

This week, the Leios team achieved a significant milestone by successfully demonstrating protocol viability at 1,000 TPS, completed comprehensive attack surface analysis, and made substantial improvements to simulation and verification tools.
This week, the Leios team achieved a significant milestone by successfully demonstrating protocol viability at 1,000 TPS. They also completed a comprehensive attack surface analysis and made substantial improvements to simulation and verification tools.

## High-throughput demonstration

- Successfully completed a 1,000 TPS experiment using basic 300-byte non-Plutus transactions
- Demonstrated the viability of Leios protocol operation at extremely high throughput levels
- Validated protocol performance under stress conditions significantly beyond current Cardano capacity
- Documented detailed findings in the [1000 TPS analysis](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w27/analysis.ipynb).
- Documented detailed findings in the [1,000 TPS analysis](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w27/analysis.ipynb).

## Security analysis

- Completed comprehensive attack surface analysis for the second technical report
- Completed a comprehensive attack surface analysis for the second technical report
- Defined terminology and taxonomy for potential Leios attack vectors
- Categorized major attack types and their potential impacts on protocol security
- Enhanced understanding of protocol vulnerabilities and mitigation strategies.
Expand All @@ -38,7 +38,7 @@ This week, the Leios team achieved a significant milestone by successfully demon

- Intensified efforts to converge on a specific Leios variant for the Cardano Improvement Proposal (CIP)
- Applied systematic evaluation methodology to rank protocol candidates from multiple angles
- Evaluated efficiency metrics including temporal efficiency versus storage optimization trade-offs
- Evaluated efficiency metrics, including temporal efficiency versus storage optimization trade-offs
- Assessed attack surface and security vectors across different protocol variants
- Analyzed utility factors including quality of service, developer friendliness, user experience, and downstream ecosystem impacts
- Analyzed utility factors, including quality of service, developer friendliness, user experience, and downstream ecosystem impacts
- Focused on eliminating candidates through evidence-based assessment of valuable protocol characteristics.
Loading