Skip to content

Created page of post-CIP findings. #619

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.

Sign up for GitHub

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

Merged
merged 1 commit into from
Nov 13, 2025
Merged

Created page of post-CIP findings. #619

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
7 changes: 7 additions & 0 deletions Logbook.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,12 @@
# Leios logbook

> [!IMPORTANT]
>
> Now that the [Leios CIP](https://github.com/cardano-foundation/CIPs/pull/1078) is under review and implementation work has begun, this Leios logbook has been retired in favor of github tickets in the [Leios implementation roadmap](https://github.com/orgs/input-output-hk/projects/167/views/3).
>
> See the [Post-CIP R&D Findings](docs/post-cip-findings.md) document for additional (after 2025-11-01) findings and artifacts not directly related to the implementation of Linear Leios.


## 2025-10-21

### Mainnet data on "canary transactions"
Expand Down
2 changes: 1 addition & 1 deletion analysis/markov/ReadMe.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ The protocol state is represented by three quantities.
- Whether an honest RB was produced.
- Whether a certificate is ready for inclusion in the next RB.

Time is tracked in terms of block-forging opportunties instead of in terms of slots.
Time is tracked in terms of block-forging opportunities instead of in terms of slots.

Transitions occur in several substeps:

Expand Down
36 changes: 36 additions & 0 deletions docs/post-cip-findings.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
# Post-CIP R&D Findings

This document catalogs Leios-related findings and artifacts that were created subsequent to the [Leios CIP](https://github.com/cardano-foundation/CIPs/pull/1078).

## Markovian model of Linear Leios

[Markovian simulation of Linear Leios](../analysis/markov/) computes the probability of EB certifications as RBs are produced.

The protocol state is represented by three quantities.

- The number of RBs that have been produced.
- The number of EBs that have been produced.
- Whether an honest RB was produced.
- Whether a certificate is ready for inclusion in the next RB.

Time is tracked in terms of block-forging opportunities instead of in terms of slots.

Transitions occur in several substeps:

1. _Forge RB:_ create a new RB.
2. _Certify:_ include a certificate in the RB.
3. _Forge EB:_ create a new EB.
4. _Vote:_ cast votes to reach a quorum.

The `linleios` program executes the Markov model for EB production in Linear Leios. The protocol parameters and network characteristic are specified as flags on the command line. The program outputs the following information:

- The efficiencies, on `/dev/stdout`.
- RB efficiency: the fraction of possible RBs that were actually produced.
- EB efficiency: the fraction of possible EBs that were actually produced.
- Efficiency: the fraction o possible payload bytes that were actual produced.
- The "missing probability" resulting from the finite-resolution arithmetic of the computations, on `/dev/stderr`.
- Optionally, a JSON file containing the probabilities of the given number of certified EBs.

The figure below shows example results for the probability distribution of the number of EBs generated per 100 RBs. This directly relates to Leios efficiency.

![Example results](../analysis/markov/example-results.png)