- io-sim -
IOSim
simulator monad which supports asynchronous exceptions,STM
transactions andasync
interface, timers. - io-sim-classes - type classes, all of them have instance for both
IOSim
andIO
. typed-protocols
- session type framework with support of protocol pipeliningouroboros-network
- ouroboros network package which implements protocols which to run ouroboros family of protocols, multiplexing layer.byron-proxy
- proxy between Byron and Shelley nodes.
The network design is documented here. It includes high level overview and requirements, description of communication protocols, design of the multiplexing layer, wire protocl (binary encoding of messages). It is a self contained document, written for implementors who wish to re-implenet Cardano Shelley network architecture.
You can run a demo application, check chain-sync-demo wiki page.
cabal new-run pkg:typed-protocols:tests
or with nix
nix-build -A nix-tools.tests.ouroboros-network
cabal new-run pkg:io-sim:tests
or with nix
nix-build -A nix-tools.tests.io-sim
cabal new-run pkg:ouroboros-network:tests
or with nix
nix-build -A nix-tools.tests.ouroboros-network
cabal new-run pkg:ouroboros-consensus:tests
or with nix
nix-build -A nix-tools.tests.ouroboros-consensus
Consensus layer of the family Ouroboros blockchain protocols.
cabal new-run pkg:ouroboros-consensus:test-consensus
or with nix
nix-build -A nix-tools.tests.ouroboros-consensus.test-consensus
cabal new-run pkg:ouroboros-consensus:test-crypto
or with nix
nix-build -A nix-tools.tests.ouroboros-consensus.test-crypto
cabal new-run pkg:ouroboros-consensus:test-storage
or with nix
nix-build -A nix-tools.tests.ouroboros-consensus.test-storage