Kattava muodollinen @CetusProtocol verifiointi @SuiNetwork: ydin-CLMM-protokolla, standardikirjasto (STL) ja kokonaisluku-mate. Virallinen verifiointimme vahvistaa kriittisten protokollaominaisuuksien oikeellisuuden, mukaan lukien deduktiiviset todistukset siitä, että tick-to-price -muunnosfunktiot toteuttavat matemaattiset kaavat oikein (√1.0001^tick ja sen käänteinen). Tämä menee paljon pidemmälle kuin kaikki muu muodollinen varmennustyö Uniswap v3-tyylisistä CLMM-protokollista, mukaan lukien Uniswap itse. Osana turvallisuuskumppanuuttamme Cetuksen kanssa jatkamme heidän protokollansa vahvistamista. Lisätietoja ja raportti alla.