StarkEx 所采用的 ZK-Rollups 技术在架构上类似于 Optimistic Rollups。两者都在单独的 Rollup 链中执行交易，然后定期使用断言将所有数据记录到以太坊中，以验证 Rollup 交易。两者的关键区别在于，在 zk-Rollups 中，验证者必须向以太坊发布有效性证明以及他们的断言； 与 Optimistic Rollups 不同， zk-Rollups 协议并不乐观地假设这些断言是有效的。其前缀 ZK 来自这样一个事实，即随附的证明是一个 ZK-STARK，或者叫简洁的全透明零知识证明。 ZK-STARK 的具体技术细节不在本文的讨论范围内，但简单说，ZK-STARK 是一种加密原语，允许用户证明他们「了解」某些事实，而在证明自身中无需包含有关该事实的任何揭示性信息。ZK-STARK 在扩容方面的主要好处是它们非常紧凑，大大提升验证者将断言和相关证明发布到以太坊的效率。这些证明也保证了 Rollup 链的状态始终与以太坊同步；由于所有断言都必须是可证明有效的，因此与 Optimistic Rollups 不同的是，不存在可能有无效断言存储在以太坊中的「挑战期」。

尽管具有紧凑的结构和强大的安全保证，但用于有效构建和计算 ZK-STARK 的技术和抽象仍然相当不发达，使得这一技术难以使用，并且通常具有高度的用例特定性。 ZK Rollups 的大多数现有实现只能处理特定类型的交易，例如代币转移或原子交换。此外它们的构建速度可能非常缓慢；以具有约 1000 笔交易的一个区块为例，要在非专业硬件上搭建验证架构可能需要近 20 分钟。 随着专门服务于 ZK-STARKS 的更专业硬件（例如 GPU 验证器）和加密抽象开始出现，ZK Rollups 可能会被证明是最成功的 L2 扩容机制之一。 在那之前，该技术在效率改进和可用性方面仍然非常捉襟见肘，这使得 Optimistic Rollups 在短期内成为更有前途的解决方案。

Arbitrum 接下来有何举措？

上周推出的 Arbitrum 主网被特别命名为「Arbitrum One」，以将其明确为由 Arbitrum 技术提供支持的旗舰区块链。随着 Arbitrum 生态系统的不断发展和完善，其他 Rollup 链（也使用 Arbitrum 技术，但可能会进行修改）也可能会涌现，专门为各种用例量身定制。

Arbitrum One 目前处于主网测试阶段，如果需要，Arbitrum 团队将有能力暂停和升级区块链。在这段时间里，开发者可以感受通 Arbitrum 的安全性和效率，并在该区块链接受天量吞吐量之前甄别任何最后一刻出现的漏洞或错误。 目前 Arbitrum One 向所有请求访问的开发者开放（已有超过 250 个项目），一旦所有项目都能够在 Arbitrum 上构建和测试其 Dapp，届时将向最终用户开放访问。该团队的目标是在今年夏天尾声时过渡到完全去中心化。

一点感想

最近外界对加密领域兴趣激增是一把双刃剑——带来了新用户和流动性来源，随之而来的是以太坊出现严重的网络堵塞、漫长的交易时间和巨额的 Gas 费。随着以太坊当前和未来不断的普及，构建可持续的基础设施、高效、安全地为吞吐量更大的 DApp 提供动力，显得比以往任何时候都更加重要。 (责任编辑：admin)