Fier d travailler avec @kamino et @y2kappa pour vérifier formellement les invariants critiques pour Kamino Lend
1/ Nous sommes ravis d'annoncer que Kamino Lend a été formellement vérifié par @osec_io — portant notre total de vérifications formelles à 4
Cela établit encore davantage Kamino comme la référence en matière de sécurité et de sûreté dans le DeFi de @solana
Open source. 18 audits. 4 vérifications formelles.

1,19 k
0
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles cités et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni à titre d’information uniquement et ne représente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas être considéré comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numériques. Dans la mesure où l’IA générative est utilisée pour fournir des résumés ou d’autres informations, ce contenu généré par IA peut être inexact ou incohérent. Veuillez lire l’article associé pour obtenir davantage de détails et d’informations. OKX n’est pas responsable du contenu hébergé sur des sites tiers. La détention d’actifs numériques, y compris les stablecoins et les NFT, implique un niveau de risque élevé et leur valeur peut considérablement fluctuer. Examinez soigneusement votre situation financière pour déterminer si le trading ou la détention d’actifs numériques vous convient.