Zero-knowledge proofs produced per data space or lane to attest to execution correctness without revealing private payloads.