Cyfrin / assembly-evm-opcodes-and-formal-verification-courseLinks
☆114Updated 3 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
Sorting:
- ☆44Updated 3 months ago
- Pre-built security properties for common Ethereum operations☆335Updated 4 months ago
- ☆129Updated 8 months ago
- ☆223Updated 2 years ago
- A Python package to clone a repo and automatically prepare it for audit report generation☆30Updated 3 months ago
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆247Updated 5 months ago
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆40Updated last month
- Primers for Specialist AI Smart Contract Auditors☆205Updated this week
- Generate perfect code headers every time.☆320Updated last year
- ☆40Updated 10 months ago
- ☆127Updated 3 weeks ago
- A library of blockchain security resources for various categories in blockchain.☆163Updated 4 months ago
- ☆356Updated last year
- A repo to help users run code in isolated environments. Stay safe big dogs.☆133Updated last month
- Institutional-grade web3 security.☆309Updated 2 weeks ago
- The critical bug writeups☆123Updated 9 months ago
- ☆111Updated 2 months ago
- A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…☆368Updated last year
- ☆112Updated last year
- A list of public audit reports conducted by the Cyfrin team☆257Updated 3 weeks ago
- Foundry Test Suit to test weird ERC20 behavior☆237Updated 2 years ago
- ☆15Updated 3 months ago
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆395Updated 11 months ago
- ☆284Updated last year
- List of awesome blogs and podcasts about web3 security and more☆82Updated 7 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆130Updated last year
- A curated list of smart contracts security audits checklists and resources.☆235Updated last month
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆12Updated last week
- easy POC template generation from the command line☆322Updated last year
- Aggregated audit checklist☆304Updated 3 months ago