ShippethEthereum releases, writing, news and network upgrades
Everything30Releases30Articles0
Network upgradeNothing scheduled. Glamsterdam is on devnet 11

Dev Tools: Ethereum releases, writing, news and network upgrades

Showing only Certora Prover. Show everything
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and StellarCertora/CertoraProver on GitHub

30 items match, 14 of them low signal.

The stream

Newest first
Tue 25 August
8.19.0 (opens in a new tab) · Certora Prover
Tue 21 July
8.18.0 (opens in a new tab) · Certora Prover
Mon 29 June
8.17.0 (opens in a new tab) · Certora Prover
Mon 25 May
8.16.0 (opens in a new tab) · Certora Prover
Thu 14 May
8.15.0 (opens in a new tab) · Certora Prover
Sun 10 May
8.14.0 (opens in a new tab) · Certora Prover
Mon 27 April
8.13.0 (opens in a new tab) · Certora Prover
Fri 10 April
8.12.0 (opens in a new tab) · Certora Prover
Wed 18 March
8.11.0 (opens in a new tab) · Certora Prover
Thu 26 February
8.10.1 (opens in a new tab) · Certora Prover
Wed 18 February
8.10.0 (opens in a new tab) · Certora Prover
Thu 12 February
8.9.0 (opens in a new tab) · Certora Prover
Mon 2 February
8.8.0 (opens in a new tab) · Certora Prover
Wed 21 January
8.7.0 (opens in a new tab) · Certora Prover
Thu, 27 November 2025
8.6.0 (opens in a new tab) · Certora Prover
Thu, 20 November 2025
8.5.1 (opens in a new tab) · Certora Prover

Also collected

Per-package monorepo tags, releases that carry little weight, and publications that post several times a day
8.19.2 (opens in a new tab) · Certora Prover
8.19.1 (opens in a new tab) · Certora Prover
8.17.1 (opens in a new tab) · Certora Prover