zkVerify blog

zkVerify Runtime Upgrade 0.14.0 - Faster Integration, Enhanced Performance

an advertisement for a new version of zkverify

We’re excited to announce a new runtime upgrade that brings exciting improvements to our verification capabilities and reinforces our commitment to providing the most powerful, flexible, and developer-friendly verification platform.

This release marks a significant milestone: not only are we integrating the just-released RISC Zero Verifier 2.0 in record time, but we’re also refining our Plonky2 support, restoring previously paused functionality, and improving the overall developer experience.

Let’s break it down.

What’s New?

Immediate Access to RISC Zero Verifier 2.0

We’ve integrated RISC Zero Verifier 2.0 just days after its official release. This rapid integration means zkVerify developers can immediately leverage the latest performance improvements, features, and security enhancements from RISC Zero. No waiting periods – build with the newest tools right away, ensuring your applications remain cutting-edge and benefit from the most advanced general-purpose ZK virtual machine capabilities available.

Optimized Plonky2 Verifier Performance and Reliability

We recently introduced support for the Plonky2 verifier during our transition to the Volta Testnet. With this upgrade, we’re fine-tuning that integration with a series of fixes and improvements, including better weight handling and other optimizations that enhance its reliability and performance.

Additional Improvements

In addition to the major updates, this release includes a number of smaller but important changes:

  • Updated OpenSSL to version 0.10.72 to address the vulnerability reported in RUSTSEC-2025-0022
    • OpenSSL is a core security component, and this is an important update to maintain the security and integrity of the software.
  • Improved the build documentation with better clarity and easy-to-follow instructions, which helps developers set up and work the code more easily
  • Minor fixes across tests, CI workflows, and scripts
    • This leads to a smoother development cycle, better testing, and increased reliability of the build process itself.

Why It Matters

By staying ahead with rapid integration of upstream improvements, restoring key tooling, and continually refining our stack, zkVerify ensures developers always have a fast, reliable, and production-ready platform for zero-knowledge proof verification.

Whether you’re building apps, contributing to protocols, or hacking at the next big ZK event, we’ve got your back.

Start building with zkVerify: https://docs.zkverify.io/