FuzzingLabs / sierra-analyzerLinks
Sierra decompiler and analyzer
☆11Updated 2 months ago
Alternatives and similar repositories for sierra-analyzer
Users that are interested in sierra-analyzer are comparing it to the libraries listed below
Sorting:
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 11 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 7 months ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆38Updated 4 months ago
- StarkNet smart contract fuzzer☆80Updated 3 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- Sui smart contract fuzzer☆42Updated last year
- Mutation testing tool for circom☆16Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 2 months ago
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- Validation code for the EOF specification☆56Updated 2 months ago
- Framework for Solana CTF challenges☆64Updated last month
- DeFiVulnLabsCosmWasm☆50Updated last year
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆44Updated last week
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- SMT 2023 Submission; license pending☆56Updated 7 months ago
- Public infra related to hosting Paradigm CTF☆112Updated last year
- one off scripts and contracts☆18Updated 2 years ago
- ☆12Updated 8 months ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated last year
- Beginner Friendly Rust Security Workshop☆33Updated last year
- CTF Writeups☆36Updated last year
- Semgrep rules for Cairo 1.0☆17Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆76Updated last week
- A framework for building sui based capture the flag challenges☆14Updated last week
- Automated verification of uniqueness property for ZKP circuits☆77Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- Remote Attestation VErification☆33Updated 11 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- A curated list of resources on zkECDSA☆35Updated last year