Consensys / wittgenstein
Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
☆46Updated 5 years ago
Alternatives and similar repositories for wittgenstein:
Users that are interested in wittgenstein are comparing it to the libraries listed below
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 7 months ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- OVM specs & contracts☆36Updated 2 years ago
- A library for encoding CBOR in Solidity.☆64Updated last year
- Plasma Cash: Towards Improved Plasma Constructions.☆50Updated 6 years ago
- Implementation of the Perun protocol☆49Updated 4 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated 2 years ago
- Ethereum Engineering Effort☆90Updated 5 years ago
- An Introduction to CBC Casper Consensus Protocols☆138Updated 5 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- ☆61Updated 2 years ago
- smart contract implementation according to the Plasma MVP spec.☆79Updated 3 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆93Updated 6 years ago
- M O N O R E P O☆69Updated 2 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- Content for Cosmos Academy☆67Updated 5 years ago
- Cosmos SDK (Tendermint consensus) side-chain implementation for plasma☆113Updated last year
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 5 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- Example project for EthSnarks - Miximus coin mixer☆83Updated 5 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated 2 years ago
- A proof of concept trustless ethereum mixer☆230Updated 6 years ago
- NOCUST single commit chain verifier implemented in solidity☆14Updated 4 years ago
- Orion is a PegaSys component for doing private transactions☆92Updated 3 years ago
- ☆25Updated 6 years ago
- Oracle service for TokenBridge. TB is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross…☆109Updated 3 years ago
- ☆111Updated 5 years ago