diff --git a/site/docs/how-it-works.md b/site/docs/how-it-works.md index 8493c8c9d..e135dfa12 100644 --- a/site/docs/how-it-works.md +++ b/site/docs/how-it-works.md @@ -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)**:
- 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**:
- 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)**:
EBs aggregate several verified IBs and propose them for inclusion in the - blockchain + blockchain. 4. **Pipelined processing**:
- The protocol follows a seven-stage endorsing pipeline (described below) + The protocol follows a seven-stage endorsing pipeline (described below). 5. **Voting and certification**:
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**:
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 @@ -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. diff --git a/site/docs/overview.md b/site/docs/overview.md index 5889fa461..51e3ee531 100644 --- a/site/docs/overview.md +++ b/site/docs/overview.md @@ -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. \ No newline at end of file +final, agreed-upon sequence. + +*Read the following sections to learn more about the protocol’s properties and high-level architecture.* diff --git a/site/docs/protocol-overview.md b/site/docs/protocol-overview.md index 5acf2d816..f26cf8c3a 100644 --- a/site/docs/protocol-overview.md +++ b/site/docs/protocol-overview.md @@ -8,7 +8,7 @@ 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 @@ -16,23 +16,23 @@ 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: @@ -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. diff --git a/site/docs/resources.md b/site/docs/resources.md index 9f84608a8..2b114e1e9 100644 --- a/site/docs/resources.md +++ b/site/docs/resources.md @@ -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.