Prace nad formalną weryfikacją protokołu Cetus ustanawiają nowy standard dla Sui DeFi. Rygorystyczność w tym przypadku, z dowodami podstawowych mechanizmów protokołu, to właśnie to, jak wygląda bezpieczeństwo. Przeczytaj pełne podsumowanie👇