Комплексная формальная верификация @CetusProtocol на @SuiNetwork: основной протокол CLMM, стандартная библиотека (STL) и integer-mate. Наша формальная верификация подтверждает правильность критически важных свойств протокола, включая дедуктивные доказательства того, что функции преобразования тик-цена корректно реализуют математические формулы (√1.0001^tick и её обратную). Это значительно превосходит все другие работы по формальной верификации протоколов CLMM в стиле Uniswap v3, включая сам Uniswap. В рамках нашего партнерства по безопасности с Cetus мы продолжим укреплять их протокол. Подробности и отчет ниже.