Skip to content
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.

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

site: added weekly summaries & public meeting demos to news #127

Merged
merged 14 commits into from
Jan 15, 2025
Merged
1,891 changes: 1,304 additions & 587 deletions Logbook.md

Large diffs are not rendered by default.

9 changes: 7 additions & 2 deletions site/authors.yaml
Original file line number Diff line number Diff line change
@@ -1,6 +1,11 @@

abailly:
name: Arnaud Bailly
title: Lead Architect
url: https://github.com/abailly-iohk
image_url: https://github.com/abailly-iohk.png
image_url: https://avatars.githubusercontent.com/u/40221?v=4

will:
name: William Wolff
title: Architect
url: https://github.com/will-break-it
image_url: https://avatars.githubusercontent.com/u/9065638?v=4
24 changes: 24 additions & 0 deletions site/news/2024-10-07-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
---
title: Weekly Progress Summary - October 7, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Weekly Meeting

- Discussed Ethereum's blob approach and its relevance to Leios.
- Considered Leios for storing unstructured, transient data.
- Identified potential use cases and next steps for protocol modeling.

## Meeting with Spyros

- Spyros worked on network simulation for Leios using Peernet.
- Focused on bandwidth as a limiting factor and explored block generation
frequency limits.

## Structuring Repository for Open-source

- Added basic instructions for Code of Conduct, Contribution guidelines, and
coding standards.
- Restructured code to merge `leios` and `leios-sim` packages.
23 changes: 23 additions & 0 deletions site/news/2024-10-14-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
---
title: Weekly Progress Summary - October 14, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Network Simulation for Leios

- Discussed early simulations for Leios with researchers.
- Simulated block diffusion with bandwidth constraints.
- Modeled block propagation among nodes and observed variations in diffusion
time.

## Team Meeting

- Explored potential use cases for "Blob Leios" in governance and auctions.
- Discussed incentives for SPOs to serve data and compared with Filecoin.

## Presentation by Sandro

- Sandro provided an introductory talk on Leios, explaining protocol decisions.
- Recording available for team review.
22 changes: 22 additions & 0 deletions site/news/2024-10-21-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
---
title: Weekly Progress Summary - October 21, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Designing Test Environment

- Sketched ideas for exploring Leios behavior with respect to networking.
- Developed a high-level design for network simulation.

## Leios Meeting

- Discussed network simulation and ΔQ model of the pipeline.
- Gathered numbers on network latency and throughput.

## Structuring Repository for Open-source

- Added basic instructions for Code of Conduct, Contribution guidelines, and
coding standards.
- Restructured code to merge `leios` and `leios-sim` packages.
28 changes: 28 additions & 0 deletions site/news/2024-10-28-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
---
title: Weekly Progress Summary - October 28, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Visualizing Node Behavior

- Added a simple web server to render the throughput of IBs and EBs in the Leios
simulation.
- Utilized the `Tracer` interface for JSON-formatted traces and live graph
plotting.

## Discussion with Nicolas

- Explored Leios protocol with a focus on IB to EB construction.
- Modeled a single node with input and output queues for IBs and EBs.

## Meeting with Research

- Discussed ongoing research work and networking challenges.
- Aimed to define a ΔQ model for Leios and explore protocol structure.

## Public Meeting on October 31, 2024

