Cyfrin / assembly-evm-opcodes-and-formal-verification-course
☆105Updated 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
- ☆41Updated 10 months ago
- ☆124Updated 3 months ago
- ☆90Updated last month
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆13Updated last month
- ☆56Updated last week
- A Python package to clone a repo and automatically prepare it for audit report generation☆22Updated 3 months ago
- ☆37Updated 5 months ago
- List of awesome blogs and podcasts about web3 security and more☆74Updated 2 months ago
- The critical bug writeups☆114Updated 5 months ago
- A repo to help users run code in isolated environments. Stay safe big dogs.☆101Updated last week
- Generate perfect code headers every time.☆276Updated 11 months ago
- ☆114Updated last year
- ☆313Updated last year
- Pre-built security properties for common Ethereum operations☆315Updated 3 months ago
- Damn Vulnerable DeFi V3 Solutions☆52Updated last year
- ☆209Updated last year
- A library of blockchain security resources for various categories in blockchain.☆150Updated 2 months ago
- ☆187Updated 2 weeks ago
- This repository contains my Rareskills Solidity Bootcamp work.☆125Updated last year
- Learn & Contribute on previously exploited vulnerabilities across several EVM projects.☆18Updated 2 years ago
- ☆64Updated 6 months ago
- ☆61Updated 2 months ago
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆33Updated last month
- A list of public fuzzing campaigns☆101Updated 3 weeks ago
- weird ERC721 (NFTs) tokens☆79Updated 2 months ago
- Audits and findings by MiloTruck☆166Updated 2 weeks ago
- Smart Contract Property-Based Testing Framework☆108Updated last week
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆242Updated 3 weeks ago
- ☆55Updated last year