可检查性需要身份证明。如果不知道输出结果的创建者，就无法验证其有效性。缺失的一环：将代理输出结果与经过验证的人类创建者联系起来的加密证明。