- [Recording](https://drive.google.com/file/d/12VE0__S0knHqXXpIVdXGWvDipK0g89p_/view?usp=sharing)
- [Slides](https://docs.google.com/presentation/d/1KgjJyP6yZyZKCGum3deoIyooYUOretA9W6dTtXv1fso/edit?usp=sharing)
24 changes: 24 additions & 0 deletions site/news/2024-11-04-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
---
title: Weekly Progress Summary - November 4, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Weekly Meeting

- Discussed Ethereum's blob approach and its relevance to Leios.
- Considered Leios for storing unstructured, transient data.
- Identified potential use cases and next steps for protocol modeling.

## Meeting with Spyros

- Spyros worked on network simulation for Leios using Peernet.
- Focused on bandwidth as a limiting factor and explored block generation
frequency limits.

## Structuring Repository for Open-source

- Added basic instructions for Code of Conduct, Contribution guidelines, and
coding standards.
- Restructured code to merge `leios` and `leios-sim` packages.
23 changes: 23 additions & 0 deletions site/news/2024-11-11-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
---
title: Weekly Progress Summary - November 11, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Network Simulation for Leios

- Discussed early simulations for Leios with researchers.
- Simulated block diffusion with bandwidth constraints.
- Modeled block propagation among nodes and observed variations in diffusion
time.

## Team Meeting

- Explored potential use cases for "Blob Leios" in governance and auctions.
- Discussed incentives for SPOs to serve data and compared with Filecoin.

## Presentation by Sandro

- Sandro provided an introductory talk on Leios, explaining protocol decisions.
- Recording available for team review.
21 changes: 21 additions & 0 deletions site/news/2024-11-18-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
---
title: Weekly Progress Summary - November 18, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Structuring Repository for Open-source

- Added basic instructions for Code of Conduct, Contribution guidelines, and
coding standards.
- Restructured code to merge `leios` and `leios-sim` packages.

## Designing Test Environment

- Sketched ideas for exploring Leios behavior with respect to networking.

## Leios Meeting

- Discussed network simulation and ΔQ model of the pipeline.
- Gathered numbers on network latency and throughput.
27 changes: 27 additions & 0 deletions site/news/2024-11-25-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
---
title: Weekly Progress Summary - November 25, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Visualizing Node Behavior

- Added a web server to render throughput of IBs and EBs in the Leios
simulation.
- Utilized `Tracer` interface for JSON-formatted traces and live graph plotting.

## Discussion with Nicolas

- Explored Leios protocol with a focus on IB to EB construction.
- Modeled a single node with input and output queues for IBs and EBs.

## Meeting with Research

- Discussed ongoing research work and networking challenges.
- Aimed to define a ΔQ model for Leios and explore protocol structure.

## Public Meeting on November 27, 2024

- [Meeting Recording](https://drive.google.com/file/d/1W4iu4MwOXILXes1Zi43MeM505KAOHXso/view?usp=sharing)
- [Meeting Slides](https://docs.google.com/presentation/d/11LHQeUuv-TQfiy9GwXkrffSimFjSq8tdTB8qIB-Pk3U/edit?usp=sharing)
22 changes: 22 additions & 0 deletions site/news/2024-12-02-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
---
title: Weekly Progress Summary - December 2, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Nix Development Environment

- Created a separate repository for a `nix develop` environment with the correct
Haskell compiler and dependencies.

## Rust Simulation

- Developed a fully virtual clock to decouple simulation performance from wall
clock time.

## ΔQ Model

- Created ΔQ models for transaction diffusion in Rust and Praos block diffusion
in Haskell simulations.
- Identified discrepancies between simulation behavior and ΔQ expressions.
23 changes: 23 additions & 0 deletions site/news/2024-12-09-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
---
title: Weekly Progress Summary - December 9, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Discussion with IOG SRE for Nodes

- Discussed cloud engineering aspects of Cardano node deployments relevant to
Leios.
- Recommendations for updating the cost calculator with predefined cost
defaults.

## Threat Model

- Drafted a section on the Leios threat model detailing 25 hypothetical threats.
- Discussed potential impacts and mitigations.

## Rust Simulation

- Generated new test data set to match the geographical distribution of mainnet
nodes.
22 changes: 22 additions & 0 deletions site/news/2024-12-16-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
---
title: Weekly Progress Summary - December 16, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Rust Simulation

- Optimized virtual clock to be lock-free, removing contention from the previous
implementation.

## Haskell Simulation

- Merged Leios visualizations on `main`.
- Improved P2P visualization with block type differentiation and latency
charting.

## Analysis of Vote Size and ALBA Certificates

- Estimated minimum possible size for votes using ephemeral keys or KES.
- Benchmarked CPU time for ALBA certificates.
25 changes: 25 additions & 0 deletions site/news/2024-12-23-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
---
title: Weekly Progress Summary - December 23, 2024
authors:
- will
tags: [progress, update, weekly]
---

## GitHub Actions

- Organized CI configuration with namespace prefixes for better project sorting.

## Rust Simulation

- Began visualizing transaction throughput.
- Tweaked configuration settings to maximize throughput.

## Haskell Simulation

- Merged code for running Praos and Leios visualizations.
- Added HLint integration for consistent module imports.

## Public Meeting on December 28, 2024

- [Meeting Recording](https://drive.google.com/file/d/1F07oKxBgdOEasGcstxEavkPCgr58sbIO/view?usp=sharing)
- [Meeting Slides](https://docs.google.com/presentation/d/1LwpcXnXLgrYTSDalJY1SfpeyU_4lIkYhyMy5Kv0Huzw/edit?usp=sharing)
28 changes: 28 additions & 0 deletions site/news/2024-12-30-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
---
title: Weekly Progress Summary - December 30, 2024
authors:
- will
tags: [progress, update, weekly]
---

## Rust Simulation

- Abandoned Waxman graph generation in favor of a simpler distance-weighted
approach for better control over graph connectivity.

## Haskell Simulation

- Added support for bounded and unbounded parallelism to Leios node.
- Fixed Relay protocol messages to ensure ordered delivery.
- Next steps include loading protocol configuration from disk and investigating
EB inclusion rates.

## Revised Analysis of Votes and Certificates

- Continued research on cryptographic options for Leios votes and certificates.
- BLS identified as the most viable option.

## Jupyter Support for DeltaQ

- Introduced new high-performance Haskell packages for DeltaQ with comprehensive
test suites.
45 changes: 45 additions & 0 deletions site/news/2025-01-06-weekly-progress-summary.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
---
title: Weekly Progress Summary - January 6, 2025
authors:
- will
tags: [progress, update, weekly]
---

## Rust Simulation

- Added basic simulation of CPU usage/latency.
- Implemented "lottery won" events to identify the start of CPU processing.
- Each node has 4 simulated cores, configurable per-node.
- TX validation and RB/IB/EB generation/validation each take one CPU task.
- All vCPU costs were copied from the cost estimator.

## DeltaQ Summary Update

- Added MIN / MAX combinators for best- and worst-case simulation results.
- Rust simulation best case does not match analytically best behavior.
- Haskell simulation best case is too fast; ΔQ expression must assume >200 peers
per node.

## Cost Dashboard Updates

- Improved input parameters and computations.
- Lengthened phases and reduced EB rate.
- Updated CPU costs for votes and certificates.
- Revised IOPS values based on empirical data from Cardano nodes.

## Benchmarking BLS Signatures

- Benchmarked BLS votes using the Rust bls-signatures package.
- Aggregate verification significantly speeds up the process.
- Provided CPU time estimates for various operations.

## Votes and Certificates

- Updated size estimates for votes.
- Added CPU time estimates for BLS votes and certificates.
- Drafted technical report sections on BLS and MUSEN certificates.

## Sortition Analysis

- Analyzed sortition for IBs, EBs, and votes.
- Added findings to the draft of the first technical report.
Loading
Loading