【英文长推】Lagrange State Committees (LSC) 简介：如何简化乐观 Rollup 的验证与状态证明

Lagrange State Committees (LSC) 是一个为以太坊上的 ORU 设计的 ZK 轻客户端。该系统的核心使用 EigenLayer 操作员来验证 ORU 区块的最终性。 这些验证随后被用于生成状态证明或聚合的 ZK 证明。协议可以使用这些证明作为跨链桥接和互操作性消息传递的可信来源。 以下是为什么我们需要它们的原因：1）增强安全性：通过加密证明验证汇总状态；2）更快的最终性：即时交易确认，无需等待挑战期；3）高效的跨链操作：无需等待争议期即可桥接资产。每个操作员为他们正在验证的 ORU 运行一个容器化的观察节点。这些节点独立验证区块头。 排序器收集来自操作员的已完成交易批次的验证，但从不参与验证过程。虽然它有助于协调，但不会影响验证的完整性。这就是 Lagrange 如何消除单点信任。 现在让我们看看 LSC 是如何在 ORUs 中改变跨链互操作性的。LSC 允许从 ORUs 桥接并以极快的速度发送跨链消息！这通过避免挑战窗口得以实现，得益于 EigenLayer 的惩罚机制。 在 LSC 出现之前，每个跨链协议都必须独立验证源链状态。但现在可以通过简单地接入公共验证者池进行验证。此外，LSC 对区块验证没有节点上限。随着更多的验证者加入，保护每次验证的经济力量也在增加。这导致超线性安全性，攻击的难度显著增加。 而且当前的跨链协议必须运行观察节点来验证 ORU 的状态。通过 LSC，这一过程可以被外包，从而显著降低成本。此外，LSC 状态证明非常轻量化，可以在任何 EVM 链上进行验证。 【原文为英文】\n原文链接