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:
- Diagrams for Solidity contracts☆47Updated last year
- Content for Electisec Reports Site☆27Updated this week
- A comprehensive guide to teach you about gas optimization patterns.☆25Updated last year
- simple zk implementations in python☆26Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆35Updated 3 months ago
- Foundry + Yul puzzles☆33Updated last year
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- A set of exercises to get started with Cairo0☆20Updated 3 months ago
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- ☆36Updated last year
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆17Updated 4 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆54Updated 4 months ago
- To learn fork testing & on-chain broadcast☆28Updated last year
- ☆38Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated last year
- Publicly available audits and bug reports☆16Updated last month
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- ☆45Updated 7 months ago
- ☆50Updated 2 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 3 months ago
- A quick and easy way to test gas optimizations.☆27Updated 2 years ago
- Building the EVM from Scratch☆16Updated last year
- Zigtur's audit reports for private clients☆20Updated last week
- ☆19Updated 7 months ago
- List of Halmos resources.☆55Updated 4 months ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Solidity static analyzer☆83Updated last year