Alternatives and similar repositories for rfcs:

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

• fluencelabs / trust-graph
  ☆15Updated last month
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 4 years ago
• ChainSafe / persistent-merkle-tree
  ☆12Updated 2 years ago
• golemfactory / golem-libp2p
  Golem rust-libp2p integration
  ☆12Updated 5 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 5 years ago
• fluencelabs / registry
  Register and discover services via Aqua
  ☆19Updated last week
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆74Updated 4 years ago
• golemfactory / gMorph
  Fully Homomorphic Encryption library
  ☆25Updated 4 years ago
• radicle-dev / radicle-registry
  An experimental Substrate implementation of the Radicle Registry 📒
  ☆34Updated 4 years ago
• informalsystems / vdd
  Verification-Driven Development
  ☆21Updated 3 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆26Updated 2 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆82Updated 9 months ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆34Updated last year
• openethereum / pwasm-ethereum
  ☆32Updated 6 years ago
• ZcashFoundation / redjubjub
  A minimal RedJubjub implementation for use in Zebra.
  ☆28Updated this week
• perlin-network / lens
  The official network explorer for Wavelet.
  ☆28Updated 2 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 4 years ago
• libp2p / testlab
  A testlab built with Nomad and Consul to analyze the behavior of p2p networks at scale
  ☆22Updated 5 years ago
• libp2p / devgrants
  want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.
  ☆40Updated 11 months ago
• paritytech / as-substrate
  Collection of libraries written in AssemblyScript
  ☆14Updated 4 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• 0xPolygonZero / r1cs-zkinterface
  Compiles r1cs gadgets to the zkinterface format
  ☆10Updated 3 years ago
• libp2p / research-dht
  Moved discussion notes to https://github.com/libp2p/notes
  ☆21Updated 4 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• matklad / paxosnotes
  ☆22Updated 2 years ago