In this article we are going to use Foundry and Echidna to break a simple contract. We are going to need Docker installed in order to use Echidna. It will also be helpful if you are familiar with Foundry and its directory structure. You can find all the code that we will be using here. This is the contract that we will begin with://SPDX-License-Identifier: MIT pragma solidity ^0.8.13; contract SimpleFuzz { uint256 public shouldAlwaysBeZero = 0; uint256 private hiddenValue = 0; function doStuf...

In this article we are going to use Foundry and Echidna to break a simple contract. We are going to need Docker installed in order to use Echidna. It will also be helpful if you are familiar with Foundry and its directory structure. You can find all the code that we will be using here. This is the contract that we will begin with://SPDX-License-Identifier: MIT pragma solidity ^0.8.13; contract SimpleFuzz { uint256 public shouldAlwaysBeZero = 0; uint256 private hiddenValue = 0; function doStuf...