novifinancial / librabft_simulatorView external linksLinks
Discrete-event simulation for BFT consensus protocols
☆48Oct 13, 2021Updated 4 years ago
Alternatives and similar repositories for librabft_simulator
Users that are interested in librabft_simulator are comparing it to the libraries listed below
Sorting:
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- FastPay: High-Performance Byzantine Fault Tolerant Settlement☆85Apr 18, 2022Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- BLS working standard draft☆40Aug 8, 2019Updated 6 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 5 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- ☆15May 27, 2021Updated 4 years ago
- Bitcoin. Rust.☆10Feb 4, 2021Updated 5 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 4 months ago
- ☆22Dec 19, 2024Updated last year
- An implementation of publicly verifiable proofs of retrievability☆32Feb 24, 2018Updated 7 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Curve ecGFp5☆69Mar 31, 2022Updated 3 years ago
- 🦀 Rust implementation of sinkhole private information retrieval☆16Apr 16, 2021Updated 4 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Jul 1, 2020Updated 5 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- HashWires is a range proof system for credentials issued by a trusted third party.☆20Jan 28, 2022Updated 4 years ago
- ☆19May 5, 2020Updated 5 years ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 5 months ago
- snarkpack for arkwork☆21Jun 11, 2023Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- A ziglang implementation of the SSZ serialization protocol☆30Updated this week
- ☆27Oct 18, 2022Updated 3 years ago
- ☆30Oct 7, 2022Updated 3 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago