MariusVanDerWijden / FuzzyVM
Implementation of a differential fuzzer for Ethereum Virtual Machines
☆93Updated 4 months ago
Alternatives and similar repositories for FuzzyVM:
Users that are interested in FuzzyVM are comparing it to the libraries listed below
- ☆100Updated 3 months ago
- ☆40Updated 2 weeks ago
- SMT 2023 Submission; license pending☆53Updated 2 months ago
- A devp2p crawler targeted at Eth2 nodes☆57Updated last year
- Automated verification of uniqueness property for ZKP circuits☆71Updated 10 months ago
- Validation code for the EOF specification☆47Updated this week
- Fast Ethereum2.0 SSZ encoder/decoder☆79Updated 3 weeks ago
- Public infra related to hosting Paradigm CTF☆106Updated 10 months ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆65Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 11 months ago
- A Go implementation of cryptographic primitives for Verkle Trees☆33Updated 6 months ago
- A Python framework and collection of test cases to generate test vectors for Ethereum execution clients☆131Updated this week
- ☆102Updated 2 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 2 months ago
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆68Updated 6 months ago
- ☆90Updated 3 years ago
- ☆69Updated last year
- A curated list of repos related to Circom☆95Updated 2 years ago
- ☆51Updated 5 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆70Updated last year
- Differential Fuzzer for Ethereum 2.0☆162Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 7 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆130Updated last month
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆109Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- Smart contract debugging data format – Standards development working group☆50Updated 2 weeks ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated 10 months ago