Prover UI Update

Added Storage Path Info to Unresolved Calls in EVM

If an unresolved call’s callee address was read from storage, the call resolution pane will now display the full path to the storage variable.

Solana Prover Update

Added Support for Rule Splitting

The Solana Prover now supports the --split_rules CLI flag. This works the same as with Solidity except that the rules to be split are supplied by the --rule flag.

Docs

Soroban Prover Update

Added Multi-assert for Soroban Smart Contracts

Added support for multi-assert mode in the Soroban ecosystem. This can be enabled using the --multi_assert_check CLI flag and the behavior is the same as with Solidity.

Get the Latest

Access these updates by ensuring your software is up-to-date with the latest version. To upgrade, simply run pip install --upgrade certora-cli.

As always, support is available on our Discord server. We welcome and appreciate your feedback.