|
| 1 | +--- |
| 2 | +title: Weekly progress summary – February 3, 2025 |
| 3 | +authors: |
| 4 | +- will |
| 5 | +tags: [progress, update, weekly] |
| 6 | +--- |
| 7 | + |
| 8 | +## High-level summary |
| 9 | + |
| 10 | +This week saw significant progress in cryptography benchmarking and cost |
| 11 | +calculator improvements. The team completed a reference implementation for Leios |
| 12 | +cryptography and enhanced the online cost calculator with user-requested |
| 13 | +features. Both Haskell and Rust simulations received updates to improve |
| 14 | +visualization and network modeling capabilities. |
| 15 | + |
| 16 | +## Haskell Simulation |
| 17 | + |
| 18 | +- Added support for Send and Receive Voting stages |
| 19 | + - New configuration option `leios-vote-send-recv-stages` |
| 20 | + - Configurable stage length via `leios-stage-active-voting-slots` |
| 21 | +- Implemented multiple diffusion strategies: |
| 22 | + - Added oldest-first strategy |
| 23 | + - Configurable strategies for IBs, EBs, and votes via `*-diffusion-strategy` |
| 24 | + configs |
| 25 | +- Created new [`small`](../../data/simulation/small) scenario for 100 nodes with |
| 26 | + 2000kBs links |
| 27 | + - Tuned IB parameters to utilize one-third of link capacity |
| 28 | + - Configurations for both single-stage and send-recv voting |
| 29 | +- Fixed several simulation behaviors: |
| 30 | + - Improved block generation logic |
| 31 | + - Prevented duplicate EB inclusion in base chain |
| 32 | + - Confirmed proper EB inclusion timing relative to vote diffusion |
| 33 | +- Main difference observed between single-stage and send-recv is the former |
| 34 | + shows a longer tail in the CPU usage CDF when simulation is run with unlimited |
| 35 | + cores |
| 36 | + |
| 37 | +## Cryptography Implementation |
| 38 | + |
| 39 | +The Rust benchmarks for Leios cryptography were redesigned as a reference |
| 40 | +implementation: |
| 41 | + |
| 42 | +- Implemented the Fait Accompli sortition |
| 43 | +- Enhanced sortition to use rational arithmetic instead of quad-precision floats |
| 44 | +- Added Quickcheck tests for all capabilities |
| 45 | +- Added benchmarks for serialization |
| 46 | +- Optimized vote and certificate size |
| 47 | + |
| 48 | +## Cost Calculator Improvements |
| 49 | + |
| 50 | +The |
| 51 | +[online Leios cost calculator](https://leios.cardano-scaling.org/cost-estimator/) |
| 52 | +received several enhancements: |
| 53 | + |
| 54 | +- Added support for both hyperscale and discount cloud providers |
| 55 | +- Made discount providers the default option |
| 56 | +- Added option to amortize storage costs perpetually |
| 57 | +- Updated defaults: |
| 58 | + - Single relay deployment |
| 59 | + - More conservative 50% disk compression |
| 60 | + - Perpetual storage cost amortization |
| 61 | + |
| 62 | +## Throughput Simulator |
| 63 | + |
| 64 | +Updated the |
| 65 | +[Cardano throughput simulator](https://www.insightmaker.com/insight/4DU4kmFVCFDaq30ux29PCe/Cardano-Throughput-v0-3) |
| 66 | +with: |
| 67 | + |
| 68 | +- Latest cloud-computing cost model |
| 69 | +- Synchronized assumptions with online cost calculator |
| 70 | + |
| 71 | +## Rust Simulation |
| 72 | + |
| 73 | +- Minor fixes to new graph generation strategy |
| 74 | +- Planned out a roadmap for visualization work focusing on Leios transaction |
| 75 | + lifecycle |
0 commit comments