本文是对跨链互操作性解决方案的全面概述,重点关注其在Optimism Superchain中的适用性。报告深入探讨了桥接机制的安全性、活跃性、延迟、激励成本和实现复杂性,并提出了改进跨链互操作性的建议,特别是强调了零知识证明在实现安全且高效的跨链通信中的潜力。此外,还分析了原子性的不同模型,包括原子包含和原子执行,并评估了各种实现方案。