Cyfrin / assembly-evm-opcodes-and-formal-verification-courseLinks
☆114Updated 4 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 4 months ago
- ☆128Updated 9 months ago
- Generate perfect code headers every time.☆333Updated last year
- Pre-built security properties for common Ethereum operations☆338Updated 5 months ago
- Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.☆245Updated 6 months ago
- A Python package to clone a repo and automatically prepare it for audit report generation☆31Updated 4 months ago
- ☆138Updated 2 months ago
- ☆223Updated 2 years ago
- ☆40Updated 11 months ago
- A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.☆41Updated last month
- Institutional-grade web3 security.☆316Updated 3 weeks ago
- A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…☆376Updated last year
- A repo to help users run code in isolated environments. Stay safe big dogs.☆141Updated 3 months ago
- Primers for Specialist AI Smart Contract Auditors☆212Updated last month
- A list of public audit reports conducted by the Cyfrin team☆281Updated last week
- ☆360Updated last year
- ☆116Updated 3 months ago
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆12Updated 3 weeks ago
- Aggregated audit checklist☆309Updated 5 months ago
- ☆113Updated last year
- Solidity Code Metrics☆280Updated 10 months ago
- ☆461Updated 6 months ago
- ☆284Updated last year
- ☆63Updated 3 years ago
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆399Updated last year
- ☆34Updated last year
- ☆85Updated last month
- easy POC template generation from the command line☆323Updated last year
- Code examples in Yul☆256Updated last year