1/ Siamo entusiasti di annunciare che Kamino Lend è stato formalmente verificato da @osec_io — portando il nostro totale di verifiche formali a 4 Questo stabilisce ulteriormente Kamino come il gold standard per sicurezza e protezione nel DeFi di @solana Completamente open source. 18x auditato. 2x formalmente verificato 🧵