MiloTruck / sorella-notes
☆12Updated 6 months ago
Alternatives and similar repositories for sorella-notes:
Users that are interested in sorella-notes are comparing it to the libraries listed below
- Content for Electisec Reports Site☆27Updated 2 weeks ago
- ☆36Updated last year
- A general purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆34Updated last month
- unhacked challenge 1: reaper☆41Updated 2 years ago
- A set of exercises to get started with Cairo0☆20Updated last month
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 8 months ago
- simple zk implementations in python☆25Updated 11 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- ☆58Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Updated last year
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆40Updated last year
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆36Updated 2 years ago
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆10Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Updated last year
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated last month
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆16Updated 2 months ago
- Foundry + Yul puzzles☆33Updated last year
- To learn fork testing & on-chain broadcast☆28Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated last year
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- This code accompanies the invariant testing tutorial on our website.☆20Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Solidity static analyzer☆82Updated last year
- Here you will find set of questions and solutions which will be useful to level up our solidity programming as well as ace our interviews…☆23Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated last year
- ☆70Updated last year
- ☆26Updated last year