Invariants Improvement - Githubissues

ajna-finance / ajna-core

The Ajna protocol is a non-custodial, peer-to-peer, permissionless lending, borrowing and trading system that requires no governance or external price feeds to function.

https://www.ajna.finance/

Other

31 stars 11 forks source link

Invariants Improvement #1054

Closed prateek105 closed 10 months ago

prateek105 commented 10 months ago

Description

Reduce MAX_POOL_DEBT to 1e32.
Add loan settlement for settleable borrowers if pooldebt > MAX_POOL_DEBT.
Fix collateral to pledge calculations to calculate collateral to pledge at least collateral scale.

Purpose

Impact

Tasks

[x] Changes to protocol contracts are covered by unit tests executed by CI.
[x] Protocol contract size limits have not been exceeded.
[x] Gas consumption for impacted transactions have been compared with the target branch, and nontrivial changes cited in the Impact section above.
[x] Scope labels have been assigned as appropriate.
[x] Invariant tests have been manually executed as appropriate for the nature of the change.