List of Flash News about Lean Kani
| Time | Details |
|---|---|
|
2026-05-02 11:41 |
Solana: Cuts Verification Costs to 173k CUs
Solana slashes program verification to ~173-183k compute units in 0.1.2 update, paving way for Lean/Kani proofs amid SOL price prediction trends at $83.86. |