t4sk / notesLinks
☆113Updated this 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.☆91Updated last year
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆106Updated 2 years ago
- The EVM from scratch book☆162Updated 2 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated last year
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆127Updated last year
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆88Updated 2 months ago
- All things Uniswap☆185Updated last year
- A set of exercises to practice Yul☆121Updated 5 months ago
- Generate invariants for Foundry projects with LLM☆104Updated last year
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆78Updated last year
- ☆75Updated 6 months ago
- The new huff compiler, with improved codegen, label semantics & error messages.☆149Updated 3 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆136Updated 2 years ago
- ☆69Updated 2 years ago
- LLVM-based Solidity compiler.☆169Updated this week
- Pre-built security properties for commonly forked DeFi protocols☆198Updated 2 years ago
- List of Halmos resources.☆58Updated 11 months ago
- Public profile of my adventure as a blockchain and smart contract security auditor.☆77Updated 2 months ago
- ☆66Updated 3 years ago
- Hunt for common bad practices in Solidity smart contracts !☆123Updated 2 years ago
- ☆55Updated 2 years ago
- Damn Vulnerable DeFi v4 Solutions☆51Updated last year
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆91Updated 8 months ago
- Most simple design of a stablecoin.☆75Updated last year
- Solidity challenges for EthernautDAO☆43Updated 2 years ago
- A collection of ctf challenges based on Rareskills educational content☆36Updated last year
- CTF challenges made by MiloTruck☆97Updated 6 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆75Updated last year
- Checklist for security audit of tron projects by @positivesecurity☆26Updated last year
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆58Updated 2 years ago