Alternatives and similar repositories for fv-tutorial:

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

• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• kilic / pre-comm-ct
  Confidential Transactions with Reusable Commitments on Ethereum
  ☆17Updated 5 years ago
• plasma-group / research
  Random research and simulations
  ☆16Updated 6 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 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
• liquidity-network / nocust-contracts-solidity
  NOCUST single commit chain verifier implemented in solidity
  ☆16Updated 4 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• yearn / snapshot-strategy
  ☆14Updated 3 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• solidblu1992 / ethereum
  ☆18Updated last year
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• 1Address / ecsol
  Elliptic Curve Implementation in Solidity
  ☆24Updated last year
• PhABC / gastoken-factory--token-sale
  Token Sale example implementing GasToken Factory methods
  ☆19Updated 6 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 6 years ago
• makerdao / cdp-keeper
  Maker Keeper Framework: Keeper to actively manage open CDPs.
  ☆28Updated 2 years ago
• makerdao / price-feed
  price feed, with expiration and medianizer poke
  ☆32Updated 4 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• SpankChain / uniprice
  Estimate the $USD price of an ERC20 Token by getting its DAI price from Uniswap!
  ☆17Updated 6 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆123Updated 3 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
• ogDAO / Optino
  Fully collateralised vanilla and bounded (capped call and floored put) crypto options
  ☆16Updated 4 years ago
• ZenGo-X / eth_txpool_view
  Ethereum TxPool Statistics
  ☆26Updated 4 years ago
• authio-ethereum / wargame
  A wargame based on OpenZeppelin's Ethernaut
  ☆12Updated 7 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆20Updated 6 years ago
• makerdao / median
  Medianizer 2
  ☆16Updated 2 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 5 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago