Horizen Labs, a zero-knowledge cryptography platform, is rolling out its devoted layer-1 blockchain for personal information verification.
ZkVerify, a brand new L1 blockchain designed for zero-knowledge proof (ZK-proof) verification, introduced its mainnet launch on Tuesday.
“ZkVerify’s mission is to take away the financial and technical limitations to ZK adoption,” Horizen Labs CEO and zkVerify founder Rob Viglione advised Cointelegraph.
“Despite the fact that verification is often seen because the ‘most cost-effective’ a part of the ZK worth chain, it’s nonetheless far too expensive and inefficient to assist real-world scale,” Viglione mentioned.
What’s ZKP verification?
ZKP verification is a cryptographic methodology that permits one celebration to show a press release to a different with out disclosing the underlying info or information itself. A typical instance is verifying age eligibility to entry a service with out requiring the disclosure of a complete ID or different private particulars.
With a ZKP quantity estimated at round $100 million and 4.4 billion proofs as of 2025, the ZK proving market is anticipated to achieve $1.5 billion by 2030, in keeping with information from main trade platforms Refrain, Aligned and Horizen Labs.

ZK proving market predictions. Supply: Delphi Digital
“Proper now, many chains and apps may be slowed down or costlier as a result of verifying these proofs on Ethereum or one other chain may be considerably costlier,” Viglione mentioned.
In line with zkVerify, ZKP verification on networks like Ethereum can value as much as $60 per proof throughout excessive congestion, with verification consuming as much as 300,000 fuel items. zkVerify guarantees to allow value discount of at the very least 90% in comparison with verifying instantly on L1s.
“Heavy math as a substitute of authentic app or chain”
To chop verification prices, zkVerify supplies a devoted verification layer by separating proof verification from settlement on L1s.
“zkVerify checks a ZK-proof by doing the heavy math as a substitute of the unique app or chain,” Viglione advised Cointelegraph, including:
“The unique chain sends proof and inputs, it routes to the proper checker, validates them, and information a go or a fail. Different apps or chains then learn that consequence as a substitute of redoing the mathematics, offloading the computational burden to zkVerify, reducing time and value.”
Decentralized ID, gaming, DeFi lending amongst use circumstances
Amongst actual zkVerify use circumstances, Viglione talked about the decentralized ID, verified buying and selling predictions, decentralized finance lending, gaming and extra.
“The simplest method to work together with zkVerify is by way of our relayer interface, which is as simple as an API to make use of, and continually rising in capabilities,” he mentioned, including that the blockchain “works quietly within the background,” so the person shouldn’t have to actively take into consideration the way it works.
Associated: Vitalik slams EU’s Chat Management: ‘All of us deserve privateness and safety’
He additionally highlighted zkVerify’s functionality to confirm many alternative proof sorts with its modular structure in addition to multichain optionality, enabling groups to confirm as soon as and attest to Ethereum, Base, Arbitrum, Optimism and different chains with out lock-ins.
ZkVerify’s mainnet launch comes months after the Ethereum Basis introduced plans to combine its ZK Ethereum Digital Machine (zkEVM) instantly into its L1 blockchain inside a yr.
The deliberate integration would carry vital adjustments to zkEVM’s block execution, letting validators confirm a number of proofs from completely different zkVMs as a substitute of re-executing block transactions.
Journal: Can privateness survive in US crypto coverage after Roman Storm’s conviction?

