fuzzland / writeupLinks
CTF Writeups
☆36Updated last year
Alternatives and similar repositories for writeup
Users that are interested in writeup are comparing it to the libraries listed below
Sorting:
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆59Updated last week
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 3 years ago
- ☆42Updated 2 years ago
- ☆46Updated 2 years ago
- ☆88Updated last month
- ☆20Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆52Updated last year
- DeFi exploits for educational purposes☆61Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆60Updated 4 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆91Updated 2 years ago
- ☆16Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆73Updated last year
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated last year
- unhacked challenge 1: reaper☆41Updated 3 years ago
- DeFiVulnLabsCosmWasm☆50Updated 2 years ago
- reproduce kyber-elastic exploit☆77Updated last year
- Web3 Security Toolbox☆73Updated last year
- Symbolic EVM in Rust (WIP)☆86Updated last year
- ☆34Updated 5 months ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- ☄️ A toy implementation of the EVM from scratch using Rust.☆35Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆37Updated 7 months ago
- MEV Olympics☆44Updated 10 months ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆37Updated 3 months ago
- This code accompanies the invariant testing tutorial on our website.☆19Updated 2 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 3 months ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆29Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year