My swiss army knife for reversing EVM bytecodes (super experimental)
☆126Nov 25, 2025Updated 3 months ago
Alternatives and similar repositories for erever
Users that are interested in erever are comparing it to the libraries listed below
Sorting:
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Sep 18, 2023Updated 2 years ago
- Tstore huff template☆17Oct 6, 2023Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Jan 30, 2024Updated 2 years ago
- A Huff <> bytecode transpiler☆117May 21, 2025Updated 9 months ago
- ☆19Oct 13, 2023Updated 2 years ago
- Solidity calldata, memory, transient storage, and storage debugger☆22Aug 6, 2023Updated 2 years ago
- ☆70May 14, 2025Updated 9 months ago
- ☆88Sep 3, 2025Updated 6 months ago
- Collection of Web3 Audits and Publications by ChainLight of Theori☆14Oct 30, 2023Updated 2 years ago
- A summary and solutions for 200+ CTF blockchain challenges☆1,074Oct 9, 2025Updated 4 months ago
- This is a asbtract syntax tree for huff written in rust to facilitate conversion of solidity to huff☆13Mar 2, 2024Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Oct 16, 2023Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- An open simulation for Uniswap V3 contracts☆34Oct 17, 2024Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆83Oct 6, 2023Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- unhacked challenge 1: reaper☆42Sep 10, 2022Updated 3 years ago
- A smart contract security search utility☆76Dec 26, 2024Updated last year
- Challenges for the ONLYPWNER CTF Platform☆52Nov 30, 2024Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 2 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- MEV Olympics☆44Dec 1, 2024Updated last year
- mevETH LST Protocol - Repo has migrated see link☆26Mar 12, 2024Updated last year
- ☆84Feb 2, 2025Updated last year
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- Symbolic stack CFG generator for EVM☆191Feb 10, 2025Updated last year
- reproduce kyber-elastic exploit☆77Nov 27, 2023Updated 2 years ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Jul 25, 2023Updated 2 years ago
- A curated list of resources for Huff language☆315Jan 11, 2024Updated 2 years ago
- EVM Toolkit language support for Visual Studio Code☆18Sep 10, 2022Updated 3 years ago
- ☆17Jul 2, 2022Updated 3 years ago
- A markdown based template for writing spearbit reports☆68Mar 18, 2022Updated 3 years ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,065Dec 10, 2025Updated 2 months ago
- Multi-agent framework for design, simulation, and auditing.☆726Updated this week
- List of Halmos resources.☆59Feb 14, 2025Updated last year
- A tool for analyzing the security and parameters of a solidity smart contract☆794Feb 14, 2025Updated last year