OpenVM v2.1.0-rc.1 updates certified verifier to Lean4 v4.34.0

The zero-knowledge VM's formal verification layer upgrades its Lean4 dependency ahead of a stable release.

This permalink is the canonical link for this story. It updates as new coverage joins the cluster. Know a post that belongs here? Suggest a link.