检验

而如果他们中的一个特别节约，想要检验账单是否是对的，这个过程倒是直截了当，就是会有些冗长：他们得浏览整个账单，把所有条目一行一行地加起来，以确保总和与标出的总额一致。

这种极其简洁的格式被称为概率性可检验证明（ProbabilisticallyCheckableProof，简称PCP）（据RyanO’Donnell说，警察曾误闯入发明者之一的酒店房间，试图进行一次针对苯环己哌啶的缉毒行动。

他们把证明的结构划分成两部分，其中之一是试图检验证明的“验证者”（verifier），另一个是设法找到证明并提供出来的“证明者”（prover）。