FuzzingLabs / cairo-fuzzer
Cairo/Starknet smart contract fuzzer
☆123Updated this week
Alternatives and similar repositories for cairo-fuzzer:
Users that are interested in cairo-fuzzer are comparing it to the libraries listed below
- Static Analyzer for Starknet smart contracts☆140Updated last year
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆253Updated last month
- Practical fuzzing examples for the mastering fuzzing talk☆108Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated last week
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- A framework for assessing the security of L2s☆45Updated last year
- Public infra related to hosting Paradigm CTF☆108Updated 10 months ago
- A collection of my security audits☆54Updated last month
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 5 months ago
- ☆69Updated last year
- ☆115Updated 2 years ago
- A self-contained example Ethereum challenge using Paradigm's CTF framework☆26Updated 2 years ago
- Public audits☆51Updated last year
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce d…☆89Updated 3 weeks ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆68Updated 7 months ago
- Scrappy bot army that automates web3 bug hunting workflows.☆93Updated 2 weeks ago
- ☆86Updated 7 months ago
- Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …☆96Updated last year
- Semgrep rules for Cairo 1.0☆17Updated last year
- Zellic's audits, publications, and reports☆162Updated this week
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated last year
- Experimental tool to ease the review of smart contracts upgrades☆77Updated 10 months ago
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated last week
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆139Updated last year
- ☆50Updated 3 months ago
- ☆44Updated last week
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆51Updated 2 weeks ago