GitHub actions​

• Organized continuous integration (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
• Meeting slides.

Rust simulation​

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

Haskell simulation​

• Merged Leios visualizations on main
• Improved peer-to-peer (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 key evolving signatures (KES)
• Benchmarked central processing unit (CPU) time for ALBA certificates.

Node discussions with IOG site reliability engineering​

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

Threat model analysis​

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

Rust simulation​

• Generated new test data set to match the geographical distribution of mainnet nodes.

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.

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
• Meeting Slides

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.

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.

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.

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
• Slides

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.