Le travail de vérification formelle du protocole Cetus établit une nouvelle norme pour le DeFi sur Sui. La rigueur ici, avec des preuves des mécanismes fondamentaux du protocole, est ce à quoi ressemble la sécurité. Lisez l'analyse complète👇