Horizen Labs Launches zkVerify to Revolutionize Blockchain Settlement

Horizen Labs has officially launched zkVerify, a specialized zero-knowledge proof verification network designed to optimize blockchain settlement processes. The introduction of zkVerify comes at a crucial time when blockchain networks are increasingly in need of efficient and scalable solutions to manage high transaction volumes and complex operations.

In recent years, web3 developers have increasingly adopted modular solutions to enhance the core functions of blockchain protocols—execution, consensus, data availability, and settlement—by treating them as separate functions. Modular architectures offer a more efficient alternative to monolithic chains, which combine these features into a single protocol. zkVerify stands out as the most efficient zero-knowledge (ZK) modular solution for the settlement layer, significantly reducing security costs by separating proof verification from settlement on Layer 1 (L1) blockchains.

Horizen Labs reported that approximately $47 million was spent on proof verification for zk-rollups on Ethereum in 2023 alone. Industry studies predict that zk proof generation will grow into a $10 billion market by 2030. zkVerify aims to eliminate the cost and complexity associated with the computationally intensive process of proof verification for developers using zk-rollups. This solution is expected to be a critical factor in enhancing the scalability and adoption of decentralized applications. Initially, zkVerify will be available for verifying proofs for Ethereum and Bitcoin Layer 2 (L2) solutions, offering a 91% cost reduction. The platform will soon expand to support multiple blockchain architectures. As zk-rollups continue to be adopted as essential scaling infrastructure, zkVerify is set to establish a new standard for proof verification across various settlement layers.

Key Features of zkVerify

Fast Modularized Process: zkVerify enables blockchain networks to offload the computationally demanding and expensive process of proof verification, allowing them to focus on their primary functionalities and maintain a competitive edge.

Cost-Effective Proof Verification: The platform reduces the cost of proof verification by up to 91%, which could have saved zk-rollups over $42.8 million in 2023 alone.

Streamlined and Easy Integration: zkVerify integrates seamlessly with existing blockchain ecosystems and multiple SNARK proving schemes, minimizing technical overhead and providing a developer-friendly environment.

Rob Viglione, Co-founder and CEO of Horizen Labs, emphasized that zkVerify is not just about cost reduction but also about enabling innovation and scalability in ways that were previously unattainable. By offloading proof verification, zkVerify allows developers to optimize settlement through a modular approach, unlocking more resources and value for both developers and users.

zkVerify Goes Live on Testnet

Designed for seamless integration with existing blockchain networks, zkVerify minimizes technical overhead and offers a developer-friendly environment for proof verification across a broad spectrum of zk-rollups and settlement layers. Built by Horizen Labs, the same development studio behind the EVM-compatible Horizen network, zkVerify is also available to builders within the Horizen ecosystem. Leading zk and web3 projects such as Gevulot, Caldera, and Gateway.fm are among the earliest networks to utilize zkVerify for proof verification.

The launch of zkVerify represents a significant advancement in blockchain technology, providing an efficient and scalable solution to the increasingly complex needs of modern blockchain networks. By addressing the high costs and complexity of proof verification, zkVerify is poised to become a pivotal component in the evolution of decentralized applications and blockchain infrastructure. As the demand for scalable and efficient blockchain solutions continues to grow, zkVerify offers a promising path forward, ensuring that blockchain networks can meet the demands of high transaction volumes and complex operations without compromising on security or efficiency.