600 Millionen Dollar in Kaminos Kredit-Vaults. Automatisierte, Open-Source, formal verifizierte Kreditrenditen auf @solana