Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
-
Updated
Jan 10, 2025 - Haskell
#
ouroboros
Here are 3 public repositories matching this topic...
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
blockchain distributed-computing cryptocurrency formal-methods formal-verification cardano ouroboros
-
Updated
Feb 4, 2022 - Haskell
Implementation of a Consensus Layer for the Ouroboros family of protocols
-
Updated
Jan 11, 2025 - Haskell
Improve this page
Add a description, image, and links to the ouroboros topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ouroboros topic, visit your repo's landing page and select "manage topics."