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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FastPay: High-Performance Byzantine Fault Tolerant Settlement☆85Apr 18, 2022Updated 3 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆24Dec 8, 2020Updated 5 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Jul 1, 2020Updated 5 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆19Nov 5, 2018Updated 7 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Curve ecGFp5☆69Mar 31, 2022Updated 3 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- ☆10Oct 2, 2021Updated 4 years ago
- [DEPRECATED] ETH 2.0 SSZ - optimized Go implementation☆13Jun 21, 2020Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆286Jun 22, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- ☆22Dec 19, 2024Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- ☆15Jul 8, 2021Updated 4 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 5 years ago
- 🦀 Rust implementation of sinkhole private information retrieval☆16Apr 16, 2021Updated 4 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- ☆15May 27, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- HashWires is a range proof system for credentials issued by a trusted third party.☆20Jan 28, 2022Updated 4 years ago
- Playing around with HotStuff BFT consensus protocol.☆22Jan 24, 2020Updated 6 years ago
- Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.☆220Nov 29, 2022Updated 3 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- Bitcoin. Rust.☆10Feb 4, 2021Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago