0xJCN / Damn-Vulnerable-DeFi-V3-CTFLinks
Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
☆25Updated 2 years ago
Alternatives and similar repositories for Damn-Vulnerable-DeFi-V3-CTF
Users that are interested in Damn-Vulnerable-DeFi-V3-CTF are comparing it to the libraries listed below
Sorting:
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 3 years ago
- Content for Electisec Reports Site☆27Updated last week
- Vyper Based Capture The Flag Challenges☆35Updated 3 years ago
- ☆19Updated 3 years ago
- ☆55Updated 2 months ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆39Updated 2 years ago
- A static analyzer for Solidity, built upon regex and ASTs.☆26Updated last year
- ☆49Updated 2 years ago
- ☆63Updated 2 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 6 months ago
- ☆17Updated 3 weeks ago
- Diagrams for Solidity contracts☆47Updated last year
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- ☆37Updated last year
- simple zk implementations in python☆29Updated last year
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆37Updated 2 years ago
- ☆44Updated 11 months ago
- ☆35Updated 2 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆28Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated 2 years ago
- Exercises for the Yield 2022 Mentorship progam☆61Updated 3 years ago
- Smart contract exploit proof of concept exploit standard interface☆16Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- A quick and easy way to test gas optimizations.☆27Updated 3 years ago
- ☆94Updated last year
- Identify flashloan bots in multiple chains☆34Updated 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…☆11Updated 2 years ago