Liquity (@LiquityProtocol): Thanks to @CertoraInc, key mathematical logic regarding batch delegation for interest rate management has been formally verified.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- LQTY+30Positive
Thanks to @CertoraInc, key mathematical logic regarding batch delegation for interest rate management has been formally verified. drive.google.com/file/d/1jvDcAC…