Specified, not implemented.
There is no prover, no verifier and no challenge protocol in the software today. It is written down here because it is the condition the rest of the data layer is designed around, and because a layer named in an architecture ought to be findable — with its status attached — rather than mentioned once and left ambiguous.
