1/ Estamos orgulhosos de compartilhar que os Cofres Kamino Earn foram formalmente verificados pela @CertoraInc - um importante marco de segurança Isso confirma que o Kamino Earn atende aos mais altos padrões de segurança, tornando-o o produto de rendimento mais seguro em @solana Totalmente de código aberto. 4x auditado. Verificado formalmente.

2/ O Kamino está livre de incidentes desde seu lançamento em setembro de 2022. Zero falhas de contratos inteligentes, zero explorações e nenhuma dívida incobrável induzida por protocolo Essa verificação formal afirma os padrões de engenharia que fizeram do Kamino uma referência para infraestrutura DeFi segura

3/ Em suma, a verificação formal verifica rigorosamente o código da Kamino quanto à correção lógica e matemática - garantindo que os contratos se comportem exatamente como pretendido É uma camada adicional de garantia sobre os já altos padrões da Kamino para segurança de contratos inteligentes