Cyfrin / assembly-evm-opcodes-and-formal-verification-course
☆87Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for assembly-evm-opcodes-and-formal-verification-course
- ☆33Updated 6 months ago
- ☆107Updated 8 months ago
- ☆58Updated this week
- ☆113Updated 9 months ago
- ☆51Updated last month
- A Python package to clone a repo and automatically prepare it for audit report generation☆20Updated 4 months ago
- ☆278Updated 8 months ago
- Generate perfect code headers every time.☆234Updated 6 months ago
- ☆106Updated 3 weeks ago
- A list of public audit reports conducted by the Cyfrin team☆149Updated this week
- Pre-built security properties for common Ethereum operations☆291Updated 3 months ago
- ☆62Updated 3 weeks ago
- ☆202Updated last year
- ☆34Updated last year
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆31Updated 3 weeks ago
- A library of blockchain security resources for various categories in blockchain.☆136Updated 2 weeks ago
- ☆59Updated this week
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆218Updated 3 months ago
- ☆56Updated last month
- Aggregated audit checklist☆207Updated 10 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆117Updated 11 months ago
- Learn & Contribute on previously exploited vulnerabilities across several EVM projects.☆17Updated last year
- ☆59Updated 3 weeks ago
- ☆176Updated 3 weeks ago
- Damn Vulnerable DeFi V3 Solutions☆48Updated last year
- Foundry Test Suit to test weird ERC20 behavior☆237Updated last year
- ☆273Updated 3 months ago
- ☆87Updated 2 years ago
- ☆92Updated last year
- A collection of my personal security audits☆64Updated 3 months ago