Alternatives and similar repositories for precise-proofs

Users that are interested in precise-proofs are comparing it to the libraries listed below

• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆54Updated last year
• summa-tx / relays
  Cross-chain relays :)
  ☆55Updated 2 years ago
• renproject / hyperdrive
  An experimental consensus algorithm for secure multiparty computations
  ☆63Updated 2 years ago
• thorchain / THORChain-v1
  A lightning fast decentralised liquidity protocol.
  ☆47Updated 6 years ago
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆45Updated 5 years ago
• kyokan / plasma
  Golang implementation and extension of the Minimum Viable Plasma specification
  ☆70Updated 3 years ago
• summa-tx / bitcoin-spv
  utilities for Bitcoin SPV proof verification on (many!) other chains
  ☆172Updated 2 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• zmitton / merkle-mountain-range
  Merkle tree optimized for lists of sequentially appended data and its proofs
  ☆40Updated 2 years ago
• arminvoid / ethsingapore-zk-dai
  ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.
  ☆52Updated 6 years ago
• umbracle / minimal
  Modular Ethereum client
  ☆75Updated 3 years ago
• karalabe / eee
  Ethereum Engineering Effort
  ☆90Updated 6 years ago
• PerunEthereum / Perun
  Implementation of the Perun protocol
  ☆49Updated 5 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• TrueBitFoundation / truebit-os
  [DEPRECATED] Interactive client
  ☆82Updated 5 years ago
• smartcontractkit / solidity-cborutils
  A library for encoding CBOR in Solidity.
  ☆66Updated last year
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago
• protolambda / beacon-schematic
  Schematic of the Ethereum 2.0 Beacon Chain specification
  ☆51Updated 6 years ago
• opennetsys / golkadot
  Polkadot Substrate implementation in Go (WIP)
  ☆50Updated 6 years ago
• FourthState / plasma-mvp-rootchain
  smart contract implementation according to the Plasma MVP spec.
  ☆79Updated 3 years ago
• ethsecurity / berlin-workshop
  This is a repo which serves to design and develop the website which contains ETHSecurity resources.
  ☆25Updated 6 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 7 years ago
• omni / token-bridge
  Oracle service for TokenBridge. TB is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross…
  ☆110Updated 3 years ago
• protolambda / zrnt
  ZRNT - Executable spec for ETH 2.0, implemented in Go
  ☆102Updated 5 months ago
• matter-labs-archive / matter-network
  PoC of SNARK-driven Plasma with up to 500 tx/sec
  ☆69Updated 6 years ago
• shamatar / go-snarks
  Set of functions for golang verification of zkSNARKs
  ☆31Updated 6 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago
• FourthState / plasma-mvp-sidechain
  Cosmos SDK (Tendermint consensus) side-chain implementation for plasma
  ☆112Updated 2 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
• clearmatics / ion
  General interoperability framework for trustless cross-system interaction
  ☆140Updated 4 years ago