Umfassende formale Verifizierung des @CetusProtocol auf @SuiNetwork: Kern-CLMM-Protokoll, Standardbibliothek (STL) und Integer-Mate. Unsere formale Verifizierung bestätigt die Richtigkeit kritischer Protokolleigenschaften, einschließlich deduktiver Beweise, dass die Tick-zu-Preis-Konvertierungsfunktionen die mathematischen Formeln korrekt implementieren (√1.0001^tick und deren Inverse). Dies geht weit über alle anderen formalen Verifizierungsarbeiten zu Uniswap v3-ähnlichen CLMM-Protokollen hinaus, einschließlich Uniswap selbst. Im Rahmen unserer Sicherheitspartnerschaft mit Cetus werden wir ihr Protokoll weiterhin absichern. Einzelheiten und Bericht siehe unten.