April 11, 2024

Prover v7.3.0 - Enhanced User Experience Features

Prover version 7.3.0 is out! This update aims to enhance your user experience and address some minor bugs reported by our users.

New Web Features

Jump to Spec

Quickly locate rule definitions or assertion messages within your spec file by clicking the new icon in the Rules, Rule Call Resolution, or Global Call Resolution tab items

Real-time insights

Stay informed with the new Live Statistics tab, providing key metrics on path count, non-linear operations, and memory/storage complexity before job completion. These metrics guide simplification strategies to optimize Prover performance.

Job configurations tab

Explore the new Configuration tab to quickly access the exact settings used for your verification job

Prover Updates

  • Easy access to immutables 
    Access immutable variables directly, even if they are private. Read more | Example
  • Advanced rule selection 
    Enhance filtering flexibility with wildcard (*) support in --rule or utilize
    --exclude_rule for seamless exclusion. Read more
  • Reason about blobhash 
    Verify advanced specifications with Prover's new support for blobhash instruction and hooks. Read more
  • Preliminary support of transient storage
    Preliminary support for tload and tstore operations in inline-assembly Solidity, along with ALL_TLOAD and ALL_TSTORE hooks. Read more | Example 
  • Dispatch-list summarization
    Enhance contract behavior modeling with dispatch-list summarization, enabling precise representation of smart contract actions for statically unresolved calls. Read more | Example
  • Precise bitwise operations
    Fine-tune modeling by using --precise_bitwise_ops to model bitwise operations precisely with the tradeoff of lowering mathint accuracy. Read more | Example
  • Local compilation checks
    Speed up development with --compilation_steps_only, enabling local compilation and syntax validation of spec files without server connection. Read more

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

View full release notes

Get every blog post delivered

Certora Logo
Terms of UsePrivacy Policy