Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
30 changes: 16 additions & 14 deletions site/docs/how-it-works.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,31 +8,31 @@ Leios' unique design manages a structured flow of transactions. Here's a
breakdown of how it works:

1. **Creating input blocks (IBs)**:<br />
Validators bundle transactions into IBs and broadcast them across the network
Validators bundle transactions into IBs and broadcast them across the network.

2. **Proofs of data availability**:<br />
Validators verify that the IBs contain valid and accessible data
Validators verify that the IBs contain valid and accessible data.

3. **Generating endorser blocks (EBs)**:<br />
EBs aggregate several verified IBs and propose them for inclusion in the
blockchain
blockchain.

4. **Pipelined processing**:<br />
The protocol follows a seven-stage endorsing pipeline (described below)
The protocol follows a seven-stage endorsing pipeline (described below).

5. **Voting and certification**:<br />
Validators ensure that IBs contain valid and accessible data by checking
their correctness
This process is primarily handled by the endorser block producer
Includes verifying that all available IBs adhere to network rules and
ensuring transactions are script compliant if required
ensuring transactions are script compliant if required.

6. **Final inclusion in the blockchain**:<br />
A certificate (generated from the voting process and referencing the EB) is
stored in the blockchain
stored in the blockchain.
This certificate is included in the Praos block (ranking block)
Ensures blockchain efficiency while maintaining a verifiable record of
endorsed transactions
endorsed transactions.

## Leios architecture

Expand All @@ -42,34 +42,36 @@ A pipeline instance comprises seven stages:
1. **Propose**:
- Validators generate and propose IBs containing transaction data
- IBs proposed during this stage are the focus of the current pipeline
instance
instance.

2. **Deliver1**:
- Allocates time for proposed IBs to be disseminated throughout the network
- Duration is crucial for ensuring all honest nodes receive IBs before the
next stage
next stage.

3. **Link**:
- Validators create EBs that reference the IBs generated in the 'Propose'
stage
- EBs serve as containers for grouping and ordering IBs
- EBs serve as containers for grouping and ordering IBs.

4. **Deliver2**:
- Allows time for dissemination of any adversarial IBs referenced by EBs in
the 'Link' stage
- Ensures honest nodes have received all relevant IBs before casting votes
- Ensures honest nodes have received all relevant IBs before casting votes.

5. **Vote1**:
- Validators cast votes for EBs from the 'Link' stage
- Specifically for EBs whose referenced IBs have been successfully delivered
- An EB becomes Vote1-certified if it receives enough votes
- An EB becomes Vote1-certified if it receives enough votes.

6. **Endorse**:
- Vote1-certified EBs are referenced by new EBs created during this stage
- Links EBs across different pipeline instances
- Strengthens overall confirmation of IBs
- Strengthens overall confirmation of IBs.

7. **Vote2**:
- Validators cast final votes for EBs from the 'Endorse' stage
- An EB becomes Vote2-certified if it meets specific criteria
- Must reference a majority of Vote1-certified EBs
- Must reference a majority of Vote1-certified EBs.

This pipelined architecture ensures the continuous generation, parallel processing, dissemination, and confirmation of IBs, enabling Leios to achieve a high transaction throughput.
4 changes: 3 additions & 1 deletion site/docs/overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -43,4 +43,6 @@ The key idea is to separate transaction ordering (which occurs on the base
chain) from transaction diffusion, availability, and validation. Ultimately,
these multiple lanes must merge into a single, orderly flow of vehicles – just
as the blocks of the underlying main chain consolidate transactions into a
final, agreed-upon sequence.
final, agreed-upon sequence.

*Read the following sections to learn more about the protocol’s properties and high-level architecture.*
14 changes: 7 additions & 7 deletions site/docs/protocol-overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,31 +8,31 @@ Leios addresses three interconnected concerns often found in blockchains:

