Agglayer's pessimistic proof enforces security through one simple rule: a chain can only withdraw what's been deposited. Verified by onchain ZK proofs. That's how the Open Money Stack's crosschain infra kept @Katana liquid during the rsETH exploit.(Polygon | POL)