pirapira / dry-analyzer
Dr. Y's Ethereum Contract Analyzer
☆42Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for dry-analyzer
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- ☆11Updated 3 years ago
- http://hackthiscontract.io/☆49Updated last year
- ERC20 in K☆47Updated 5 years ago
- Solidity Parser for Solium☆29Updated last year
- Multisig with a command-line interface☆22Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Solidity library for checking whether the call stack can be increased by a certain amount.☆11Updated 9 years ago
- Implementation of the Perun protocol☆49Updated 4 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated last year
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 5 months ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- ☆13Updated 8 years ago
- Pure-solidity implementation of the SHA1 hash function.☆41Updated last year
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 5 years ago
- Benchmarking data for EVM ops and precompiles☆22Updated last year
- 📄 Counterfactual: Generalized State Channels Paper☆57Updated 6 years ago
- Notes and stuff related to the study group☆15Updated 7 years ago
- ☆43Updated 4 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago