Alternatives and similar repositories for cbc_casper:

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

• plasmaio / paper
  Plasma Paper
  ☆10Updated 7 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• primea / js-primea-hypervisor
  a JavaScript Implementation of Primea HyperVisor
  ☆42Updated 4 years ago
• tendermint / testnets
  Config files for connecting to testnets
  ☆17Updated 6 years ago
• ethereum / simplecasper
  Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…
  ☆20Updated 8 years ago
• TrueBitFoundation / incentive-layer
  [DEPRECATED] Incentive layer contracts and deployment information.
  ☆31Updated 6 years ago
• cosmos / research
  ☆21Updated 4 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 3 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 6 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• pipermerriam / ethereum-computation-market
  A marketplace for trustless off chain computation.
  ☆55Updated 6 years ago
• tendermint / governmint
  DEPRECATED: TMSP Governance App
  ☆17Updated 8 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 3 years ago
• ethereum / diary
  Archive of The Ethereum Developer logs by Jeffrey Wilcke
  ☆32Updated 8 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• tendermint / light-client
  DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)
  ☆17Updated 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
• ipfs / go-ipld-eth-import
  Bring Ethereum to IPFS
  ☆26Updated last year
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 6 years ago
• ethereum / benchmarking
  Benchmarking data for EVM ops and precompiles
  ☆22Updated 2 years ago
• ebuchman / thesis
  ☆19Updated 8 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• paritytech / oo7-bare
  The Bond API.
  ☆27Updated 6 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• pipermerriam / ethereum-stack-depth-lib
  Solidity library for checking whether the call stack can be increased by a certain amount.
  ☆11Updated 9 years ago
• pipermerriam / ethereum-identity
  Identity platform for Ethereum
  ☆14Updated 9 years ago
• SilentCicero / wafr
  A super simple Solidity test harness for Ethereum smart-contracts.
  ☆31Updated 7 years ago