AggLayer的悲观证明用于验证链提交的状态转换不会让跨链余额失衡，但它不等于所有链共享同一排序器。本文从证书、状态树、证明生成和桥接退出四个组件解释安全边界。