the proof system of the cyber protocol. SuperSpartan IOP + WHIR PCS + sumcheck protocol. zero trusted setup, post-quantum, sub-millisecond verification.
| component | role |
|---|---|
| IOP | SuperSpartan — one commitment, one opening per proof |
| PCS | WHIR — polynomial commitment over Goldilocks field |
| hash | hemera — algebraic hash for all commitments |
| field | nebu — Goldilocks arithmetic |
| VM | nox — execution trace IS the constraint system |
when a neuron submits a cyberlink or any other state-changing operation, zheng generates a succinct proof that the transition follows protocol rules. validators verify these proofs instead of re-executing every computation, dramatically reducing the cost of consensus.
zheng enables recursive proof composition, allowing multiple state transitions to be batched and verified in a single step. this capability scales the protocol toward handling planetary-level cybergraph operations.
as a transparent proof system, zheng requires no trusted setup ceremony. the security rests entirely on hash function collision resistance and the algebraic structure of the STARK protocol.
by separating proof generation from verification, zheng allows lightweight clients to trust the cybergraph state without running a full node, bringing verifiable knowledge to every device.
discover all concepts
from subgraph zheng
the proof system for cyber. implements the Whirlaway architecture: SuperSpartan IOP + WHIR PCS + sumcheck protocol. zero trusted setup. post-quantum. sub-millisecond verification.
zheng (証 — proof/evidence in Japanese) provides the cryptographic machinery that turns nox execution traces into compact, verifiable proofs. one commitment, one opening, one proof.
COMPONENT │ ROLE │ INSTANCE
──────────────────┼────────────────────────────────┼─────────────────────
hash │ Fiat-Shamir, Merkle trees │ hemera
field │ arithmetic substrate │ nebu
VM │ execution trace generation │ nox
IOP │ constraint verification │ superspartan
core protocol │ exponential sum → log rounds │ sumcheck
PCS │ polynomial commitment │ whir
dependency graph
nebu (field)
↓
hemera (hash)
↓
zheng (proofs) ← this repo
↓
bbg (state)
see stark for the general theory, cyber/proofs for the full proof taxonomy