t4sk / notesLinks
☆77Updated this week
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Hunt for common bad practices in Solidity smart contracts !☆123Updated 2 years ago
- A recreation of capturetheether.com using Solidity 0.8.0 and the foundry environment.☆88Updated last year
- The EVM from scratch book☆148Updated 2 weeks ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 10 months ago
- ☆34Updated last week
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆107Updated 2 years ago
- The new huff compiler, with improved codegen, label semantics & error messages.☆141Updated 3 weeks ago
- reproduce kyber-elastic exploit☆77Updated last year
- All things Uniswap☆184Updated last year
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- ☆67Updated last year
- LLVM-based Solidity compiler.☆165Updated this week
- ☆136Updated last year
- Solidity challenges for EthernautDAO☆43Updated 2 years ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆74Updated last year
- CLI based transaction simulator supporting any EVM chain, written in Rust.☆57Updated 2 years ago
- Optimised Uniswap V2 contracts written in Huff language☆112Updated last year
- ☆66Updated 2 years ago
- List of Halmos resources.☆57Updated 8 months ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆60Updated last week
- like htop for Ethereum and other EVM chains☆143Updated last year
- Most simple design of a stablecoin.☆75Updated 11 months ago
- Generate invariants for Foundry projects with LLM☆101Updated last year
- A collection of ctf challenges based on Rareskills educational content☆36Updated 9 months ago
- ☆70Updated 2 months ago
- A set of exercises to practice Yul☆118Updated 2 months ago
- A VSCode extension offering utilities for solidity smart-contract development.☆133Updated 3 months ago
- ☆164Updated 2 years ago
- A collection of gas optimizations for the EVM.☆96Updated 3 years ago
- ☆47Updated last year