Certora released updates to its Prover tools across multiple blockchains: EVM now displays storage paths for unresolved calls, Solana Prover added rule splitting support, and Soroban Prover now supports multi-assert mode for smart contract verification.





























