StarkWare是一家来自以色列的公司，正在使用 ZK-STARKs（零知识可扩展透明知识论证）在以太坊上构建第 2 层区块链。该公司以及 ZK-STARK 技术的主要目标是提高以太坊等区块链的可扩展性和隐私性。

ZK-STARK 由 StarkWare 发明，与 ZK-Sync 或乐观汇总类似，它将交易汇总成批次，通过使用加密证明来证明给定交易的有效性。ZK-STARK 是可扩展且透明的加密证明，简单来说，它使用的证明系统声称比竞争对手更快、更具可扩展性。此外，它还使用更少的加密假设，这也被描述为更安全。

所有这一切在现实生活中意味着 StarkWare 开发了一种技术，允许一方向另一方证明自己拥有某些信息，而无需透露实际信息。例如，这意味着甲方能够向乙方证明其拥有一定金额的银行账户，而无需实际分享有关银行账户的详细信息或实际金额。

为了帮助实现他们的目标，StarkWare 开发并目前正在改进两种主要产品：StarkNet 和 StarkEx，同时还在 StarkNet (STARK) 上拥有自己的代币。

StarkNet是一个去中心化的 ZK-rollup，作为以太坊上的第 2 层链运行。它也是无需许可且去中心化的。简单来说，ZK-rollup是一种采用零知识技术进行操作的二层解决方案。ZK-STARK是该技术的类型之一。

得益于所有这些功能，StarkNet 确保该网络上的所有交易都定期批量处理，也称为“汇总”。之后，它们经过 ZK-STARK 证明的批准并在以太坊上进行验证。在整个过程中，由于数千笔交易仅在 StarkNet 链上在以太坊链外发送、验证和批处理，因此节省了 Gas 费用。因此，该解决方案在可扩展性和速度方面非常出色。

一旦在 L2 上为给定批次生成了 ZK-STARK 证明，以太坊就会验证该证明并检查该批次中的交易是否有效。之后，它只是用新的余额更新所有钱包。

就像比特币及其第 2 层解决方案的情况一样，StarkNet 使以太坊无需检查和验证其链上每笔交易的有效性。这通常会导致网络堵塞，从而导致更高的汽油费或更慢的交易处理时间。

虽然该产品仍然相对较新，仅在 2021 年 11 月的“alpha”版本中推出，但一旦成熟，预计将在其之上构建大量Web3.0应用程序和 dApp。这将有助于提高安全性，同时也有助于提高速度、可扩展性和交易成本。甚至 Vitalik Buterin 也表示，得益于 StarkNet 等 Layer-2 解决方案，以太坊可以达到 100 000 tps 的交易速度。

与无需许可的 StarkNet 不同，StarkEx是一种需要许可的第 2 层解决方案，因此可以根据特定 dApp 的需求进行定制。其中大多数是与去中心化金融（DeFi）世界和交易应用程序（例如 dYdX、Immutable X 或 DeversiFi）相关的项目。

总的来说，可以说StarkEx可以被视为StarkNet的许可和中心化版本。这意味着它应该由不同的协议使用，但通常预计在三种数据可用性模式下使用。DApp 可以选择汇总其数据

1. 在 ZK-rollup 模式下

2. 称为 Validium 的链下处理

3. 或者使用 1. 和 2. 的混合，称为 Volition

由于 dYdX 使用 zk-rollup 模式，因此它可以为交易者提供廉价且快速的交易，因此这些选项已经存在示例。另一方面，DeversiFi 和 Sorare 决定采用 Validium 模式。

还需要补充的是，采用了共享证明器（SHARP）技术来确保批量交易之间的 Gas 成本可以分摊。因此，StarkWare 可以提供非常低的汽油费。总的来说，它应该为用户带来更便宜、更流畅的体验。

StarkEx目前支持以太坊以及ETH-20、ETH-721和ETH-1155的代币标准。然而，它也能够支持其他以太坊虚拟机兼容的区块链上的代币。