Audit reports and economic simulations for the Liquidations 2.0 upgrade of the Multi-Collateral Dai (MCD) Protocol
The Liquidations 2.0 upgrade for the MCD Protocol resolves some inefficiencies in the original liquidation system by replacing the current English style auction system, where bids start low, with a new Dutch style auction system, where auction prices generally start high and drop over time.
The key advantage to the new liquidation system is that the entire Vault’s collateral is available at a given price. As time passes, the DAI the protocol is willing to take for the collateral falls. This allows keepers to leverage all liquidity available on-chain using single block composability.
The design is intended to reduce the risk that auctions clear at lower-than-market prices, while removing most liquidity constraints from keepers. Liquidations 2.0 is also intended to reduce price volatility risk from keepers.
The following security audits on the smart contracts code have been conducted prior to the launch of the Liquidations 2.0 upgrade:
Furthermore, Gauntlet was engaged to perform economic simulations of Liquidations 2.0 and 1.2 for purposes of comparison on various metrics of performance, and to simulate Liquidations 2.0 under different parameter settings to inform optimally choosing these parameters for the live system.