holiman / gofuzz-shimLinks
Tooling to shim libfuzzer <-> golang native fuzzing
☆13Updated last year
Alternatives and similar repositories for gofuzz-shim
Users that are interested in gofuzz-shim are comparing it to the libraries listed below
Sorting:
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- StarkNet smart contract fuzzer☆80Updated 2 years ago
- Validation code for the EOF specification☆56Updated last month
- SMT 2023 Submission; license pending☆55Updated 7 months ago
- An EVM bytecode disassembler/assembler☆50Updated 6 months ago
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- ☆40Updated this week
- High Performance SSZ Implementation☆13Updated 5 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- A curated list of awesome security resources for ZK.☆86Updated 3 weeks ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆15Updated last month
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 11 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆97Updated last week
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- ☆19Updated 2 months ago
- ☆29Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆37Updated 4 months ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 6 months ago
- ☆47Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 11 months ago
- Sierra decompiler and analyzer☆11Updated 2 months ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- ☆113Updated 2 months ago
- ☆38Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆34Updated 2 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago