Si prega di verificare formalmente i propri programmi Solana con Kani. Questo sarà fondamentalmente l'unico modo per rimanere avanti rispetto agli strumenti di pen testing AI.