Cyfrin / assembly-evm-opcodes-and-formal-verification-course
☆107Updated 2 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
- ☆43Updated 11 months ago
- ☆124Updated 4 months ago
- ☆98Updated last week
- ☆69Updated last week
- ☆320Updated last year
- ☆114Updated last year
- ☆68Updated 6 months ago
- ☆37Updated 6 months ago
- Pre-built security properties for common Ethereum operations☆317Updated this week
- ☆209Updated last year
- A Python package to clone a repo and automatically prepare it for audit report generation☆24Updated this week
- A library of blockchain security resources for various categories in blockchain.☆153Updated last week
- A repo to help users run code in isolated environments. Stay safe big dogs.☆109Updated last month
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆245Updated last month
- ☆244Updated this week
- ☆66Updated 5 months ago
- Generate perfect code headers every time.☆278Updated 11 months ago
- ☆25Updated 6 months ago
- Damn Vulnerable DeFi V3 Solutions☆53Updated last year
- ☆67Updated last month
- The critical bug writeups☆118Updated 5 months ago
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆35Updated 2 weeks ago
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- List of awesome blogs and podcasts about web3 security and more☆76Updated 3 months ago
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆13Updated 2 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆125Updated last year
- A list of public fuzzing campaigns☆108Updated last week
- ☆63Updated 6 months ago
- ☆36Updated last year
- Audits and findings by MiloTruck☆167Updated 3 weeks ago