Комплексна формальна верифікація @CetusProtocol на @SuiNetwork: основний протокол CLMM, стандартна бібліотека (STL) та ціле число. Наша формальна перевірка підтверджує коректність критичних властивостей протоколу, включно з дедуктивними доказами того, що функції перетворення tick-to-price коректно реалізують математичні формули (√1.0001^tick та її обернене). Це значно перевищує всю іншу формальну верифікацію протоколів CLMM у стилі Uniswap v3, включаючи сам Uniswap. У рамках нашого партнерства з Cetus у сфері безпеки ми продовжимо посилювати їхній протокол. Деталі та звіт нижче.