tinchoabbate / eth-sec-lab
A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.
☆38Updated last year
Related projects ⓘ
Alternatives and complementary repositories for eth-sec-lab
- ☆65Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆38Updated last year
- ☆80Updated last year
- ☆50Updated 2 years ago
- Solidity static analyzer☆82Updated 11 months ago
- ☆35Updated last year
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- Foundry + Yul template☆93Updated 10 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated 11 months ago
- ☆61Updated last year
- ☆58Updated 9 months ago
- ☆24Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆110Updated 6 months ago
- ☆46Updated last year
- yAudit Completed Reports☆27Updated this week
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- A fast CREATE2 and CREATE3 salt miner.☆58Updated 4 months ago
- ☆50Updated 2 years ago
- Testing echidna vs. forge fuzzing☆75Updated last year
- ☆44Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 2 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated last year
- ☆75Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- List of Halmos resources.☆46Updated last month