很自豪能与 @kamino 和 @y2kappa 一起正式验证 Kamino Lend 的关键不变性，推动 Solana 上安全 DeFi 的边界。