- Transaction diffusion
- Transaction validation and availability
- Transaction ordering
- Transaction ordering.

By decoupling transaction processing from consensus, Leios allows for more
efficient and continuous resource usage (eg, CPU and bandwidth). Instead of
experiencing short bursts of network load when blocks are fully created,
validated, and diffused, Leios introduces two core components to facilitate this
decoupling:

## Input blocks (IBs)
**Input blocks (IBs)**

- Validators (stakeholders or miners) bundle transactions into lightweight IBs
at high speed
- IBs are generated concurrently, not sequentially, maximizing available
bandwidth
bandwidth.

## Endorser blocks (EBs)
**Endorser blocks (EBs)**

- EBs aggregate batches of IBs and undergo a two-phase voting process to certify
their validity and availability
- This is necessary because blocks are divided into two parts: headers and
bodies
- An input block will not be referenced by an endorser block if its body is not
available
available.

## Key Properties
## Key properties

The following properties set Leios apart from traditional blockchain protocols:

Expand All @@ -46,4 +46,4 @@ The following properties set Leios apart from traditional blockchain protocols:
- **Scalability**: The system scales smoothly with network capacity and
available CPU resources needed to run verifiable random function (VRF)
lotteries, process blocks and votes, and generate certificates. It maintains
high performance even as participation fluctuates
high performance even as participation fluctuates.
63 changes: 30 additions & 33 deletions site/docs/resources.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,63 +4,60 @@ sidebar_position: 4

# Resources

This page collects various resources about Ouroboros Leios, from technical
papers to presentations and videos.
This page provides a collection of resources on Ouroboros Leios, including technical papers, presentations, and videos.

## Technical Documentation
## Technical documentation

