Leios development resources

[bwbush]

Leios development resources

• Website
  • https://leios.cardano-scaling.org/
• CIP
  • CIP-0079? | Implement Ouroboros Leios to increase Cardano throughput cardano-foundation/CIPs#379
• Leios papers
  • High-Throughput Blockchain Consensus under Realistic Network Assumptions, 2024
  • Ouroboros Leios: design goals and concepts, 2022
• Leios videos
  • 'Near optimal throughput': A deep dive into Ouroboros Leios, 2024
  • Scaling blockchain protocols: a research-based approach, 2024
• Discord
  • https://discord.com/channels/826816523368005654/1247688618621927505
• ALBA papers
  • Approximate Lower Bound Arguments, 2024
• Delta Q
  • https://github.com/DeltaQ-SD/dqsd-piecewise-poly
  • https://github.com/DeltaQ-SD/dqsd-classes
  • https://github.com/DeltaQ-SD/pnsol-deltaq-clone
  • https://github.com/DeltaQ-SD/dqsd-workbench
  • https://github.com/DeltaQ-SD/dqsd-symbolic
  • Mind Your Outcomes: Quality-Centric Systems Development, 2022
  • Using the ΔQ calculus to model blockchain scalability, 2017

[bwbush]

Intersect Discord channels revelvant to Leios

• #network-working-group
• #consensus-working-group
• #ledger-working-group
• #product-special-interest-groups
  • Scalability thread
  • DeFi/DApps thread

[bwbush]

Introduction to the design of the Data Diffusion and Networking for Cardano Shelley

[bwbush]

Constraint-based generators for property-based tests:

• https://github.com/IntersectMBO/plutus/tree/master/plutus-core/testlib/PlutusCore/Generators/NEAT
• https://github.com/IntersectMBO/cardano-ledger/tree/master/libs%2Fconstrained-generators

[bwbush]

• CPS for higher throughput

[bwbush]

• CF Infrastructure Survey 2024