shafu0x / evm-from-scratch-book
The EVM from scratch book
☆91Updated 6 months ago
Alternatives and similar repositories for evm-from-scratch-book:
Users that are interested in evm-from-scratch-book are comparing it to the libraries listed below
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆65Updated 7 months ago
- ☆61Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- This repository contains my Rareskills Solidity Bootcamp work.☆123Updated last year
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 6 months ago
- ☆32Updated 2 years ago
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- Efficient Type Driven Smart Contract Interactions☆111Updated 10 months ago
- ☆62Updated 4 months ago
- ☆225Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated last week
- A curated list of ZK and Maths resources☆47Updated last year
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated 2 months ago
- ERC4626 Property Tests☆177Updated last month
- ☆163Updated last year
- A forkable template repo for easily writing and testing toy contracts☆147Updated last year
- A DSL for generating optimal EVM bytecode☆186Updated 4 months ago
- ☆102Updated 2 years ago
- The best smart contracts in one place.☆97Updated 3 months ago
- List of Halmos resources.☆53Updated last month
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated last year
- A set of exercises to practice Yul☆75Updated last month
- A collection of ctf challenges based on Rareskills educational content☆36Updated 2 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆76Updated 8 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆120Updated 6 months ago
- ☆156Updated last year
- ☆56Updated last year
- Smart Contract Property-Based Testing Framework☆105Updated last month
- ☆47Updated 2 months ago
- ☆92Updated last year