The Transparency Dashboard lets allocators understand and act on security risk.
Assertions give users the ability to express additional invariants on the state of the contract. A change of the implementation address could be prevented by analyzing the state changes within a transaction.
The Euler hack exploited a vulnerability in the donation and liquidation logic. Assertions on key invariants such as health factor checks and reserve consistency would have blocked the malicious transactions.
An attacker manipulated the oracle price of MNGO to inflate collateral value and drain the protocol. Assertions enforcing price deviation bounds and borrow limits would have prevented this exploit.
Request Protection
