THE MODULAR BLOCKCHAIN FOR ZK PROOF VERIFICATION

zkVerify: Dedicated to verifying ZK proofs across diverse blockchains efficiently

By drastically reducing cost, zkVerify is empowering organizations and dApps to achieve economies of scale, bringing in the next generation of use cases that achieve blockchain's ultimate potential.

zkVerify reduces proof verification costs by:

Proofs Dashboard

50%+

This would have saved ZK Rollups $42.8 Million in 2023

zkVerify reduces proof verification costs by:

Proofs Dashboard

50%+

This would have saved ZK Rollups $42.8 Million in 2023

Built by

Trusted builder of leading projects such as ApeChain and Horizen; renowned for expertise in zero-knowledge proof cryptography.

Network Partners

Redefining

Blockchain

Efficiency

Fast Modularized Process

Enhances network performance by decoupling the computationally heavy proof verification process, allowing for faster and more precise operations free from the constraints of multi-purpose chains.

Cost-effective Proof Verification

Significantly reduces costs by developing a dedicated blockchain strategically designed for ZK with highly optimized verification code, overcoming the limitations of any chain that uses intensive computing power to verify proofs.

Streamlined and Easy Integration

Seamlessly integrates with existing blockchain ecosystems and multiple zero knowledge proving schemes, minimizing technical overhead with a developer-friendly environment.

How Does

zkVerify Work

How Does

zkVerify Work

zkVerify allows modular blockchain networks to offload the computationally heavy and expensive process of proof verification, enabling them to focus on their primary functions and stay ahead of their competition.

This modular approach not only streamlines operations but also significantly boosts overall network efficiency.

zkVerify Documentation Read Whitepaper

Roadmap

Q1 2024

Public Testnet MVP

Relay chain boostrapped
Fflonk verifier
Block explorer
Polygon CDK node on Sepolia testnet
Polygon CDK node submitting proofs to zkVerify

Q2 2024

Public Testnet Beta

Enable public to run validator and RPC nodes
Switch consensus from Aura to BABE
Add Groth16 Verifier
Add Risc0 Verifier
Add zkSync Era verifier

Q3 2024

Incentivized Testnet - Phase 1

Add Ultraplonk Verifier
Add 1st Validators Set
Launch Incentivized Testnet Tasks
Publish Grant for zkApps
Integrate OpenGov
Explorer UX Tuning
Improved Testnet Faucet
Launch KPI Dashboard
Integrate Subsquid

Q4 2024

Incentivized Testnet - Phase 2

Additional verifiers TBA
Full Initial Validator set
Hackathons and Workshops
Mainnet Preparations
Bridge Integrations
Oracle Integrations

Hackathons

Discover innovative projects built during the hackathons, where developers leverage the power of zkVerify. These highlights show the potential of zkVerify and how it can verify proofs in a secure, fast, and efficient way.

ZKFeedback

By MX

ZKFeedback is a decentralized feedback system leveraging zero-knowledge proofs to ensure user privacy while providing transparent and public feedback.

Verifiable zk-mastermind

By zkVerify1

We converted the zk-mastermind game into a zkVerify-compatible mode. The author of the original project is adam-maj -- referring to https://github.com/adam-maj/zk-mastermind.

zgate

By zgate

Gate access to Telegram group chats using ZK proofs with Risc Zero and zkVerify.

Provable Multiparty Delay Encryption

By Provable MDE

Provable MDE, a novel solution for MEV. Proof for exponent range check is being used in some important cryptographic primitives as a critical component.