aviggiano / coypu
Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst all members that contribute to the project.
☆9Updated last year
Related projects: ⓘ
- ☆35Updated 11 months ago
- ☆45Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆57Updated 10 months ago
- Identify flashloan bots in multiple chains☆33Updated last year
- Diagrams for Solidity contracts☆43Updated 6 months ago
- A comprehensive guide to teach you about gas optimization patterns.☆25Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Simple Rust script for finding colliding 4byte function selectors☆57Updated last year
- ☆68Updated last year
- ☆38Updated last year
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆65Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆49Updated 3 weeks ago
- ☆50Updated last year
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 6 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆41Updated this week
- A mostly mostly reasonable approach to inline Yul styling.☆29Updated 5 months ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆24Updated 5 months ago