IonInvariants
This contract will be deployed on mainnet and be used to check the invariants of the Ion system offchain every block.
State Variables
lens
IIonLens lens;
Functions
constructor
constructor(IIonLens _lens);
Invariant1
Liquidity in pool + debt to pool >= total supply.
function Invariant1(IIonPool ionPool) external view;
Invariant2
[Sum of all (ilk total normalized debt * ilk rate)] + unbacked debt >= debt to pool.
function Invariant2(IIonPool ionPool) external view;
Invariant3
Invariant1 accrued
function Invariant3(IIonPool ionPool) external view;
Invariant4
Invariant2 accrued
function Invariant4(IIonPool ionPool) external view;