本文深入探讨了 ZKStack 的跨链架构，重点介绍了通过在 Gateway 上进行结算来降低结算成本，并保持安全保证。文章详细解释了 L2 到 L1 日志包含证明的构建过程，以及如何通过 Gateway 验证在 L1 上进行结算的 ZKChain 的日志包含。
本次审核了across-protocol/contracts代码仓库，主要关注L3支持、ZkStack支持、可预测的中继哈希、支持最新版本的ERC-7683以及World Chain支持。发现了多个安全问题，包括缺少访问控制、错误的函数调用、不正确的ETH传输处理，以及潜在的重放攻击等。建议改进代码，增加测试，并确保代码符合最新的ERC-7683标准。
OpenZeppelin