请正式使用 Kani 验证您的 Solana 程序。这基本上将是保持领先于 AI 渗透测试工具的唯一方法。