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

Formal verification improves software security by finding bugs and mathematically proving their absence via mathematical methods. Smart contracts are perfect applications for formal verification because bugs are costly, the code is typically small or modular, and it evolves over time.

On May 10th, the Silo team informed us about a critical vulnerability that had been reported by an external researcher and fixed a few days before. We conducted a thorough investigation and manual review of the issue, the fix, and the rest of the code base.

We have released Certora Prover Version 8.1.0 that includes new features and breaking changes.