Erschöpfende Liste der Solana Lending-Protokolle, die: - Open-Source sind - Formal verifiziert sind - Nachweislich gebaut sind - Null schlechte Schulden angehäuft haben - Niemals ausgenutzt wurden 1. Kamino