This repo is meant to be used with exercises 5 and 6 of Building-secure-contracts/Echidna.
Only two challenges are currently supported (naive receiver, and unstoppable). The changes made to the original repo:
- Remove the
dependencyCompilersection inhardhat.config.js - Enable transfers of tokens in
contracts/the-rewarder/AccountingToken.sol(the original mock token does not allow transfers, limiting the fuzzer exploration)
Below is the original readme
A set of challenges to hack implementations of DeFi in Ethereum.
Featuring flash loans, price oracles, governance, NFTs, lending pools, smart contract wallets, timelocks, and more!
Created by @tinchoabbate
Visit damnvulnerabledefi.xyz
All Solidity code, practices and patterns in this repository are DAMN VULNERABLE and for educational purposes only.
DO NOT USE IN PRODUCTION.