the proof system for cyber. implements the Whirlaway architecture: SuperSpartan IOP + Brakedown 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…