1/ Estamos extremadamente emocionados de anunciar que el contrato inteligente de Kamino Lend ahora es una construcción en cadena verificada. Junto con la apertura del código, 18 auditorías y la verificación formal, este es un hito importante en la misión de Kamino de ser el protocolo DeFi más transparente y robusto en @solana.