CN2
Loading chart...
zkVerify Overview
24h High
$0.01
24h Low
$0.01
24h Change
+0.27%
7d Change
-6.68%
30d Change
-46.94%
Volume 24h
$103.51K
Market Cap
$2.95M
Circulating Supply
352.83M VFY
zkVerify News
CN2
Loading news...
About zkVerify
zkVerify is a decentralised Proof-of-Stake network designed to verify zero-knowledge proofs efficiently and securely. Developed by Horizen Labs Research, it modularises proof verification from Layer 1 blockchains, supporting a wide range of proving systems such as Groth16, Plonk, Halo2, STARK, and Binius. The network uses the VFY token for staking, governance, and verification fees, creating an open infrastructure that reduces costs and enhances interoperability across the ZK ecosystem.
The VFY token serves as the native utility and settlement asset of the zkVerify network. It underpins core network operations by providing economic incentives for validators, covering verification costs, and maintaining system integrity. Fee payment: Users and applications pay verification and attestation fees in VFY for submitting ZK proofs to the network. Staking and security: Validators stake VFY to secure consensus on proof validation and attestation publication. Misbehaviour, such as incorrect attestations, may result in stake penalties. Governance: Token holders participate in protocol governance, influencing parameters like attestation frequency, proof verification policies, and new proof-type integrations. Ecosystem incentives: VFY is distributed to participants who contribute computing resources or build integrations that expand zkVerify’s ecosystem.
zkVerify operates as a Proof-of-Stake mainchain specialised for proof verification. Its core components include: - Mainchain: An L1 blockchain that executes verification, manages verifier modules written in Rust, and commits results to a Merkle tree. - Proof Submission Interface: An RPC and transaction layer that accepts heterogeneous proof submissions from zkRollups, zkApps, and zkBridges. - Attestation Mechanism: A protocol that aggregates proofs into Merkle trees and issues signed attestations referencing their Merkle roots. - zkVerify L1 Contract: A smart contract that stores attestations and enables public verification through Merkle inclusion proofs. The consensus is a Proof-of-Stake protocol where validators produce and confirm blocks containing verified proofs. Once proofs are verified, zkVerify produces attestations that can be published to multiple destination chains, such as Ethereum or Bitcoin rollup layers. According to Figure 10 on page 10, zkVerify aggregates proofs from heterogeneous proving systems as leaves of a Merkle tree, which serves as a natural aggregation structure across different ZK technologies.
- Proofs generated by zkApps, zkRollups, or zkBridges are submitted to zkVerify via its Proof Submission Interface. 2. zkVerify verifies each proof using its native Rust verifier modules. 3. Verified proofs are stored on-chain and aggregated into Merkle trees. 4. A digitally signed attestation containing the Merkle root is published to the zkVerify contract once predefined policies are met (e.g., time or proof-count thresholds). 5. Destination chains can use these attestations to confirm that their proofs were verified without reprocessing the verification logic.
This workflow allows applications to delegate computationally heavy proof verification to zkVerify while maintaining cryptographic trust guarantees.
zkVerify’s modular verification model supports several key applications: ZK Rollups: Enables faster finality and lower costs by verifying transaction batches directly, avoiding recursive aggregation and expensive STARK-to-SNARK conversions. Bitcoin zkRollups: Provides an external verification layer for proofs generated off-chain, mitigating Bitcoin Script limitations. ZK Applications: Reduces verification costs for identity systems, DeFi privacy layers, and voting platforms. Standardisation: Creates a unified verification protocol compatible with multiple proof types, promoting cross-chain interoperability and scalability.
zkVerify was created by Horizen Labs Research, a research and development division of Horizen Labs, focused on cryptographic scalability and zero-knowledge technology. The whitepaper, authored in 2024, outlines its development as part of Horizen Labs’ broader mission to build modular and verifiable blockchain infrastructure.
zkVerify Markets
CN2
Loading markets...
zkVerify Platforms
CN2
Loading platforms...
zkVerify Market Data
The live zkVerify price today is $0.01 USD with a 24-hour trading volume of $103,505.82 USD. We update our VFY to USD price in real-time. zkVerify is up 0.27% in the last 24 hours.
The current market cap is $2,952,549.20 USD, ranking #885 by market capitalization. The circulating supply is 352,830,916 VFY.