t4sk / notesLinks
☆79Updated last week
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- A recreation of capturetheether.com using Solidity 0.8.0 and the foundry environment.☆88Updated last year
- The EVM from scratch book☆148Updated last month
- All things Uniswap☆185Updated last year
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆107Updated 2 years ago
- Hunt for common bad practices in Solidity smart contracts !☆123Updated 2 years ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated 11 months ago
- The new huff compiler, with improved codegen, label semantics & error messages.☆145Updated last month
- A set of exercises to practice Yul☆120Updated 2 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆134Updated last year
- Generate invariants for Foundry projects with LLM☆102Updated last year
- ☆72Updated 3 months ago
- ☆67Updated last year
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆126Updated last year
- List of Halmos resources.☆57Updated 9 months ago
- ☆136Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆196Updated 2 years ago
- ☆32Updated 3 years ago
- Vacant Positions at Sigma Prime☆57Updated 2 weeks ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆76Updated last year
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆176Updated 9 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆90Updated 6 months ago
- ☆228Updated 2 years ago
- template for efficient paradigm ctf testing & scripts☆155Updated 2 years ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆99Updated last year
- CTF challenges made by MiloTruck☆98Updated 4 months ago
- Resources to learn Yul.☆31Updated 2 years 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
- Damn Vulnerable DeFi v4 Solutions☆47Updated last year
- Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solid…☆130Updated last year
- Security Reviews and Audit Checklists☆123Updated 4 months ago