0xraion / capture-the-ether-solutions-foundry
Solutions to the Capture The Ether CTF challenges using Foundry ⛳️
☆18Updated last year
Alternatives and similar repositories for capture-the-ether-solutions-foundry:
Users that are interested in capture-the-ether-solutions-foundry are comparing it to the libraries listed below
- ☆35Updated last year
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆29Updated 9 months ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆79Updated last year
- Diagrams for Solidity contracts☆44Updated 10 months ago
- ☆81Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated 11 months ago
- Blazingly fast function selector miner written in Rust.☆78Updated last year
- APG (Auditor Profile Generator)☆35Updated last year
- A quick and easy way to test gas optimizations.☆27Updated 2 years ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆51Updated last year
- ☆50Updated 2 years ago
- ☆63Updated last year
- Content for Electisec Reports Site☆27Updated last week
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated 11 months ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆66Updated 7 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 5 months ago
- ☆58Updated 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 last week
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated last week
- ☆19Updated 2 months ago
- ☆48Updated last year
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆9Updated last year
- Cross chain call library for Solidity☆81Updated 2 years ago
- ☆43Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- ☆54Updated last year