zkVerify blog

Ultrahonk is Here and zkVerify is the Only Place You Should Verify It!

a man is cooking food on a grill in front of a car .
a man in a suit and white shirt is smiling for the camera .
John Camardo

Introduction

As a product manager deeply involved in the genesis of zkVerify, I consider it a passion project, a "child" I love to champion. I'm constantly seeking feedback to refine it, and a recurring theme from our Business Development team is the challenge of articulating zkVerify's distinct advantages over competitors and even Ethereum itself. This has been a tough nut to crack, as our differentiators often demand a nuanced understanding of the product, its rivals, and more time than a typical 30-minute virtual meeting allows.

Introducing Ultrahonk

However, that's all changing with our latest runtime upgrade! We're thrilled to announce official support for Ultrahonk proofs. Ultrahonk is a cutting-edge proof type that delivers lightning-fast proving and verification, even enabling proving directly in a browser. This breakthrough opens up a world of possibilities for applications requiring rapid proving (think games, DeFi, and more). Developed by the brilliant minds at Noir, Ultrahonk was a highly sought-after proof type by participants in our recent hackathons.

The easy-to-explain differentiator

We implemented this not only in response to valuable feedback but also because Ultrahonk proofs cannot be verified directly on Ethereum or many EVMs without specific precompiles. This means anyone building on Ethereum, Base, or even Base's appchains will find themselves out of luck unless they leverage the power of zkVerify. This unique capability is a significant differentiator, positioning zkVerify as the essential gateway for advanced, high-performance applications.

The Challenge of Precompiles on Other Blockchains

Adding precompiles to established blockchains like Ethereum and its Layer 2 solutions is a significant undertaking. It's not a simple code update; rather, it demands a complex process involving widespread consensus from the entire ecosystem's governance bodies. This often culminates in a hardfork, a protocol upgrade that is not backward-compatible and requires all network participants to update their software. Such a process is inherently slow, resource-intensive, and carries the risk of network disruption or even chain splits.

zkVerify's Advantage

In stark contrast, zkVerify offers a streamlined and agile approach. Our platform is designed to integrate new proof types, such as Ultrahonk, without the need for disruptive hardforks. This agility allows us to rapidly respond to advancements in zero-knowledge technology and user demands, providing developers with immediate access to cutting-edge features. By abstracting away the complexities of blockchain-level upgrades, zkVerify empowers developers to innovate freely and deploy high-performance applications with unparalleled ease and speed.


If you're into ZK, AI, and building real things—not just reading papers—follow me on X: @john_camardo.