Alternatives and similar repositories for vmtrace_visualizer:

Users that are interested in vmtrace_visualizer are comparing it to the libraries listed below

• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• mrsmkl / truebit-plasma
  Template for implementing Plasma child chains with Truebit
  ☆50Updated 7 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 6 years ago
• TrueBitFoundation / webasm-solidity
  [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
  ☆67Updated 4 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• chriseth / patricia-trie
  ☆61Updated 2 years ago
• cwhinfrey / tidbit
  A library for oracles on Ethereum
  ☆51Updated last year
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆41Updated 2 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆73Updated 6 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• ethereum / benchmarking
  Benchmarking data for EVM ops and precompiles
  ☆22Updated 2 years ago
• pipermerriam / ethereum-stack-depth-lib
  Solidity library for checking whether the call stack can be increased by a certain amount.
  ☆11Updated 9 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 6 years ago
• smartcontractkit / solidity-cborutils
  A library for encoding CBOR in Solidity.
  ☆64Updated last year
• loiluu / peacerelay
  Moved to this repo https://github.com/KyberNetwork/peace-relay
  ☆29Updated 7 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• JoinColony / solcover
  Code coverage for solidity
  ☆65Updated 7 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• makerdao / token-auction
  Continuous Splitting Token Auction
  ☆21Updated 3 years ago
• solidblu1992 / ethereum
  ☆18Updated last year
• omgnetwork / research
  ☆43Updated 4 years ago
• jbaylina / ecsol
  Elliptic Curve Implementation in Solidity
  ☆80Updated 6 years ago
• Arachnid / sggc
  Boilerplate and tests for the first Solidity Gas Golfing Contest
  ☆51Updated 6 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 3 years ago