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.
Certora announced updates to its formal verification Prover across three blockchain ecosystems. The EVM Prover enhancement displays full storage paths for unresolved calls in the resolution pane. The Solana Prover now supports the --split_rules CLI flag for rule splitting, matching Solidity functionality. Most notably for Stellar developers, the Soroban Prover added multi-assert mode support via the --multi_assert_check flag, enabling the same behavior as Solidity. Users can access these updates by upgrading to the latest certora-cli version via pip.
