Alternatives and similar repositories for Casper-Proof-of-Stake

Users that are interested in Casper-Proof-of-Stake are comparing it to the libraries listed below

• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• stonecoldpat / statechannels
  An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.
  ☆35Updated 2 years ago
• smartcontracts / contract-drafts
  Misc repo for draft Solidity contracts.
  ☆12Updated 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
• chriseth / patricia-trie
  ☆62Updated 3 years ago
• ethresearch / sharding-p2p-poc
  Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System
  ☆40Updated 6 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 6 years ago
• cosmos / ledger-cosmos-obsolete
  Ledger Nano S support for Tendermint/Cosmos
  ☆42Updated 4 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 6 years ago
• livepeer / merkle-mine
  Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation
  ☆29Updated 6 years ago
• dapphub / ds-eth-token
  ERC20 ETH token wrapper. No more special case logic for Ether.
  ☆13Updated 6 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 7 years ago
• mrsmkl / truebit-plasma
  Template for implementing Plasma child chains with Truebit
  ☆50Updated 7 years ago
• ConsenSysMesh / rb-relay
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Updated 2 years ago
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆45Updated 5 years ago
• TrueBitFoundation / incentive-layer
  [DEPRECATED] Incentive layer contracts and deployment information.
  ☆31Updated 6 years ago
• scrtlabs / enigma-contract
  Smart Contract and Javascript library for the Enigma Protocol
  ☆22Updated 5 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 6 years ago
• plasma-group / plasma-chain-operator
  A one-click deploy Plasma chain
  ☆33Updated 6 years ago
• w3f / polkadot-white-paper
  The technical vision paper for Polkadot, a heterogeneous extensible multi-chain.
  ☆50Updated 7 years ago
• crossclaim / xclaim-sol
  XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum
  ☆24Updated last year
• commitground / solidity-partial-tree
  Solidity implementation of partial merkle tree for a light weight side chain execution verification
  ☆13Updated 6 years ago
• baconviewer / bacon-vision
  Beacon chain visualizer for ETH2.0
  ☆14Updated 6 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 7 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago