GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → input-output-hk → Ouroboros High Assurance

input-output-hk / Ouroboros High Assurance

Licence: mit
High-assurance implementation of the Ouroboros protocol family

Labels

blockchaincryptocurrencydistributed-computingformal-methods

Projects that are alternatives of or similar to Ouroboros High Assurance

Bifrost
A Scala (Scorex 2) client for the Topl blockchain protocol
Stars: ✭ 54 (-31.65%)
Mutual labels:  blockchain, cryptocurrency
Cryptoroulette
CryptoRoulette
Stars: ✭ 56 (-29.11%)
Mutual labels:  blockchain, cryptocurrency
Altcoin Cryptocurrency Generator
AltCoin CryptoCurrency Generator
Stars: ✭ 55 (-30.38%)
Mutual labels:  blockchain, cryptocurrency
Blockchainage
「区块链技术指北」相关资料。
Stars: ✭ 51 (-35.44%)
Mutual labels:  blockchain, cryptocurrency
Simplechain
⛓✨ Interactive blockchain built with Node.js
Stars: ✭ 61 (-22.78%)
Mutual labels:  blockchain, cryptocurrency
Cryptolights
Live visualisation of blockchain transactions for popular cryptocurrencies
Stars: ✭ 54 (-31.65%)
Mutual labels:  blockchain, cryptocurrency
Starcoin
A Layered Cryptocurrency and Decentralized Blockchain System.
Stars: ✭ 72 (-8.86%)
Mutual labels:  blockchain, cryptocurrency
Pycoinbin
Python Wrapper for coinbin.org
Stars: ✭ 43 (-45.57%)
Mutual labels:  blockchain, cryptocurrency
Bitshares Core
BitShares Blockchain implementation and command-line interface
Stars: ✭ 1,096 (+1287.34%)
Mutual labels:  blockchain, cryptocurrency
Bitcoin.org
Bitcoin.org Website
Stars: ✭ 1,090 (+1279.75%)
Mutual labels:  blockchain, cryptocurrency
Javascript Cli
A CLI in JavaScript for the ARK Blockchain.
Stars: ✭ 48 (-39.24%)
Mutual labels:  blockchain, cryptocurrency
Conceal Core
Conceal Core - Daemon & Wallets (CLI)
Stars: ✭ 72 (-8.86%)
Mutual labels:  blockchain, cryptocurrency
Sebak
SEBAK, the next BOScoin Blockchain
Stars: ✭ 46 (-41.77%)
Mutual labels:  blockchain, cryptocurrency
Blockchain Cli
⛓️ A minimal blockchain command-line interface.
Stars: ✭ 1,075 (+1260.76%)
Mutual labels:  blockchain, cryptocurrency
Halocoin
Experimental cryptocurrency (blockchain) written in python.
Stars: ✭ 44 (-44.3%)
Mutual labels:  blockchain, cryptocurrency
Etherscan Ml
Python Data Science and Machine Learning Library for the Ethereum and ERC-20 Blockchain
Stars: ✭ 55 (-30.38%)
Mutual labels:  blockchain, cryptocurrency
Bitcoinml
Bitcoin data-structures library for OCaml
Stars: ✭ 38 (-51.9%)
Mutual labels:  blockchain, cryptocurrency
Microstellar
An easy-to-use Go Library for the Stellar payment network
Stars: ✭ 41 (-48.1%)
Mutual labels:  blockchain, cryptocurrency
Bulwark Explorer
Block explorer for Bulwark Cryptocurrency
Stars: ✭ 57 (-27.85%)
Mutual labels:  blockchain, cryptocurrency
The Journal Of Blockchain
区块链自媒体、专注区块链技术学习和实践、IPFS/Filecoin、Bitcoin、Ethereum、EOS、Cosmos、区块链、白皮书、Coinmarketcap、Coindesk、Safe Network、Telegram、Docker、社会治理、经济激励
Stars: ✭ 63 (-20.25%)
Mutual labels:  blockchain, cryptocurrency
View All Similar Projects ➔

Overview

The goal of this project is to develop implementations of blockchain consensus protocols from the Ouroboros family in a process calculus and verify that they have various key properties.

The bulk of the code in this repository is written in Isabelle/HOL and falls into the following parts:

  • A framework for labeled transition systems

  • The implementation of the Þ-calculus, the process calculus we use for our protocol implementations

  • Implementations of consensus protocols in the Þ-calculus along with proofs of key properties they have

The Þ-calculus

Currently the master branch contains an old framework for labeled transition systems and our old process calculus, the ♮-calculus. The new labeled transition framework and the Þ-calculus are being developed in the branch thorn-calculus-preliminary. Their code will soon be integrated into master step by step.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].