Damn Vulnerable DeFi V4 Solutions by JohnnyTime
☆22Apr 4, 2025Updated last year
Alternatives and similar repositories for damn-vulnerable-defi-v4-solutions
Users that are interested in damn-vulnerable-defi-v4-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- Index of Rareskill Blog posts using playwright☆21Mar 1, 2024Updated 2 years ago
- A curated collection of over 200 interview questions designed to guide Ethereum developers through the full Solidity learning path.☆16Mar 16, 2025Updated last year
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 6 months ago
- Nayms Smart Contracts v3☆11Feb 21, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ethernaut Challenges Solutions with Foundry - By JohnnyTime☆77Jan 16, 2024Updated 2 years ago
- ☆10Mar 2, 2024Updated 2 years ago
- An awesome list of gas optimization techniques for smart contracts, with their relevant Proof of Concepts tested using Foundry.☆16Mar 2, 2023Updated 3 years ago
- ☆26Mar 26, 2023Updated 3 years ago
- The smart contract security training ground for developers, security researchers and educators.☆1,334Mar 21, 2025Updated last year
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆30Mar 20, 2024Updated 2 years ago
- public content☆21Oct 7, 2025Updated 8 months ago
- ☆41Jan 20, 2025Updated last year
- ☆21Aug 31, 2023Updated 2 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.
- An evolving set of solana ctf challenges and vulnerabilties☆15Jun 4, 2025Updated last year
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆37Nov 22, 2025Updated 6 months ago
- A list of public fuzzing campaigns☆130Jan 24, 2026Updated 4 months ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆29Jul 15, 2024Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆30Apr 19, 2024Updated 2 years ago
- Damn Vulnerable DeFi V3 Solutions☆58Oct 25, 2023Updated 2 years ago
- ☆23May 9, 2025Updated last year
- Python implementation of the Simple Serialize encoding and decoding☆36Dec 17, 2025Updated 6 months ago
- DeFi exploits for educational purposes☆60Jul 3, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆213Jun 3, 2026Updated 2 weeks ago
- This handbook is our living repository: a curated guide to our best practices, processes, and technical insights.☆74Jun 8, 2026Updated last week
- List of the public smart contract audit reports and security reviews performed by Hexens.☆55Jun 2, 2026Updated 2 weeks ago
- Julia package registry for the Holy lab at Washington University in St. Louis☆17Jun 11, 2026Updated last week
- Scanner for supply chain containing potential malware☆39Jan 17, 2026Updated 5 months ago
- 🌹 Rose: Range-Of-Slice Equilibration PyTorch optimizer. Stateless optimization through range-normalized gradient updates.☆73Apr 28, 2026Updated last month
- A hackable Model Context Protocol (MCP) gateway☆41May 11, 2026Updated last month
- This is creating a TCP Server using Rust programming language☆14Oct 3, 2023Updated 2 years ago
- Stochastic trace estimation using JAX☆18Aug 20, 2025Updated 9 months 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.
- A ComfyUI extension that enables seamless sharing of AI-generated images and videos directly to Discord.☆13May 9, 2026Updated last month
- The fastest Quadtree for Python. Just pip install and go. Powered by Rust. Quick inserts, easy neighbor queries, and seamless Pygame supp…☆32May 31, 2026Updated 2 weeks ago
- ☆11Sep 13, 2022Updated 3 years ago
- ☆13Jul 9, 2024Updated last year
- ☆18Apr 19, 2024Updated 2 years ago
- ☆11Mar 18, 2026Updated 3 months ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆34Feb 25, 2025Updated last year