Consensys / wittgensteinLinks
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
Sorting:
- An Introduction to CBC Casper Consensus Protocols☆137Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- ☆111Updated 5 years ago
- A force-move protocol implementation☆55Updated 2 years ago
- Ethereum Engineering Effort☆89Updated 6 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- ☆64Updated 3 years ago
- General interoperability framework for trustless cross-system interaction☆139Updated 4 years ago
- A library for encoding CBOR in Solidity.☆66Updated 2 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated last year
- A library to generate merkle proofs for complex data structures☆62Updated 2 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 6 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 7 years ago
- utilities for Bitcoin SPV proof verification on (many!) other chains☆171Updated 2 years ago
- PoC of SNARK-driven Plasma with up to 500 tx/sec☆69Updated 6 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated 2 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
- An implementation of Darknode smart contracts, written in Solidity☆85Updated 2 years ago
- Smart contracts for trustless bridges☆75Updated 5 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆81Updated 2 years ago
- Classic source for Truebit documentation☆58Updated 4 years ago
- ☆76Updated 6 years ago
- Implementation of the Perun protocol☆49Updated 5 years ago
- Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation☆29Updated 7 years ago
- A zkSNARK tutorial and development environment☆16Updated 7 years ago
- Proof of concept for the contracts implementing TPL☆73Updated 3 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated 2 years ago
- Schematic of the Ethereum 2.0 Beacon Chain specification☆51Updated 6 years ago
- Trustless Tumbling for Transaction Privacy☆87Updated 5 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity☆67Updated 5 years ago