Succinctly prove the fundamental equation of DAI failed to hold using the Certora prover. The bug was fixed.
- Install Certora CLI
- Install solc-select
- Use solc-select to install solc 0.8.13 via
solc-select install 0.8.13 - Clone this repository via
git clone https://github.com/kmbarry1/fund-eq-of-dai-certora.git - Run via
make certora-vat