Cyfrin / assembly-evm-opcodes-and-formal-verification-course
☆100Updated last month
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
- ☆39Updated 9 months ago
- ☆121Updated 2 months ago
- ☆303Updated 11 months ago
- ☆37Updated 4 months ago
- ☆82Updated this week
- A Python package to clone a repo and automatically prepare it for audit report generation☆23Updated 2 months ago
- Pre-built security properties for common Ethereum operations☆305Updated 2 months ago
- ☆182Updated this week
- Generate perfect code headers every time.☆263Updated 10 months ago
- ☆113Updated 11 months ago
- Aggregated audit checklist☆228Updated last year
- ☆208Updated last year
- This repository contains my Rareskills Solidity Bootcamp work.☆122Updated last year
- ☆113Updated 4 months ago
- Foundry Test Suit to test weird ERC20 behavior☆237Updated last year
- Damn Vulnerable DeFi V3 Solutions☆50Updated last year
- A repo to help users run code in isolated environments. Stay safe big dogs.☆92Updated last week
- ☆58Updated 5 months ago
- A library of blockchain security resources for various categories in blockchain.☆146Updated last month
- ☆54Updated last year
- ☆36Updated last year
- ☆59Updated last month
- Learn & Contribute on previously exploited vulnerabilities across several EVM projects.☆18Updated 2 years ago
- Audits and findings by MiloTruck☆158Updated last week
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆266Updated 8 months ago
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆33Updated 2 weeks ago
- A list of public audit reports conducted by the Cyfrin team☆195Updated this week
- Code examples in Yul☆257Updated 6 months ago
- ☆68Updated 3 weeks ago