FuzzingLabs / cairo-fuzzer
Cairo/Starknet smart contract fuzzer
☆118Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for cairo-fuzzer
- Static Analyzer for Starknet smart contracts☆135Updated 9 months ago
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆244Updated 2 months ago
- Practical fuzzing examples for the mastering fuzzing talk☆107Updated last year
- A framework for assessing the security of L2s☆45Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 9 months ago
- Public audits☆51Updated 11 months ago
- StarkNet smart contract fuzzer☆77Updated 2 years ago
- ☆66Updated 10 months ago
- ☆14Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆92Updated 2 years ago
- A collection of my security audits☆54Updated 3 weeks ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆45Updated 2 weeks ago
- Public infra related to hosting Paradigm CTF☆103Updated 7 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆50Updated 7 months ago
- Sui smart contract fuzzer☆32Updated 8 months ago
- ☆50Updated 3 weeks ago
- ☆50Updated 10 months ago
- Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…☆35Updated this week
- A self-contained example Ethereum challenge using Paradigm's CTF framework☆25Updated last year
- Contains every issue l have ever found, while doing public auditing.☆29Updated last year
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆89Updated 2 months ago
- ☆114Updated 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…☆87Updated last week
- ☆22Updated last year
- ☆34Updated 4 months ago
- A curated list of awesome security resources for ZK.☆72Updated last week
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆30Updated this week
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆133Updated 11 months ago
- Experimental tool to ease the review of smart contracts upgrades☆74Updated 7 months ago