pirapira / vmtrace_visualizer
A program that annotates a vm trace with dataflow information
β35Updated 2 years ago
Alternatives and similar repositories for vmtrace_visualizer:
Users that are interested in vmtrace_visualizer are comparing it to the libraries listed below
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchangeβ46Updated 6 years ago
- πΎ A mutation testing tool for Solidity contractsβ48Updated 6 years ago
- Plasma Cash: Towards Improved Plasma Constructions.β50Updated 6 years ago
- Benchmarking data for EVM ops and precompilesβ22Updated 2 years ago
- β61Updated 2 years ago
- Template for implementing Plasma child chains with Truebitβ50Updated 7 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidityβ67Updated 4 years ago
- Smart contracts for trustless bridgesβ75Updated 4 years ago
- A zkSNARK tutorial and development environmentβ16Updated 6 years ago
- Research documents related to our implementationβ43Updated 6 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructionsβ22Updated 6 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.β31Updated 6 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.β73Updated 6 years ago
- A library for oracles on Ethereumβ51Updated last year
- β18Updated last year
- Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocationβ29Updated 6 years ago
- formal verification of multicollateral dai in the K frameworkβ45Updated 3 years ago
- Simple Ethereum event trackingβ54Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- 0x Protocol v2 Auditβ25Updated 5 years ago
- Pure-solidity implementation of the SHA1 hash function.β41Updated 2 years ago
- β43Updated 4 years ago
- β32Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.β36Updated 3 years ago
- Here I started by writing a very basic smart contract, analysed how it can be made better and repeat the cycle until we have a system of β¦β18Updated 8 years ago
- π Counterfactual: Generalized State Channels Paperβ57Updated 6 years ago
- Markdown documentation generator for Solidityβ34Updated 3 years ago
- Continuous Splitting Token Auctionβ21Updated 3 years ago
- This library is deprecated. ethPM python tooling is now located in web3.pyβ24Updated 4 years ago