fund-eq-of-dai-certora icon indicating copy to clipboard operation
fund-eq-of-dai-certora copied to clipboard

Published 20 hours ago • verified publisher icon kmbarry1
→

Metadata

Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.

fund-eq-of-dai-certora

Succinctly prove the fundamental equation of DAI failed to hold using the Certora prover. The bug was fixed.

Instructions

  1. Install Certora CLI
  2. Install solc-select
  3. Use solc-select to install solc 0.8.13 via solc-select install 0.8.13
  4. Clone this repository via git clone https://github.com/kmbarry1/fund-eq-of-dai-certora.git
  5. Run via make certora-vat

← Metadata

15
Stars
2
Forks
Watchers

Owner

verified publisher icon kmbarry1

Metadata

Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.

Back