pcaversaccio / tornado-cash-exploit
This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governance attack on Tornado Cash in May 2023.
☆48Updated this week
Related projects ⓘ
Alternatives and complementary repositories for tornado-cash-exploit
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 2 months ago
- ☆46Updated last year
- Collection of past CTFs to play and practice locally.☆49Updated 2 months ago
- Diagrams for Solidity contracts☆42Updated 8 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆28Updated 2 months ago
- ☆82Updated 4 months ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- ☆22Updated last year
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- Index of Rareskill Blog posts using playwright☆22Updated 8 months ago
- A collection of my security audits☆54Updated 2 weeks ago
- List of Halmos resources.☆46Updated last month
- ☆35Updated last year
- Console.log utility for debugging huff contracts☆64Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- ☆93Updated last year
- ☆38Updated last year
- ☆22Updated this week
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated 11 months ago
- Optimised Uniswap V2 contracts written in Huff language☆110Updated 6 months ago
- ☆43Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆54Updated 2 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆21Updated 2 years ago
- DeFi exploits for educational purposes☆57Updated last year
- ☆50Updated 2 years ago
- ☆61Updated last year
- Decentralized price feed based on Uniswap V3 TWAP oracles☆22Updated 5 months ago