在 k 位答案的均匀先验下，若验证器只能对完整答案给出通过/拒绝的二元反馈，要实现零错误验证，最坏情况下需要 2^k - 1 次验证。