IonInvariants

Git Source

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;