fraser-iohk

Implementation of a Consensus Layer for the Ouroboros family of protocols

Metadata for Cardano's Haskell package repository

KES agent provides a solution for storing KES keys in-process, in order to allow them to be erased securely and enable forward security in the Cardano blockchain.

The ledger implementation and specifications of the Cardano blockchain.

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.

The core component that is used to participate in a Cardano decentralised blockchain.

Code used throughout the Cardano eco-system

Haskell's IO simulator which closely follows core packages (base, async, stm).

A library for stateful property-based testing

The core component that is used to participate in a Cardano decentralised blockchain.

The core component that is used to participate in a Cardano decentralised blockchain.