Alternatives and similar repositories for fv-tutorial:

Users that are interested in fv-tutorial are comparing it to the libraries listed below

• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• kilic / pre-comm-ct
  Confidential Transactions with Reusable Commitments on Ethereum
  ☆17Updated 5 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 7 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
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 6 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• quilt / sheth
  Execution environment for managing shard ether
  ☆25Updated 5 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆49Updated 4 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 3 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• plasma-group / PLIPs
  Repo for Plasma improvement proposals
  ☆11Updated 5 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• matter-labs-archive / plasma_cash_history_snark
  History compaction zkSNARK circuit for Plasma Cash and Cashflow history compaction
  ☆15Updated 6 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• MolochVentures / LearnChannels
  LearnChannels.org - open source information resource on state channels
  ☆31Updated 6 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• scrtlabs / SecretStablePools
  A Curve-like AMM for Secret Network
  ☆16Updated 3 years ago
• abdk-consulting / abdk-libraries-circom
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Updated 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
• aspiers / zkp-eddsa-point-doubler
  Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates
  ☆12Updated 6 years ago
• L4ventures / plasma-cash
  PoC
  ☆12Updated 6 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆42Updated 2 years ago
• yearn / snapshot-strategy
  ☆14Updated 3 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• ConsenSysMesh / rb-relay
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Updated 2 years ago
• orbs-network / dkg-on-evm
  DKG for BLS threshold signature scheme on the EVM using solidity
  ☆32Updated 6 years ago