Die formale Verifizierung des Cetus Protocols setzt einen neuen Standard für Sui DeFi. Die Strenge hier, mit Nachweisen der Kernmechanismen des Protokolls, ist das, was Sicherheit aussieht. Lesen Sie die vollständige Analyse👇