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
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆43Updated 2 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 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
• kilic / pre-comm-ct
  Confidential Transactions with Reusable Commitments on Ethereum
  ☆17Updated 5 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 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
• ConsenSysMesh / rb-relay
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Updated 2 years ago
• 1Address / ecsol
  Elliptic Curve Implementation in Solidity
  ☆24Updated last year
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 3 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆103Updated 2 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 6 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 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
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 6 years ago
• ScopeLift / ovm-uniswap-v2-core
  🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…
  ☆26Updated 4 years ago
• crossclaim / btcrelay-sol
  BTCRelay re-implementation in Solidity
  ☆27Updated 5 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• gnosis / solidity-arithmetic
  A solidity library for performing arithmetic.
  ☆16Updated 6 years ago
• levelkdev / tcr
  A generic token-curated registry
  ☆10Updated 6 years ago
• PhABC / gastoken-factory--token-sale
  Token Sale example implementing GasToken Factory methods
  ☆19Updated 7 years ago
• jbaylina / ecsol
  Elliptic Curve Implementation in Solidity
  ☆81Updated 7 years ago
• ChainSafe / denode
  a mechanism for incentivizing full nodes
  ☆24Updated 6 years ago
• yearn / snapshot-strategy
  ☆14Updated 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
• protolambda / beacon-schematic
  Schematic of the Ethereum 2.0 Beacon Chain specification
  ☆51Updated 6 years ago