FuzzingLabs / sierra-analyzer
Sierra decompiler and analyzer
☆11Updated 2 weeks ago
Alternatives and similar repositories for sierra-analyzer:
Users that are interested in sierra-analyzer are comparing it to the libraries listed below
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Sui smart contract fuzzer☆35Updated 11 months ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 7 months ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 2 months ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 5 months ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆27Updated 7 months ago
- one off scripts and contracts☆18Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆68Updated 8 months ago
- Mutation testing tool for circom☆16Updated last year
- Cairo/Starknet smart contract fuzzer☆124Updated 3 weeks ago
- SMT 2023 Submission; license pending☆53Updated 3 months ago
- Semgrep rules for Cairo 1.0☆17Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆35Updated 2 weeks ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- ☆72Updated last year
- Validation code for the EOF specification☆51Updated this week
- ☆12Updated 3 months ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- CTF Writeups☆37Updated last year
- X-MAS CTF 2021 Ethereum challenges☆28Updated 3 years ago
- Remote Attestation VErification☆32Updated 7 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- Solidity ANTLR4 grammar Python parser☆12Updated this week
- DeFiVulnLabsCosmWasm☆49Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- ☆14Updated 5 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☆36Updated last year
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago