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.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
build-uniswap-v1		build-uniswap-v1
contracts		contracts
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
cover.png		cover.png
hardhat.config.js		hardhat.config.js
package.json		package.json
yarn.lock		yarn.lock