pfouto / babel-core

Related projects ⓘ

Alternatives and complementary repositories for babel-core

• dedis / quepaxa
  This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
  ☆33Updated 2 months ago
• microsoft / Nimble
  Rollback protection for confidential services
  ☆30Updated last year
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆39Updated last year
• rupc / awesome-bft
  Awesome Byzantine Fault Tolerance (BFT)
  ☆61Updated 2 years ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• asonnino / narwhal
  Implementation of BFT consensus protocols based on the Narwhal mempool.
  ☆94Updated 3 weeks ago
• facebookresearch / narwhal
  Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.
  ☆192Updated last year
• consensus-shipyard / mir
  ☆46Updated 6 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆192Updated 5 months ago
• divviup / libprio-rs
  Implementation of Prio in Rust.
  ☆103Updated this week
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• pag-crypto / zkmbs
  Code for zero-knowledge middleboxes
  ☆59Updated 2 years ago
• algorand / pointproofs
  ☆48Updated last year
• asonnino / hotstuff
  Implementation of the HotStuff consensus protocol.
  ☆115Updated 2 months ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆76Updated 10 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• novifinancial / librabft_simulator
  Discrete-event simulation for BFT consensus protocols
  ☆48Updated 3 years ago
• sunblaze-ucb / Virgo
  ☆55Updated 2 years ago
• SabaEskandarian / ObliDB
  An Oblivious General-Purpose SQL Database for the Cloud
  ☆56Updated 4 years ago
• ucbrise / jedi-pairing
  Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems
  ☆36Updated last year
• Pompe-org / Pompe-HS
  Pompe implementation based on HotStuff
  ☆16Updated 3 years ago
• dedis / onet
  Overlay Network for distributed protocols
  ☆51Updated last year
• google / jaxite
  ☆64Updated last week
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆56Updated 3 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆20Updated 10 months ago
• yangl1996 / dispersed-ledger
  High-throughput Byzantine consensus on variable bandwidth networks.
  ☆36Updated 5 months ago
• decentralizedthoughts / decentralizedthoughts.github.io
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆31Updated last week
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆136Updated last week