We are announcing OpenVM 2.0.0, the first production release of OpenVM 2.0.
This release is externally audited with expanded formal verification and proves Ethereum mainnet in real time on as few as 8 GPUs. Proving times are down 95x since the first release 18 months ago.