PoS-NSB
by AU-COBRA
A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
AI summary
Blockchain protocol guarantor
A formalization of a blockchain protocol ensuring its growth and stability in the presence of corruption.
- stars
- 25
- forks
- 2
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Vote network protocol implementation
A Verified implementation of the Open Vote Network protocol in Coq
Consensus protocol
A minimalistic blockchain-based consensus protocol implemented in Coq
Blockchain protocol
A cryptocurrency protocol with a constant-size blockchain, aiming to improve scalability while maintaining decentralization and security.
Consensus protocol library
A Python implementation of a class of 'correct-by-construction' consensus protocols.
Blockchain orchestrator
An Ethereum blockchain orchestration tool that enables command line interface and deployment of smart contracts.
Decentral tech diagrams
A repository of graphical overviews for decentralized technologies
Blockchain research library
Research and development of blockchain science tools and projects in Rust
Blockchain guide
A comprehensive guide to building and learning blockchain technology from scratch in Go with gRPC
0xngmi/ideas362
Arbitrage protocols
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.
bcgit/bc-csharp1.7K
Cryptography library
A .NET implementation of cryptographic algorithms and protocols.
Blockchain indexer
A multi-node blockchain indexer and GraphQL API built on Kubernetes
Asset protocol
A Bitcoin-based protocol for creating and transferring user-defined assets on the blockchain
Blockchain auditor list
Lists and categorizes blockchain security audit companies, solo auditors, and publicly available audits for evaluating blockchain smart contract security.
blockchain client
A client library for interacting with the Libra blockchain
