trace-to-proof.md

trace to proof the concrete journey from nox execution to zheng proof. this article bridges the VM and the proof system, showing exactly how computation becomes cryptographic evidence. the execution trace when nox runs a program, it produces a table. each row is one reduction step — one application…