Cyfrin / assembly-evm-opcodes-and-formal-verification-courseLinks
☆111Updated 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
Sorting:
- ☆44Updated last month
- ☆125Updated 6 months ago
- ☆80Updated last week
- ☆39Updated 8 months ago
- ☆118Updated 2 months ago
- ☆210Updated last year
- Pre-built security properties for common Ethereum operations☆327Updated 2 months ago
- A repo to help users run code in isolated environments. Stay safe big dogs.☆119Updated last week
- ☆111Updated last year
- The critical bug writeups☆121Updated 7 months ago
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆12Updated this week
- ☆332Updated last year
- A Python package to clone a repo and automatically prepare it for audit report generation☆26Updated last month
- Generate perfect code headers every time.☆300Updated last year
- This repository contains my Rareskills Solidity Bootcamp work.☆128Updated last year
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆38Updated this week
- Damn Vulnerable DeFi V3 Solutions☆53Updated last year
- ☆76Updated 9 months ago
- A curated list of smart contracts security audits checklists and resources.☆194Updated this week
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- Institutional-grade web3 security.☆306Updated 2 weeks ago
- A list of public fuzzing campaigns☆113Updated last week
- ☆63Updated 8 months ago
- ☆17Updated last month
- ☆57Updated last year
- A library of blockchain security resources for various categories in blockchain.☆161Updated 2 months ago
- ☆62Updated 4 months ago
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆385Updated 9 months ago
- Smart Contract Property-Based Testing Framework☆115Updated 3 months ago
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆245Updated 3 months ago