MiloTruck / sorella-notesLinks
☆12Updated 7 months ago
Alternatives and similar repositories for sorella-notes
Users that are interested in sorella-notes are comparing it to the libraries listed below
Sorting:
- Content for Electisec Reports Site☆27Updated last week
- Foundry + Yul puzzles☆33Updated last year
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- ☆36Updated last year
- ☆45Updated 7 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 9 months ago
- simple zk implementations in python☆25Updated last year
- A set of exercises to get started with Cairo0☆20Updated 2 months ago
- ☆49Updated 2 years ago
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆52Updated 5 months ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆35Updated 2 months ago
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Diagrams for Solidity contracts☆47Updated last year
- ☆65Updated 2 years ago
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆50Updated 4 months ago
- Building the EVM from Scratch☆16Updated last year
- ☆40Updated 5 months ago
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Updated 3 months ago
- ☆70Updated last year
- List of Halmos resources.☆54Updated 3 months ago
- ☆43Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆68Updated 11 months ago
- Collection of past CTFs to play and practice locally.☆52Updated 9 months ago
- A Solidity library for transient storage management ✨☆60Updated 4 months ago