Alternatives and similar repositories for cbc-casper-proof:

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

• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 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
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago
• ethresearch / p2p
  ☆30Updated 6 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• leobago / BSC-ETH2
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Updated 2 years ago
• plasma-group / PLIPs
  Repo for Plasma improvement proposals
  ☆11Updated 5 years ago
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 4 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆37Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• LayerXcom / gram
  A 64bit-TinyRAM simulator in Go
  ☆13Updated 6 years ago
• ewasm / benchmarking
  Instructions for benchmarking Ewasm precompiles. (And results.)
  ☆19Updated 4 years ago
• herumi / bls-eth-rust
  ☆20Updated 2 years ago
• jrhea / imp
  😈 Eth2 Network Agent 😈
  ☆31Updated 4 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 2 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆51Updated 4 years ago
• quilt / sheth
  Execution environment for managing shard ether
  ☆25Updated 4 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 5 years ago
• ConsenSysMesh / rb-relay
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Updated 2 years ago
• TrueLevelSA / core-cbc-casper
  MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc
  ☆10Updated 4 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 2 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 5 years ago
• q9f / eth2-bench-2020-06
  preliminary, high-level eth2-client benchmarks
  ☆16Updated 4 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• LayerXcom / vyper-remix
  Remix Vyper Plugin
  ☆18Updated 4 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆37Updated 5 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 6 years ago