Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/IntersectMBO/ouroboros-network
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.
https://github.com/IntersectMBO/ouroboros-network
blockchain haskell network ouroboros
Last synced: 10 days ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/IntersectMBO/ouroboros-network
- Owner: IntersectMBO
- License: apache-2.0
- Created: 2018-09-19T16:38:43.000Z (about 6 years ago)
- Default Branch: main
- Last Pushed: 2024-10-29T15:38:17.000Z (10 days ago)
- Last Synced: 2024-10-29T15:56:36.190Z (10 days ago)
- Topics: blockchain, haskell, network, ouroboros
- Language: Haskell
- Homepage: https://ouroboros-network.cardano.intersectmbo.org
- Size: 42.1 MB
- Stars: 275
- Watchers: 50
- Forks: 87
- Open Issues: 351
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Codeowners: .github/CODEOWNERS
- Security: SECURITY.md
Awesome Lists containing this project
- best-of-crypto - GitHub - 22% open · ⏱️ 31.05.2024): (Smart Contract Platforms)
README
# Ouroboros Network
[![x86\_64-linux](https://img.shields.io/endpoint?url=https://ci.iog.io/job/IntersectMBO-ouroboros-network/master/x86_64-linux.required/shield&style=for-the-badge&label=x86_64-linux)](https://ci.iog.io/job/IntersectMBO-ouroboros-network/master/x86_64-linux.required)
[![x86\_64-darwin](https://img.shields.io/endpoint?url=https://ci.iog.io/job/IntersectMBO-ouroboros-network/master/x86_64-darwin.required/shield&style=for-the-badge&label=x86_64-darwin)](https://ci.iog.io/job/IntersectMBO-ouroboros-network/master/x86_64-darwin.required)
[![aarch64-darwin](https://img.shields.io/endpoint?url=https://ci.iog.io/job/IntersectMBO-ouroboros-network/master/aarch64-darwin.required/shield&style=for-the-badge&label=aarch64-linux)](https://ci.iog.io/job/IntersectMBO-ouroboros-network/master/aarch64-darwin.required)
[![mingw64](https://img.shields.io/github/actions/workflow/status/intersectmbo/ouroboros-network/build.yml?event=merge_group&label=mingw64&style=for-the-badge)](https://github.com/intersectmbo/ouroboros-network/actions/workflows/build.yml)
[![Nightly CI](https://img.shields.io/github/actions/workflow/status/intersectmbo/ouroboros-network/nightly.yml?branch=master&label=Nightly&style=for-the-badge)](https://github.com/intersectmbo/ouroboros-network/actions/workflows/nightly.yml)
[![Haddocks](https://img.shields.io/github/actions/workflow/status/intersectmbo/ouroboros-network/github-page.yml?branch=master&label=Haddocks&style=for-the-badge)](https://ouroboros-network.cardano.intersectmbo.org/)
[![Discord](https://img.shields.io/discord/1136727663583698984?style=for-the-badge&color=blue)](https://discord.gg/8ncb7fgG)This repository contains specification and implementation of the network
protocols and applications for Ouroboros family of protocols, primiarly used by
[cardano-node], [cardano-cli], [cardano-db-sync] or [cardano-wallet].The following graph shows the dependency tree. The top-level package is
`ouroboros-consensus-diffusion` which is part of [ouroboros-consensus]```mermaid
flowchart TD
A[network-mux] --> B[network / Win32-network]
M[cardano-ping] --> A
D[ouroboros-network-framework] --> A
D --> E[ouroboros-network-api]
E --> H[typed-protocols]
G --> H[typed-protocols]
G --> E
F[ouroboros-network] --> D
F --> G[ouroboros-network-protocols]
I[ouroboros-consensus-diffusion] --> F
J[cardano-client] --> F
K[ntp-client] --> Bclick A "https://ouroboros-network.cardano.intersectmbo.org/network-mux/" _blank
click M "https://ouroboros-network.cardano.intersectmbo.org/cardano-ping/" _blank
click D "https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-framework/" _blank
click E "https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-api/" _blank
click F "https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network/" _blank
click G "https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-protocols/" _blank
click I "https://github.com/intersectmbo/ouroboros-consensus/" _blank
click J "https://ouroboros-network.cardano.intersectmbo.org/cardano-client/" _blank
click K "https://ouroboros-network.cardano.intersectmbo.org/ntp-client/" _blank
click H "https://github.com/input-output-hk/typed-protocols/" _blank
```* `network-mux` - implementation of a general network multiplexer.
* `ouroboros-network-api` - shared API between `network` and `consensus` components.
* `ouroboros-network-framework` - low-level network components, e.g. snockets,
connection manager, inbound governor, handshake mini-protocol, network
simulator.
* `ouroboros-network-protocols` - implementation of all /node-to-node/
& /node-to-client/ protocols. Also contains a testing library which is
implementing various applications for testing purposes.
* `ouroboros-network`- top-level integration of all network components also
defines `node-to-node` and `node-to-client` API. It contains the implementation
of the outbound governor.
* `ouroboros-network-mock` & `ouroboros-network-testing` - shared testing code.
* `ntp-client` - an `ntp` client (used by `cardano-wallet`).
* `cardano-ping` - a library which implements the core functionality of
`cardano-cli ping` command.
* `cardano-client` - a subscription for `node-to-client` which wants to connect
to a `cardano-node`.Libraries:
* `monoidal-synchronisation` - a small standalone package which contains
synchronisation primitives.## Documentation
We have two documents which describe various levels of the networking layer of
the Cardano Shelley implementation:* [Introduction to the design of Data Diffusion and Networking of Cardano Shelley](https://ouroboros-network.cardano.intersectmbo.org/pdfs/network-design)
This document explains the technical requirements and key constraints for the networking
layer of the _Cardano Shelley_ implementation of _Ouroboros Praos_. This is
a design document.* [The Shelley Networking Protocol](https://ouroboros-network.cardano.intersectmbo.org/pdfs/network-spec)
This document is a technical specification of the networking protocol. It
includes serialisation formats, necessary details of the multiplexer and
technical specifications of mini-protocols used by either _node-to-node_ and
_node-to-client_ flavours of the protocol.* [Haddock documentation][ouroboros-network]
- [Official Cardano Documentation](https://docs.cardano.org/en/latest/)
Specifically the section "Explore Cardano" is helpful, since it talks about the [Cardano Architecture](https://docs.cardano.org/explore-cardano/cardano-architecture), [Cardano Design Rationale](https://docs.cardano.org/explore-cardano/cardano-design-rationale), the [Cardano Network](https://docs.cardano.org/explore-cardano/cardano-network/about-the-cardano-network), etc.
Although the Cardano documentation is less detailed, it is a good place to start and refresh some more basic concepts about Cardano.### Work progress
On a biweekly basis, we publish updates on [cardano-updates].
We are also tracking our current work in the [Ouroboros Network Project][ouroboros-network-project].### Contributing
The contributing guide is available [here][contributing-guide].
The style guide is available [here][style-guide].
The code of conduct is available [here][code-of-conduct].## Ouroboros Network API
The API consists of three layers:
• mini-protocol APIs, which are GADTs for each mini-protocol under `Ouroboros.Network.Protocol` (defined in `ouroboros-network-protocols` package); this hides heavy type machinery of session types. One only needs the [`Peer`] or [`PeerPipelined`] type when one is using [`runPeer`] or [`runPeerPipelined`] function and each protocol exposes a function to create it (e.g. [`chainSyncClientPeer`]. There is also API which allows to run a [`Peer`] or [`PipelinedPeer`] with limits (i.e. per state timeouts & per message size limits).
• callback [`MiniProtocolCb`]. The callback is wrapped in `OuroborosApplication` GADT which allows to differentiate the initiator/responder (or client/server) callbacks.
• versioning which is a map from version numbers to the above callbacks and version data (the tricky part here is that version data type can be different between different versions; there is a simple way of building this map using a semigroup). You can use [`simpleSingletonVersion`] if your application does not depend on negotiated version data. However, [`Ouroboros.Network.NodeToNode`] and [`Ouroboros.Network.NodeToClient`] expose API which hides versioning from the caller.
## Demo applications
* [demo-chain-sync](https://github.com/intersectmbo/ouroboros-network/wiki/Ouroboros-Network-Demo)
* [cardano-ping](https://github.com/intersectmbo/ouroboros-network/wiki/cardano-ping)
* [mux-demo](https://github.com/intersectmbo/ouroboros-network/blob/master/network-mux/demo/mux-demo.hs)
* [demo-ping-pong](https://github.com/intersectmbo/ouroboros-network/blob/master/ouroboros-network-framework/demo/ping-pong.hs)
* [demo-ntp-client](https://github.com/intersectmbo/ouroboros-network/blob/master/ntp-client/demo/Main.hs)Instructions
To run a demo type:```
cabal run --
```After `--` you will need to pass arguments, when a demo is run without
arguments it will specify what arguments it needs.[cardano-cli]: https://github.com/intersectmbo/cardano-cli
[cardano-db-sync]: https://github.com/intersectmbo/cardano-db-sync
[cardano-node]: https://github.com/intersectmbo/cardano-node
[cardano-wallet]: https://github.com/cardano-foundation/cardano-wallet
[ouroboros-consensus]: https://github.com/intersectmbo/ouroboros-consensus
[ouroboros-network]: https://ouroboros-network.cardano.intersectmbo.org
[cardano-updates]: https://updates.cardano.intersectmbo.org/tags/network
[ouroboros-network-project]: https://github.com/orgs/IntersectMBO/projects/5/views/1
[contributing-guide]: ./CONTRIBUTING.md
[code-of-conduct]: ./CODE_OF_CONDUCT.md
[style-guide]: ./docs/StyleGuide.md
[`MiniProtocolCb`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-framework/Ouroboros-Network-Mux.html#t:MiniProtocolCb
[`Peer`]: https://input-output-hk.github.io/typed-protocols/typed-protocols/Network-TypedProtocol-Core.html#t:Peer
[`PeerPipelines`]: https://input-output-hk.github.io/typed-protocols/typed-protocols/Network-TypedProtocol-Pipelined.html#t:PeerPipelined
[`runPeer`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-framework/Ouroboros-Network-Driver.html#v:runPeer
[`runPipelinedPeer`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-framework/Ouroboros-Network-Driver.html#v:runPipelinedPeer
[`chainSyncClientPeer`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-protocols/Ouroboros-Network-Protocol-ChainSync-Client.html#v:chainSyncClientPeer
[`OuroborosApplication`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-framework/Ouroboros-Network-Mux.html#t:OuroborosApplication
[`simpleSingletonVersion`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network-framework/Ouroboros-Network-Protocol-Handshake-Version.html#v:simpleSingletonVersions
[`Ouroboros.Network.NodeToNode`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network/Ouroboros-Network-NodeToNode.html
[`Ouroboros.Network.NodeToClient`]: https://ouroboros-network.cardano.intersectmbo.org/ouroboros-network/Ouroboros-Network-NodeToClient.html