Alternatives and similar repositories for rfcs

Users that are interested in rfcs are comparing it to the libraries listed below

• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆33Updated 5 years ago
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 5 years ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• hyperledger-archives / sawtooth-raft
  ☆26Updated 4 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆85Updated 2 weeks ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆38Updated 2 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• informalsystems / vdd
  Verification-Driven Development
  ☆21Updated 4 years ago
• DistributedSystemsWiki / wiki
  ☆42Updated 5 years ago
• crate-crypto / MLSAG
  Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific
  ☆25Updated 5 years ago
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆60Updated 2 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• golemfactory / gMorph
  Fully Homomorphic Encryption library
  ☆25Updated 5 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• bitemyapp / ledgertheory
  ☆14Updated 10 years ago
• libp2p / devgrants
  want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.
  ☆41Updated 9 months ago
• digitalbazaar / zcap
  Linked Data Capabilities reference implementation
  ☆28Updated 8 months ago
• anthdm / avalanche
  A educational / research implementation of the Avalanche consensus algorithm written in Rust
  ☆40Updated 7 years ago
• matklad / paxosnotes
  ☆23Updated 3 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• davebryson / bftdb
  Tendermint + Sqlite3 = BFT Database Replication
  ☆38Updated 7 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• rozbb / ct-merkle
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆38Updated 9 months ago
• nccgroup / pairing-bls12381
  Pairing operations over the BLS12-381 elliptic curve in Haskell
  ☆14Updated 3 years ago
• libp2p / research-dht
  Moved discussion notes to https://github.com/libp2p/notes
  ☆21Updated 5 years ago
• Crypt0-Bear / xmr-eth-swap-playground
  Cross-chain atomic swap protocol between Monero and Ethereum
  ☆14Updated 4 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 6 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆23Updated last week
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago