pirapira / vmtrace_visualizerLinks
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
Sorting:
- 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
- Template for implementing Plasma child chains with Truebitβ50Updated 7 years ago
- Benchmarking data for EVM ops and precompilesβ22Updated 2 years ago
- β43Updated 5 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidityβ67Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzerβ41Updated 3 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- A zkSNARK tutorial and development environmentβ16Updated 7 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.β74Updated 7 years ago
- β62Updated 3 years ago
- A library for oracles on Ethereumβ51Updated 2 years ago
- formal verification of multicollateral dai in the K frameworkβ46Updated 3 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructionsβ22Updated 6 years ago
- A library for encoding CBOR in Solidity.β65Updated last year
- Smart contracts for trustless bridgesβ75Updated 5 years ago
- Simple Ethereum event trackingβ55Updated 7 years ago
- β18Updated last year
- 0x Protocol v2 Auditβ25Updated 5 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- A set of utilities (currently in alpha) for exploring Solidity contractsβ23Updated 6 years ago
- 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
- Blocknative Assist widget for blockchain usabilityβ55Updated 2 years ago
- Golang implementation and extension of the Minimum Viable Plasma specificationβ70Updated 3 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub Systemβ40Updated 6 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactionsβ14Updated 2 years ago
- π Counterfactual: Generalized State Channels Paperβ57Updated 6 years ago
- Pure-solidity implementation of the SHA1 hash function.β43Updated 2 years ago