MariusVanDerWijden / FuzzyVM
Implementation of a differential fuzzer for Ethereum Virtual Machines
☆90Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for FuzzyVM
- ☆95Updated 3 weeks ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆58Updated 4 months ago
- Automated verification of uniqueness property for ZKP circuits☆70Updated 8 months ago
- A devp2p crawler targeted at Eth2 nodes☆57Updated 10 months ago
- Public infra related to hosting Paradigm CTF☆103Updated 8 months ago
- Validation code for the EOF specification☆43Updated this week
- Evm laboratory☆247Updated this week
- SMT 2023 Submission; license pending☆53Updated this week
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆65Updated last year
- ☆103Updated 2 years ago
- A Python framework and collection of test cases to generate test vectors for Ethereum execution clients☆119Updated this week
- Fast Ethereum2.0 SSZ encoder/decoder☆75Updated 2 weeks ago
- ☆86Updated 2 years ago
- Database of public audits made by ABDK Consulting☆50Updated this week
- ☆51Updated 5 years ago
- fast zksnark prover☆119Updated last year
- Differential Fuzzer for Ethereum 2.0☆161Updated last year
- Tools for Yul.☆137Updated last year
- A fast ethereum transaction fuzzer☆25Updated 5 years ago
- An EVM bytecode disassembler/assembler☆32Updated this week
- StarkNet smart contract fuzzer☆77Updated 2 years ago
- An automated fuzz harness generator for Go projects☆14Updated 2 months ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆57Updated 3 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆144Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆125Updated 5 months ago
- Some experimental tools to manage validators - use at your own risk☆65Updated 9 months ago
- Ethereum network monitoring with collection clients and a centralized server for data pipelining.☆77Updated this week
- ☆90Updated 3 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Ethereum Distributed Validator Specifications☆81Updated 2 years ago