Blog

ProductsProver Gambit

Security ServicesAudits Enterprise Pricing

EcosystemsSolana Stellar Sui

CommunityContests Leaderboard

CompanyTeam Careers Blog Media Kit

Certora Blog

Research and insights on formal verification and digital asset security

Technical research and practical perspectives for financial institutions, regulators and builders.

Engineers' Hub

A dedicated destination for highly technical content, including deep dives, formal verification research, technical case studies and implementation guides.

Explore hub →

Search articles

Filtering by:Release Notes

Results

8 articles

Sort articles

Product & Company

Release Notes

Prover Version 8.13.0

We have released Certora Prover Version 8.13.0 that includes new features for EVM, Solana, and Soroban.

May 5, 2026Read article ↗

Product & Company

Release Notes

Prover Version 8.11.3

We have released Certora Prover Version 8.11.3 that includes new features.

April 21, 2026Read article ↗

Product & Company

Release Notes

Prover Version 8.8.0

We have released Certora Prover Version 8.8.0 that includes new features.

February 9, 2026Read article ↗

Product & Company

Release Notes

Prover Version 8.6.3

We have released Certora Prover Version 8.6.3 that includes an important enhancement.

January 6, 2026Read article ↗

Product & Company

Release Notes

Prover Version 8.5.1

We have released Certora Prover Version 8.5.1 that includes new features.

November 25, 2025Read article ↗

Product & Company

Release Notes

Prover Version 8.3.0

October 5, 2025Read article ↗

Product & Company

Release Notes

Prover Version 8.1.0

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

August 11, 2025Read article ↗

Product & Company

Release Notes

Prover v7.3.0

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

April 11, 2024Read article ↗

Get Certora's latest research and insights.

Email address