zheng: a self-proving proof system Abstract zheng is a proof system where computation IS proving. a nox program executes, generating an execution trace. the trace is a table of Goldilocks field|field elements — 16 registers wide, N rows deep. a multilinear polynomial interpolates this table over…