Dumny, że mogę współpracować z @kamino i @y2kappa, aby formalnie zweryfikować krytyczne invariants dla Kamino Lend
1/ Z radością ogłaszamy, że Kamino Lend został formalnie zweryfikowany przez @osec_io — co podnosi naszą całkowitą liczbę formalnych weryfikacji do 4 To dodatkowo umacnia Kamino jako złoty standard bezpieczeństwa i ochrony w @solana DeFi Otwarty kod źródłowy. 18 audytów. 4 formalne weryfikacje.
Pokaż oryginał
1,77 tys.
0
Treści na tej stronie są dostarczane przez strony trzecie. O ile nie zaznaczono inaczej, OKX nie jest autorem cytowanych artykułów i nie rości sobie żadnych praw autorskich do tych materiałów. Treść jest dostarczana wyłącznie w celach informacyjnych i nie reprezentuje poglądów OKX. Nie mają one na celu jakiejkolwiek rekomendacji i nie powinny być traktowane jako porada inwestycyjna lub zachęta do zakupu lub sprzedaży aktywów cyfrowych. Treści, w zakresie w jakim jest wykorzystywana generatywna sztuczna inteligencja do dostarczania podsumowań lub innych informacji, mogą być niedokładne lub niespójne. Przeczytaj podlinkowany artykuł, aby uzyskać więcej szczegółów i informacji. OKX nie ponosi odpowiedzialności za treści hostowane na stronach osób trzecich. Posiadanie aktywów cyfrowych, w tym stablecoinów i NFT, wiąże się z wysokim stopniem ryzyka i może podlegać znacznym wahaniom. Musisz dokładnie rozważyć, czy handel lub posiadanie aktywów cyfrowych jest dla Ciebie odpowiednie w świetle Twojej sytuacji finansowej.