Skip to content

[FEAT] - Adapt the formal spec to include Linear Leios #2273

Open
Feature
Open
[FEAT] - Adapt the formal spec to include Linear Leios#2273
Feature
Assignees
javierdiaz72
Labels
enhancementNew feature or requestformal-specChanges related to formal specifications

Description

@javierdiaz72
javierdiaz72
opened on Sep 7, 2026

We shall adapt the formal spec to include the changes related to Ouroboros Linear Leios as described in CIP-164.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancementNew feature or requestformal-specChanges related to formal specifications

Type

Feature

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions