PoS-NSB
Blockchain protocol guarantor
A formalization of a blockchain protocol ensuring its growth and stability in the presence of corruption.
A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
25 stars
3 watching
2 forks
Language: Coq
last commit: almost 5 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| au-cobra/concert | A framework for verifying smart contracts in Coq using formal methods and property-based testing. | 114 |
| au-cobra/ovn | A Verified implementation of the Open Vote Network protocol in Coq | 1 |
 verse-lab/toychain | A minimalistic blockchain-based consensus protocol implemented in Coq | 111 |
 minaprotocol/mina | A cryptocurrency protocol with a constant-size blockchain, aiming to improve scalability while maintaining decentralization and security. | 2,007 |
 ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |
 austintgriffith/clevis | An Ethereum blockchain orchestration tool that enables command line interface and deployment of smart contracts. | 105 |
 4c656554/blockchainillustrations | A repository of graphical overviews for decentralized technologies | 66 |
 autistic-symposium/blockchain-science-rs | Research and development of blockchain science tools and projects in Rust | 64 |
 volodymyrprokopyuk/go-blockchain | A comprehensive guide to building and learning blockchain technology from scratch in Go with gRPC | 284 |
 0xngmi/ideas | A collection of ideas and open-source prototypes for building protocols related to decentralized finance, with a focus on arbitrage opportunities and MEV front-running prevention. | 362 |
 bcgit/bc-csharp | A .NET implementation of cryptographic algorithms and protocols. | 1,683 |
 bitauth/chaingraph | A multi-node blockchain indexer and GraphQL API built on Kubernetes | 53 |
 openassets/open-assets-protocol | A Bitcoin-based protocol for creating and transferring user-defined assets on the blockchain | 397 |
 0xnazgul/blockchain-security-audit-list | Lists and categorizes blockchain security audit companies, solo auditors, and publicly available audits for evaluating blockchain smart contract security. | 727 |
 the729/go-libra | A client library for interacting with the Libra blockchain | 44 |