Damn-vulnerable-defi - Echidna edition

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 dependencyCompiler section in hardhat.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!

Play

All Solidity code, practices and patterns in this repository are DAMN VULNERABLE and for educational purposes only.

DO NOT USE IN PRODUCTION.