jepsen-io / tendermint
Jepsen tests for the Tendermint distributed byzantine consensus system
☆26Updated 7 years ago
Alternatives and similar repositories for tendermint
Users that are interested in tendermint are comparing it to the libraries listed below
Sorting:
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆26Updated 5 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- BFT consensus in Rust☆21Updated 3 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Matrix mesh simulator☆20Updated 5 years ago
- Cross-chain relays :)☆55Updated 2 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 5 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- Blind signatures over secp256k1 elliptic curve☆18Updated 2 years ago
- NOCUST single commit chain verifier implemented in solidity☆16Updated 2 weeks ago
- The Hog programming language☆15Updated 7 years ago
- Homomorphic Encryption Randomness Beacon☆13Updated 5 years ago
- Rust implementation of Amino☆27Updated 4 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.☆35Updated 6 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 6 years ago
- ☆44Updated 7 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- Config files for connecting to testnets☆17Updated 6 years ago
- ☆32Updated 6 years ago
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆20Updated 6 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- ☆22Updated 4 years ago
- Verification-Driven Development☆21Updated 4 years ago
- Plasma Paper☆10Updated 7 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Updated 7 years ago
- A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size comm…☆31Updated 7 years ago
- ☆13Updated 8 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated last year