Protocol Overview - Kamino is identified as a Solana lending protocol meeting specific criteria: open-source, formally verified, verifiably built, zero bad debt, and no exploits [1]