novifinancial / librabft_simulator
Discrete-event simulation for BFT consensus protocols
☆47Updated 3 years ago
Alternatives and similar repositories for librabft_simulator:
Users that are interested in librabft_simulator are comparing it to the libraries listed below
- zk-STARK for fibonacci sequence in Rust☆38Updated 5 years ago
- Zero knowledge succinct arguments of knowledge, written in Rust☆59Updated 2 years ago
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- FastPay: High-Performance Byzantine Fault Tolerant Settlement☆83Updated 3 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- Stateless Blockchain on Substrate using RSA Accumulators☆65Updated 2 years ago
- Zero Knowledge Proofs Toolkit for CKB☆67Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆89Updated 2 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- Threshold BLS Signatures and DKG☆76Updated last week
- Comparison of the different LMD-GHOST implementations☆38Updated 5 years ago
- ☆115Updated 3 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 10 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 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
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 6 years ago
- ☆48Updated 2 years ago
- Pairing cryptography library in Rust☆34Updated last year
- Linearly Homomorphic Time Lock Puzzle Library☆29Updated 5 years ago
- Coded Merkle Tree☆26Updated 5 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- ☆32Updated 2 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆41Updated 2 years ago
- ☆78Updated 5 years ago
- A generalized merkle mountain range implementation.☆57Updated last month
- Accumulators and Vector Commitments☆43Updated 2 years ago
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆62Updated 3 years ago