Agglayer 的悲观证明通过一个简单的规则来加强安全性：链只能提取已存入的内容。通过链上 ZK 证明验证。 这就是 Open Money Stack 的跨链基础设施在 rsETH 漏洞期间让 @Katana 保持流动性的方式。