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 8 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
- A library to generate merkle proofs for complex data structuresβ62Updated 2 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905β57Updated last year
- Ethereum Engineering Effortβ90Updated 5 years ago
- An Introduction to CBC Casper Consensus Protocolsβ138Updated 6 years ago
- A library for encoding CBOR in Solidity.β64Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.β35Updated 2 years ago
- β61Updated 3 years ago
- General interoperability framework for trustless cross-system interactionβ141Updated 3 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofsβ40Updated 2 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructionsβ22Updated 6 years ago
- OVM specs & contractsβ36Updated 2 years ago
- Collection of research papers written within Gnosisβ92Updated 3 years ago
- Smart contracts for trustless bridgesβ75Updated 4 years ago
- Data Privacy for Quorum Blockchainsβ53Updated 3 years ago
- Curated list of resources regarding state channels on Ethereumβ58Updated 6 years ago
- π΄Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKsβ93Updated 6 years ago
- β111Updated 5 years ago
- Golang implementation and extension of the Minimum Viable Plasma specificationβ70Updated 3 years ago
- A library for oracles on Ethereumβ51Updated 2 years ago
- formal verification of multicollateral dai in the K frameworkβ45Updated 3 years ago
- ZSL on Quorumβ73Updated 6 years ago
- A zkSNARK tutorial and development environmentβ16Updated 6 years ago
- A more technical description of Polkadot protocolβ47Updated 5 years ago
- Template for implementing Plasma child chains with Truebitβ50Updated 7 years ago
- Implementation of the Perun protocolβ49Updated 4 years ago
- Plasma Cash: Towards Improved Plasma Constructions.β50Updated 6 years ago