We’re shipping another important step forward for zkVerify. Runtime Upgrade 1.3.1 is now live on mainnet, delivering new features that make verification more flexible, more developer-friendly, and easier to manage at the domain level.

This release includes:

EZKL Verifier Pallet

As AI and verifiable compute continue to converge, zkVerify is keeping pace. With this upgrade, we’re introducing support for verifying EZKL-generated proofs on the zkVerify chain. EZKL is a proving system purpose-built for machine learning models, and this pallet allows developers to combine the EZKL stack with zkVerify’s verification layer. That means more efficient, scalable AI use cases — now with on-chain verifiability directly on zkVerify. This marks an exciting first step into the emerging intersection of AI and ZK.

Domain Allow List Support

We’re introducing allow list management for domain owners, giving them more granular control over who can submit proofs to a domain. This enhancement improves domain manageability and offers teams the flexibility to define and enforce custom proof submission policies.

NonZK Ultrahonk Support

This release also adds support for the non-ZK variant of the Ultrahonk verifier — further expanding the list of supported verifiers on zkVerify. By including more verification options, we’re giving developers greater flexibility to build and integrate across diverse tech stacks, without locking them into a single proving system.

Looking ahead

Each upgrade to zkVerify is a step toward a more modular, developer-friendly, and future-proof verification layer. With new verifier integrations and improved domain control, we’re continuing to unlock real-world use cases — from AI to custom proof systems — and building the infrastructure for the next wave of on-chain verifiability.

– The zkVerify Team