Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
☆25Feb 20, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆36Feb 20, 2023Updated 3 years ago
- A command line tool for mining the stats of Code4rena☆18Aug 8, 2023Updated 3 years ago
- ☆35Jul 8, 2022Updated 4 years ago
- Eclectic notes on static analysis and compilers☆47Aug 4, 2022Updated 4 years ago
- ☆17Apr 4, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Sep 24, 2022Updated 4 years ago
- Contains every issue l have ever found, while doing public auditing.☆30Feb 27, 2023Updated 3 years ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Apr 26, 2024Updated 2 years ago
- Contract for Smart Cars in the 0xmonaco challenge from Paradigm CTF 2022☆44Aug 22, 2022Updated 4 years ago
- ☆51Sep 11, 2023Updated 3 years ago
- ☆29Mar 7, 2023Updated 3 years ago
- unhacked challenge 1: reaper☆42Sep 10, 2022Updated 4 years ago
- ☆23Jul 1, 2023Updated 3 years ago
- Vyper Based Capture The Flag Challenges☆35Jun 20, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Jun 16, 2023Updated 3 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆26Mar 25, 2025Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆279Jul 3, 2024Updated 2 years ago
- AI-Boosted Solidity REPL☆108May 29, 2023Updated 3 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆42Jul 31, 2023Updated 3 years ago
- ☆22Apr 12, 2023Updated 3 years ago
- A curated list of resources for Huff language☆314Jan 11, 2024Updated 2 years ago
- Implementation of the Ethereum Virtual Machine in python.☆84Feb 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- optimized huff snippets☆20May 2, 2023Updated 3 years ago
- ☆65Jan 16, 2023Updated 3 years ago
- Speed up your judging on Sherlock!☆17Apr 3, 2023Updated 3 years ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆83Aug 5, 2022Updated 4 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Mar 18, 2022Updated 4 years ago
- Optimint is a gas-optimized ERC721 reference implementation that's based on OpenZeppelin Contracts, and requires only 1 SSTORE operation …☆28Jul 27, 2022Updated 4 years ago
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆64Jul 14, 2022Updated 4 years ago
- A collection of Yul/Yul+ code, from basic token standards, to advanced Defi primitives☆19Nov 28, 2025Updated 11 months ago
- ☆14Sep 20, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Collection of reports/articles/publications/etc of mine.☆50May 26, 2022Updated 4 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆108May 17, 2023Updated 3 years ago
- Public profile of my adventure as a blockchain and smart contract security auditor.☆77Nov 16, 2025Updated 11 months ago
- optimized queue datastructure☆32Jul 26, 2022Updated 4 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆58Aug 22, 2024Updated 2 years ago
- An optimized tic-tac-toe game in solidity☆25Aug 17, 2022Updated 4 years ago
- ☆15Feb 11, 2023Updated 3 years ago