Kamino (@KaminoFinance): Just like all other testing methodologies, formal verification has its own limitations, but when used together they can be extremely powerful
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
Impact unavailable
Just like all other testing methodologies, formal verification has its own limitations, but when used together they can be extremely powerful In addition to formal verification, Certora also performed two manual audits Kamino has now undergone a total of 13 audits across all its smart contracts, while also performing rolling audits with our external audit partners All audit reports are available here: github.com/Kamino-Finance…