Het formele verificatiewerk van het Cetus Protocol stelt een nieuwe standaard voor Sui DeFi. De strengheid hier, met bewijzen van de kernmechanismen van het protocol, is wat veiligheid eruitziet. Lees de volledige uitleg👇