Alternatives and similar repositories for cbc-casper-proof

Users that are interested in cbc-casper-proof are comparing it to the libraries listed below

• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 6 years ago
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆37Updated 6 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 5 years ago
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆51Updated 5 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 2 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 6 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 2 years ago
• ethresearch / p2p
  ☆31Updated 7 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• herumi / bls-eth-rust
  ☆20Updated 3 years ago
• jrhea / imp
  😈 Eth2 Network Agent 😈
  ☆31Updated 5 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 3 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• matter-labs-archive / plasma_winter
  Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore
  ☆31Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• AlexeyAkhunov / papers
  ☆40Updated 5 years ago
• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆54Updated last year
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 7 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 6 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆30Updated 5 years ago
• lehnberg / mixnet-and-acn-research
  Mixnet and Anonymous Communication Networks (ACN) research
  ☆22Updated 6 years ago
• ethereum-mousse / mousse
  An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
  ☆48Updated 4 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆18Updated 4 years ago
• matter-labs / curve-zinc
  The Curve Stableswap smart contract implementation in Zinc v0.2.2.
  ☆40Updated 4 years ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆51Updated 2 years ago
• LayerXcom / bellman-substrate
  A library for supporting zk-SNARKs to Substrate
  ☆30Updated 3 years ago
• interstellar / zkvm
  ZkVM — a blockchain virtual machine with cloaked assets and ZK smart contracts
  ☆43Updated 6 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago