Alternatives and similar repositories for precise-proofs:

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

• clearmatics / zeth
  Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
  ☆57Updated last year
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆46Updated 5 years ago
• renproject / hyperdrive
  An experimental consensus algorithm for secure multiparty computations
  ☆63Updated 2 years ago
• protolambda / zrnt
  ZRNT - Executable spec for ETH 2.0, implemented in Go
  ☆99Updated last month
• atvanguard / ethsingapore-zk-dai
  ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.
  ☆52Updated 5 years ago
• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆53Updated 9 months ago
• zmitton / merkle-mountain-range
  Merkle tree optimized for lists of sequentially appended data and its proofs
  ☆40Updated 2 years ago
• summa-tx / relays
  Cross-chain relays :)
  ☆54Updated 2 years ago
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• umbracle / minimal
  Modular Ethereum client
  ☆75Updated 3 years ago
• republicprotocol / zksnark-rs
  Zero knowledge succinct arguments of knowledge, written in Rust
  ☆59Updated 2 years ago
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆37Updated 5 years ago
• matter-labs-archive / matter-network
  PoC of SNARK-driven Plasma with up to 500 tx/sec
  ☆69Updated 6 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆138Updated 6 years ago
• barryWhiteHat / baby_jubjub_ecc
  altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments
  ☆65Updated 5 years ago
• opennetsys / golkadot
  Polkadot Substrate implementation in Go (WIP)
  ☆50Updated 6 years ago
• FourthState / plasma-mvp-sidechain
  Cosmos SDK (Tendermint consensus) side-chain implementation for plasma
  ☆113Updated 2 years ago
• kyokan / plasma
  Golang implementation and extension of the Minimum Viable Plasma specification
  ☆70Updated 3 years ago
• w3f / polkadot-legacy-spec
  A more technical description of Polkadot protocol
  ☆47Updated 5 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆48Updated 4 years ago
• protolambda / lmd-ghost
  Comparison of the different LMD-GHOST implementations
  ☆38Updated 5 years ago
• protolambda / rumor
  Interact with Eth2 network components
  ☆57Updated 4 years ago
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 6 years ago
• PerunEthereum / Perun
  Implementation of the Perun protocol
  ☆49Updated 4 years ago
• ethereum934 / eth-mimblewimble
  Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum
  ☆82Updated 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
• Zokrates / pycrypto
  Crypto application code for the zkSNARKs toolbox ZoKrates
  ☆54Updated last year
• barryWhiteHat / semaphore
  ☆111Updated 5 years ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆50Updated 2 years ago
• openethereum / kovan-validator-set
  Validator set contracts for Kovan network.
  ☆33Updated 5 years ago