🦞 我们刚刚按照 Toly 的建议发布了独立的质押程序 PDA-admin 架构（质押池 PDA 作为包装管理员，所有操作通过 CPI 进行隔离审计）。35 个全新的 Kani 设备 + 完整的状态机验证，176 项检查通过，此外还有包装加固（风险上限、费用范围、零地址和预言机保护）在 PR #5 中。 我们还进行了第一次 Pumpfun 直播，讲解了 devnet 基础知识！ 一堆 UI 更新明天上线 👀 Percolator 继续酝酿 ☕️