Proof market
Requesters post jobs. Provers compete on price, latency, and capability. QoS is enforceable with stake.
- Auctions or committee assignment
- Deadlines and service levels
- Off-chain proof storage, on-chain commitments
Foundation & protocol coordination
QZK is a decentralised proving + verification network designed for long-horizon security. It provides a proof market, economic correctness, and on-chain cryptographic agility for migrations.
Proof jobs → proofs → attestations → finality
QZK Foundation coordinates a protocol for decentralised proof generation and verification, backed by economic guarantees and on-chain cryptographic governance.
Requesters post jobs. Provers compete on price, latency, and capability. QoS is enforceable with stake.
Provers and verifiers are bonded. Incorrect proofs or dishonest attestations are slashable.
On-chain policy for adding, deprecating, and migrating proof systems and parameters over time.
A minimal coordination layer on-chain, heavy proving off-chain, and durable commitments for auditability.
Goal: small state, high integrity.
Goal: scalable throughput and competition.
{
"program": "0x…", // circuit/VM identifier
"inputs": "0x…", // commitment to public inputs
"policy": "PQ-POLICY-v1", // allowed proof systems + params
"deadline": 900, // seconds
"maxFee": "2500 QZK",
"disputeWindow": 3600
}
Utility token for fees, staking security, and cryptographic governance—separating infrastructure economics from application tokens.
Note: percentages, issuance, and burn mechanics are protocol parameters (governed and time-locked).
Migrations are a certainty. QZK makes them routine: add, deprecate, dual-accept, sunset—on-chain and time-locked.
Introduce a new proof system or parameter set with security rationale and reference implementations.
Multi-client verification, testnets, and formal review before activation.
Both old and new policies are valid; clients migrate safely.
Old policy is deprecated; proofs must meet updated requirements.
Build boring first: correctness, disputes, and policy state. Then scale proving and add multiple proof systems.
Replace placeholders with your real links (GitHub, PDF whitepaper, explorer, Discord, etc.).
Protocol overview, threat model, token utility, and governance.
Download PDF Read summary →API, job specs, attestations, and integration patterns.
Open docs Proof Registry API →Short answers for first-time visitors. Add/adjust as your spec evolves.