Cyfrin / assembly-evm-opcodes-and-formal-verification-courseLinks
☆120Updated 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
Sorting:
- ☆44Updated 5 months ago
- A Python package to clone a repo and automatically prepare it for audit report generation☆31Updated 5 months ago
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆41Updated 2 weeks ago
- ☆130Updated 10 months ago
- Pre-built security properties for common Ethereum operations☆342Updated 6 months ago
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆245Updated 7 months ago
- Generate perfect code headers every time.☆344Updated last year
- ☆39Updated last year
- ☆139Updated 2 months ago
- A repo to help users run code in isolated environments. Stay safe big dogs.☆142Updated 3 months ago
- Primers for Specialist AI Smart Contract Auditors☆216Updated 2 months ago
- ☆223Updated 2 years ago
- A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…☆380Updated last year
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆401Updated last year
- ☆118Updated 4 months ago
- A list of public audit reports conducted by the Cyfrin team☆283Updated this week
- ☆34Updated last week
- ☆362Updated last year
- ☆283Updated last year
- Institutional-grade web3 security.☆316Updated 2 weeks ago
- ☆85Updated 2 months ago
- Bugs in commonly forked DeFi protocols☆485Updated 3 weeks ago
- Learn & Contribute on previously exploited vulnerabilities across several EVM projects.☆20Updated 2 years ago
- ☆113Updated last year
- easy POC template generation from the command line☆323Updated last year
- Foundry Test Suit to test weird ERC20 behavior☆237Updated 2 years ago
- ☆459Updated 6 months ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆273Updated last year
- Aggregated audit checklist☆314Updated 5 months ago
- Solidity Code Metrics☆282Updated 10 months ago