Cyfrin / assembly-evm-opcodes-and-formal-verification-courseLinks
☆111Updated 2 weeks 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 3 weeks ago
- ☆125Updated 5 months ago
- ☆108Updated last month
- ☆38Updated 7 months ago
- ☆75Updated 8 months ago
- ☆73Updated last month
- A repo to help users run code in isolated environments. Stay safe big dogs.☆115Updated last month
- A Python package to clone a repo and automatically prepare it for audit report generation☆24Updated 3 weeks ago
- ☆210Updated last year
- Pre-built security properties for common Ethereum operations☆322Updated last month
- Damn Vulnerable DeFi V3 Solutions☆53Updated last year
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆36Updated 2 weeks ago
- ☆112Updated last year
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆13Updated 2 weeks ago
- This repository contains my Rareskills Solidity Bootcamp work.☆127Updated last year
- ☆328Updated last year
- Audits and findings by MiloTruck☆170Updated 2 weeks ago
- A library of blockchain security resources for various categories in blockchain.☆155Updated last month
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆245Updated 2 months ago
- The critical bug writeups☆121Updated 7 months ago
- Generate perfect code headers every time.☆299Updated last year
- ☆16Updated last month
- ☆26Updated 8 months ago
- ☆61Updated 4 months ago
- A list of public fuzzing campaigns☆113Updated last month
- Smart Contract Property-Based Testing Framework☆113Updated 2 months ago
- ☆69Updated 3 weeks ago
- ☆58Updated last year
- List of awesome blogs and podcasts about web3 security and more☆79Updated 4 months ago
- ☆227Updated 2 years ago