Mechanism · Zero-knowledge proofs of inference
A proof speaks only for the computations that were proven
On this page
SignificantTheoretical argumentOpen
Attestable writes that "a proof of some computation is not a proof of all computation", and that a proof cannot discover a datacenter that was never declared 9. Proofs of inference do not by themselves show that no other workload ran on the same or other hardware.
Sources: [9]