Cetus-protokollets formella verifieringsarbete sätter en ny standard för Sui DeFi. Stringensen här, med bevis på kärnprotokollmekanik, är hur säkerhet ser ut. Läs hela genomgången👇