Horizen Labs, a zero-knowledge encryption platform, is deploying a devoted Layer-1 blockchain for private knowledge verification.
Zkverify introduced the launch of the Mainnet on Tuesday with the brand new L1 blockchain designed for Zero-Information 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, instructed Cointelegraph.
“Whereas validation is normally thought of 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 methodology that enables one get together to show an announcement to a different get together with out disclosing the underlying data or the info itself. A standard instance is to confirm eligibility for the age of entry to the service with out requiring disclosure of your whole ID or different private data.
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 anticipated to achieve $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 fuel items. Zkverify guarantees to permit for no less than 90% value financial savings in comparison with straight verifying with L1.
“Heavy math as a substitute of the unique app or chain”
To cut back verification prices, Zkverify supplies a devoted verification layer by separating proof verification from L1S funds.
“Zkverify checks ZK proofs by doing heavy math as a substitute of the unique app or chain,” Viglione instructed 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 a substitute of redoing math, decreasing the burden of calculations to Zkverify, decreasing time and prices.”
Definitions between distributed IDs, video games, and use circumstances
Among the many precise Zkverify use circumstances, Viglione talked about decentralized IDs, verified transaction forecasts, decentralized monetary financing, video games and extra.
“The simplest strategy 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 continuously 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 staff 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 a substitute of re-executing the block transaction.
journal: Can privateness survive the US crypto coverage after the conviction of the Roman Storm?
