开设新账户的成本

新用户要想开始使用二层上的账户，是否需要在一层链上提交交易？

在对照表中，我们指出了各系统的最佳实现场景，但是各方案的实现可能会有差异。例如，zkSync 和 Loopring 都使用了 ZK Rollups，但是，Loopring 要求用户进行一层交易来开设账户，然而 zkSync 却不需要。

可用性

提款时间

提款到一层需要多长时间？

为了解决争议，在某些解决方案下，可能需要等待一周或更长时间才能取款。为了应对这种漫长的等待时间风险，是否有流动性提供者为用户提供流动性以换取风险溢价？如果存在这样的流动性提供者，他们可靠吗？费用多少？由于快速提款需要付出一定的代价，所以使用这种解决方案的真正代价是什么？

主观最终性时间

在协议的安全性假设下，一笔交易需要多久才能达到不能在一层上被撤销的状态？

主观最终性（subjective finality）指的是说服外部观察者相信交易的不可逆性，即便一层智能合约仍不能依赖此状态。例如，在 Optimistic Rollups 中，需要在以太坊上进行 1 次确认后才能达到一层最终性，而完全最终确定则需要大约 1 周的时间。

主观最终性的客户端验证

轻客户端（浏览器 / 手机钱包）能否核实达到主观最终性时间（参见前面的问题）？
继续上面的示例，在 Optimistic Rollups 中，进行 1 次确认就能达到一层最终性，但要确认交易最终确定，则必须下载整个 Rollup 状态并执行上周的所有交易，以确保所有的 Optimistic Rollups 区块都是有效的。

即时交易确认

扩容方案可以提供完整的还是仅担保下的即时确认？

大多数二层协议实现了「即时表观最终性」，即交易看似将在 UX （用户）上得到了立即确认。只有支付通道（状态通道）为这些确认提供完整的安全担保，而在其他协议中，在一层上进行确认之前，仍有一段时间可以撤销这些交易。不过，撤销交易不是免费的，无论是否成功撤销，这些方案的验证人都会因此失去其保证金（即抵押存款）。

此特性取决于扩容解决方案的具体实现细节。

其他方面

智能合约

二层是否支持任意可编程的智能合约，或者仅支持使用某些谓语实现的有限子集？

EVM-bytecode 可移植性

能否几乎不做任何改动就移植现有以太坊合约的 EVM-bytecode？

原生隐私支持

协议是否提供原生的隐私支持？

在默认情况下没有低成本的屏蔽式交易，隐私得不到非常有效的保护，关于各种平台的去匿名研究都毫无疑问地证明了这一点（参考 1、2）。

附言：关于 ZK Rollups 的旁注
这里提供了两种基于 ZK Rollups 的扩容解决方案，您可以立即试用：Loopring （在主网上线了）和 zkSync （Matter Labs 的平台将于 6 月发布）。两者的主要区别是选择了不同的底层证明系统：Loopring 使用了 Groth16 SNARK，采用了针对特定应用程序的可信设置，而 zkSync 使用了较新的证明系统 PLONK，采用了通用的可信设置。考虑到该证明系统在设计领域的最新突破，我们相信 PLONK 将成为 ZK Rollups 的主要加速器，并将在以后的文章中进行详细介绍。