crytic / fluxture
A crawling framework for blockchains and peer-to-peer systems
☆46Updated last year
Related projects ⓘ
Alternatives and complementary repositories for fluxture
- one off scripts and contracts☆18Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆57Updated 4 months ago
- Blockchain Challs from HACON2020 CTF☆13Updated 3 years ago
- Graveyard of past Web3 exploits☆21Updated 2 years ago
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Updated 4 years ago
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated last year
- A test suite to check for client-side script injection on websites that display NFTs.☆51Updated last year
- StarkNet smart contract fuzzer☆77Updated 2 years ago
- CLI utility that broadcasts BTC, ETH, SOL, ZEC & XMR transactions through TOR using public block explorers☆68Updated 10 months ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆32Updated 3 years ago
- Experimental tool to ease the review of smart contracts upgrades☆74Updated 7 months ago
- My key take-aways from reviewing vulnerable Solidity smart contracts☆9Updated 2 years ago
- Prettier config optimized to reduce AST churn & conform to solidity spec☆30Updated last year
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆18Updated 3 months ago
- Code for the tutorial on how to poc bug leads on Immunefi using foundry☆11Updated 2 years ago
- Formal verification of WETH9.sol with Z3☆55Updated 2 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆30Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated last year
- X-MAS CTF 2021 Ethereum challenges☆28Updated 2 years ago
- Cairo/Starknet smart contract fuzzer☆118Updated 8 months ago
- ☆14Updated 5 years ago
- PoC of the Hundred Finance March 2022 exploit☆10Updated 2 years ago
- The Manticore User Interface with plugins for Binary Ninja and Ghidra☆73Updated 8 months ago
- Script(s) to interact with gp-v2-contracs☆11Updated 2 years ago
- Disclosure reports by PepperSec☆19Updated 4 years ago
- ☆11Updated 4 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆89Updated 2 months ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆75Updated 2 years ago
- ☆10Updated 2 years ago
- Small Rust script that cracked Yearn's v2 site password from a hashed copy☆15Updated 3 years ago