Cyfrin / assembly-evm-opcodes-and-formal-verification-course
☆95Updated 5 months ago
Alternatives and similar repositories for assembly-evm-opcodes-and-formal-verification-course:
Users that are interested in assembly-evm-opcodes-and-formal-verification-course are comparing it to the libraries listed below
- ☆37Updated 8 months ago
- ☆120Updated last month
- ☆75Updated last week
- ☆208Updated last year
- ☆111Updated 10 months ago
- A Python package to clone a repo and automatically prepare it for audit report generation☆22Updated last month
- ☆113Updated 2 months ago
- ☆54Updated 4 months ago
- Generate perfect code headers every time.☆252Updated 9 months ago
- Pre-built security properties for common Ethereum operations☆303Updated 3 weeks ago
- ☆177Updated this week
- ☆292Updated 10 months ago
- ☆36Updated 3 months ago
- Foundry Test Suit to test weird ERC20 behavior☆237Updated last year
- This repository contains my Rareskills Solidity Bootcamp work.☆120Updated last year
- A library of blockchain security resources for various categories in blockchain.☆141Updated 2 weeks ago
- Aggregated audit checklist☆223Updated last year
- ☆54Updated last year
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆32Updated last month
- All things Uniswap☆177Updated 11 months ago
- A list of public audit reports conducted by the Cyfrin team☆184Updated last week
- ☆278Updated 6 months ago
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆227Updated last month
- Audits and findings by MiloTruck☆156Updated 2 weeks ago
- ☆62Updated 2 years ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆144Updated 2 months ago
- ☆61Updated 2 months ago
- ☆34Updated last year
- ☆93Updated last year
- ☆62Updated 3 months ago