Implementation · Attestable zero-knowledge inference prover
A proof covers only the computation it is about
On this page
SignificantTheoretical argumentOpen
Attestable states 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" 2.
Sources: [2]