Horizen Labs, a zero-knowledge encryption platform, is deploying a devoted Layer-1 blockchain for private information verification.
Zkverify introduced the launch of the Mainnet on Tuesday with the brand new L1 blockchain designed for Zero-Data Proof (ZK-Proof) verification.
“Zkverify’s mission is to take away financial and technical obstacles to ZK’s adoption,” Rob Viglione, CEO of Horizen Labs and founding father of Zkverify, informed Cointelegraph.
“Whereas validation is often thought-about the “most cost-effective” a part of the ZK worth chain, it’s nonetheless too costly and inefficient to assist real-world scale,” Viglione stated.
What’s ZKP verification?
ZKP verification is a encryption technique that permits one celebration to show a press release to a different celebration with out disclosing the underlying info or the information itself. A typical instance is to confirm eligibility for the age of entry to the service with out requiring disclosure of your complete ID or different private info.
As of 2025, the ZKP quantity is estimated to be round $100 million and $4.4 billion in proof, so the ZK certification market is predicted to succeed in $1.5 billion by 2030.

ZK certification market forecast. Supply: Delphi Digital
“Now, many chains and apps can sluggish or expensive, as it may be very costly to confirm these proofs on Ethereum or one other chain,” Viglione stated.
In keeping with Zkverify, ZKP verification for networks like Ethereum prices as much as $60 per proof throughout excessive visitors congestion, and verification consumes as much as 300,000 gasoline items. Zkverify guarantees to permit for a minimum of 90% price financial savings in comparison with straight verifying with L1.
“Heavy math as an alternative of the unique app or chain”
To cut back verification prices, Zkverify offers a devoted verification layer by separating proof verification from L1S funds.
“Zkverify checks ZK proofs by doing heavy math as an alternative of the unique app or chain,” Viglione informed Cointelegraph, including:
“The unique chain sends proofs and inputs, routes them to the suitable checker, validates them, and data paths or failures. Different apps or chains learn the outcomes as an alternative of redoing math, lowering the burden of calculations to Zkverify, lowering time and prices.”
Definitions between distributed IDs, video games, and use instances
Among the many precise Zkverify use instances, Viglione talked about decentralized IDs, verified transaction forecasts, decentralized monetary financing, video games and extra.
“The simplest approach to work together with Zkverify is to make use of a relayer interface. That is as straightforward as utilizing an API, and the capabilities are always rising,” he stated.
Associated: Vitalik slams EU chat controls: “All of us deserve privateness and safety.”
He additionally highlighted Zkverify’s potential to confirm many alternative proof sorts utilizing modular structure and multi-chin choices, permitting the workforce to show Ethereum, Base, arbitrum, optimism, and different chains with out lock-in.
The launch of Zkverify’s mainnet comes months after the Ethereum Basis introduced plans to combine ZK Ethereum Digital Machine (ZKEVM) straight into the L1 blockchain inside a 12 months.
The deliberate integration brings main adjustments to the block execution of ZKEVM, permitting the validator to see a number of proofs from totally different ZKVMs as an alternative of re-executing the block transaction.
journal: Can privateness survive the US crypto coverage after the conviction of the Roman Storm?
