zheng zheng (証 — proof, evidence) proves nox computations for cyber: hash-only, post-quantum zheng proofs over the Goldilocks field. one field: Goldilocks (nebu) for everything committed, its cubic extension Fp3 for every challenge one hash: hemera (Poseidon2 over Goldilocks), for Merkle trees and…