$600M in Kamino's Lending Vaults. Geautomatiseerde, open source, formeel geverifieerde leningsrendementen, op @solana