inet-framework / oversimLinks
OverSim P2P Simulator
☆14Updated 2 years ago
Alternatives and similar repositories for oversim
Users that are interested in oversim are comparing it to the libraries listed below
Sorting:
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Verification-Driven Development☆21Updated 4 years ago
- Delphi-BFT automates large-scale simulations of unmodified BFT protocol implementations through the Phantom simulator given a simple expe…☆17Updated 2 months ago
- Awesome Byzantine Fault Tolerance (BFT)☆70Updated 3 years ago
- A educational / research implementation of the Avalanche consensus algorithm written in Rust☆40Updated 7 years ago
- A distributed key-value storage that's tolerant to Byzantine fault.☆30Updated 6 years ago
- A discrete event Blockchain Simulator☆70Updated 5 years ago
- Discrete-event simulation for BFT consensus protocols☆48Updated 4 years ago
- Swift implementation of Ethereum 2.0 beacon chain☆42Updated 6 years ago
- Rust implementation of the Prism consensus protocol☆103Updated 2 years ago
- Tendermint + Sqlite3 = BFT Database Replication☆38Updated 7 years ago
- OHIE - Blockchain scaling☆34Updated 5 years ago
- ☆11Updated 3 years ago
- Sawtooth Sabre (WASM Smart Contracts)☆51Updated 2 years ago
- The Honey Badger of BFT Protocols☆143Updated 3 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆56Updated 6 years ago
- An implementation of Publicly Verifiably Secret Sharing (PVSS) in Swift.☆12Updated 8 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆186Updated 3 years ago
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆26Updated 3 years ago
- Code repository for technical papers about selfish mining analysis.☆13Updated 2 years ago
- Implementation of the SmartBFT consensus library (https://arxiv.org/abs/2107.06922)☆106Updated 2 weeks ago
- ☆26Updated 4 years ago
- C++17 implementation of Filecoin☆127Updated last year
- Omnet Simulator for Spider - Routing algorithms for Cryptocurrencies☆15Updated 4 years ago
- A lightweight and multi-language library for byzantine fault tolerance☆25Updated 2 years ago
- Practical implementation of the Honey Badger Byzantine Fault Tolerance consensus algorithm written in Go.☆162Updated 3 years ago
- ☆24Updated 5 years ago
- traces and simulation/testbed code for offchain routing☆17Updated 3 years ago
- Implementation of the HotStuff consensus protocol.☆159Updated last year
- simulation of a p2p network☆38Updated 8 years ago