pirapira / vmtrace_visualizer
A program that annotates a vm trace with dataflow information
β35Updated 3 years ago
Alternatives and similar repositories for vmtrace_visualizer:
Users that are interested in vmtrace_visualizer are comparing it to the libraries listed below
- πΎ A mutation testing tool for Solidity contractsβ48Updated 6 years ago
- Template for implementing Plasma child chains with Truebitβ50Updated 7 years ago
- β62Updated 3 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidityβ67Updated 4 years ago
- Plasma Cash: Towards Improved Plasma Constructions.β50Updated 6 years ago
- Ethereum-Zcash Integration effortβ66Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchangeβ46Updated 6 years ago
- A zkSNARK tutorial and development environmentβ16Updated 7 years ago
- A library for oracles on Ethereumβ51Updated 2 years ago
- π Counterfactual: Generalized State Channels Paperβ57Updated 6 years ago
- Smart contracts for trustless bridgesβ75Updated 5 years ago
- Pure-solidity implementation of the SHA1 hash function.β42Updated 2 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.β31Updated 6 years ago
- formal verification of multicollateral dai in the K frameworkβ45Updated 3 years ago
- β18Updated last year
- Solidity library for checking whether the call stack can be increased by a certain amount.β11Updated 9 years ago
- zDai.io - confidential Dai transactions on Burner walletβ29Updated 6 years ago
- Moved to this repo https://github.com/KyberNetwork/peace-relayβ29Updated 7 years ago
- Automatic market maker with batched buy & sell ordersβ32Updated 2 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- β25Updated 6 years ago
- Golang implementation and extension of the Minimum Viable Plasma specificationβ70Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- Benchmarking data for EVM ops and precompilesβ22Updated 2 years ago
- A library for encoding CBOR in Solidity.β64Updated last year
- A Solidity delegate call proxy that also `delegatecall`'s its constructorβ22Updated 6 years ago
- β43Updated 4 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verificationβ44Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzerβ41Updated 3 years ago
- Translations of standard contracts from Solidity to Vyper.β12Updated 6 years ago