novifinancial / librabft_simulator
Discrete-event simulation for BFT consensus protocols
☆48Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for librabft_simulator
- zk-STARK for fibonacci sequence in Rust☆38Updated 5 years ago
- Zero knowledge succinct arguments of knowledge, written in Rust☆57Updated 2 years ago
- Zero Knowledge Proofs Toolkit for CKB☆64Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆112Updated 3 years ago
- Stateless Blockchain on Substrate using RSA Accumulators☆64Updated last year
- FastPay: High-Performance Byzantine Fault Tolerant Settlement☆80Updated 2 years ago
- An implementation of ZEXE on Ethereum☆37Updated 5 years ago
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆60Updated 2 years ago
- Open source implementation of zkSTARKs in pure Rust☆81Updated 11 months ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- ☆48Updated last year
- A library for generating non-interactive proofs of knowledge without trusted setup☆29Updated 5 years ago
- Coded Merkle Tree☆26Updated 5 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆35Updated 6 years ago
- Pairing cryptography library in Rust☆32Updated 10 months ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 5 years ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- ☆20Updated 2 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 5 months ago
- BFT consensus in Rust☆21Updated 2 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆28Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Updated 5 years ago
- ☆78Updated 4 years ago
- ☆28Updated 2 years ago
- Accumulators and Vector Commitments☆42Updated last year
- ☆115Updated 3 years ago
- examples for bellman zk-snarks library☆75Updated 6 years ago