Komplexní formální ověření @CetusProtocol na @SuiNetwork: core CLMM protokol, standardní knihovna (STL) a celočíselný mate. Naše formální ověření potvrzuje správnost klíčových vlastností protokolu, včetně deduktivních důkazů, že funkce převodu tiku na cenu správně implementují matematické vzorce (√1.0001^tick a jeho inverzní hodnoty). To daleko přesahuje veškerou jinou formální ověřovací práci na CLMM protokolech ve stylu Uniswap v3, včetně samotného Uniswapu. V rámci našeho bezpečnostního partnerství s Cetusem budeme pokračovat v posilování jejich protokolů. Podrobnosti a zpráva níže.