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
- ☆38Updated last year
- ☆35Updated last year
- ☆80Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- yAudit Completed Reports☆27Updated last week
- Solidity static analyzer☆82Updated 11 months ago
- Testing echidna vs. forge fuzzing☆75Updated last year
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆65Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated last year
- ☆50Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆75Updated last year
- Foundry + Yul template☆94Updated 10 months ago
- ☆98Updated last year
- ☆54Updated last year
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆93Updated this week
- ☆63Updated last year
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…☆45Updated last year
- ☆50Updated last year
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆36Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- ☆46Updated last year
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆70Updated last year
- List of Halmos resources.☆48Updated last month
- ☆50Updated 2 years ago