- [Leios CIP](https://github.com/cardano-foundation/CIPs/pull/379) - The Cardano
Improvement Proposal by Duncan Coutts, providing rationale and a high-level
design of the protocol.
- [Leios CIP](https://github.com/cardano-foundation/CIPs/pull/379) – the Cardano
Improvement Proposal by Duncan Coutts, providing the rationale and a high-level
design of the protocol

- [Research Paper](https://iohk.io/en/research/library/papers/high-throughput-blockchain-consensus-under-realistic-network-assumptions/) -
The original research paper defining the core protocol and its theoretical
properties.
- [High-Throughput Blockchain Consensus under Realistic Network Assumptions](https://iohk.io/en/research/library/papers/high-throughput-blockchain-consensus-under-realistic-network-assumptions/) research paper – the original research defining the core protocol and its theoretical properties.

## Videos

- [Scaling Cardano with Leios](https://www.youtube.com/watch?v=Czmg9WmSCcI) -
Professor Aggelos Kiayias, IOG's Chief Scientist, explains Leios in the
context of scaling Cardano.
- [Scaling Cardano with Leios](https://www.youtube.com/watch?v=Czmg9WmSCcI)
Professor Aggelos Kiayias, IO's chief scientist, explains Leios in the
context of scaling Cardano

- [Understanding Leios](https://www.youtube.com/watch?v=YEcYVygdhzU) - Giorgos
- [Understanding Leios](https://www.youtube.com/watch?v=YEcYVygdhzU) Giorgos
Panagiotakos, one of the paper's co-authors, provides a detailed explanation
of the protocol.
of the Leios protocol

- **Monthly Leios Meetings**
- **Monthly Leios meetings**:

- [October, 2024](https://drive.google.com/file/d/12VE0__S0knHqXXpIVdXGWvDipK0g89p_/view?usp=sharing)
- [October 2024](https://drive.google.com/file/d/12VE0__S0knHqXXpIVdXGWvDipK0g89p_/view?usp=sharing)

- [November, 2024](https://drive.google.com/file/d/1W4iu4MwOXILXes1Zi43MeM505KAOHXso/view?usp=sharing)
- [November 2024](https://drive.google.com/file/d/1W4iu4MwOXILXes1Zi43MeM505KAOHXso/view?usp=sharing)

- [December, 2024](https://drive.google.com/file/d/1F07oKxBgdOEasGcstxEavkPCgr58sbIO/view?usp=sharing)
- [December 2024](https://drive.google.com/file/d/1F07oKxBgdOEasGcstxEavkPCgr58sbIO/view?usp=sharing)

- [January, 2025](https://www.youtube.com/live/6ovcWDCdqFU?si=-dgnvO7353tUyiDZ&t=120)
- [January 2025](https://www.youtube.com/live/6ovcWDCdqFU?si=-dgnvO7353tUyiDZ&t=120).

## Presentations

- [Leios Overview Slides](https://docs.google.com/presentation/d/1W_KHdvdLNDEStE99D7Af2SRiTqZNnVLQiEPqRHJySqI/edit?usp=sharing) -
Presentation by Sandro Coretti-Drayton offering insights into Leios.
- [Leios overview slides](https://docs.google.com/presentation/d/1W_KHdvdLNDEStE99D7Af2SRiTqZNnVLQiEPqRHJySqI/edit?usp=sharing)
the presentation by Sandro Coretti-Drayton providing insights into Leios.

- **Monthly Leios Presentations**
- **Monthly Leios presentations**:

- [October, 2024 Slides](https://docs.google.com/presentation/d/1KgjJyP6yZyZKCGum3deoIyooYUOretA9W6dTtXv1fso/edit?usp=sharing)
- [October 2024 slides](https://docs.google.com/presentation/d/1KgjJyP6yZyZKCGum3deoIyooYUOretA9W6dTtXv1fso/edit?usp=sharing)

- [November, 2024 Slides](https://docs.google.com/presentation/d/11LHQeUuv-TQfiy9GwXkrffSimFjSq8tdTB8qIB-Pk3U/edit?usp=sharing)
- [November 2024 slides](https://docs.google.com/presentation/d/11LHQeUuv-TQfiy9GwXkrffSimFjSq8tdTB8qIB-Pk3U/edit?usp=sharing)

- [December, 2024 Slides](https://docs.google.com/presentation/d/1LwpcXnXLgrYTSDalJY1SfpeyU_4lIkYhyMy5Kv0Huzw/edit?usp=sharing)
- [December 2024 slides](https://docs.google.com/presentation/d/1LwpcXnXLgrYTSDalJY1SfpeyU_4lIkYhyMy5Kv0Huzw/edit?usp=sharing)

- [January, 2025 Slides](https://docs.google.com/presentation/d/1qKXe3CvAvJGVWAssjrKpRrRABMT6I39E1FxUWQ_PZzo/edit?usp=sharing)
- [January 2025 slides](https://docs.google.com/presentation/d/1qKXe3CvAvJGVWAssjrKpRrRABMT6I39E1FxUWQ_PZzo/edit?usp=sharing).

## Tools and Simulations
## Tools and simulations

- [Throughput Simulation](https://www.insightmaker.com/insight/5B3Sq5gsrcGzTD11GyZJ0u/Cardano-Throughput-v0-2) -
Interactive simulation demonstrating Leios' throughput capabilities.
- [Throughput simulation](https://www.insightmaker.com/insight/5B3Sq5gsrcGzTD11GyZJ0u/Cardano-Throughput-v0-2)
an interactive simulation demonstrating Leios' throughput capabilities.

## Development Resources
## Development resources

- [GitHub Repository](https://github.com/input-output-hk/ouroboros-leios) - The
official Leios implementation repository.
- [GitHub repository](https://github.com/input-output-hk/ouroboros-leios) – the
official Leios implementation repository

- [Cost Estimator](https://leios.cardano-scaling.org/cost-estimator/) - Tool for
- [Cost estimator](https://leios.cardano-scaling.org/cost-estimator/) – the tool for
estimating resource costs in Leios.
Loading