# StarkWare生态：StarkEx和StarkNet创新性对比


By [tala](https://paragraph.com/@talang) · 2023-11-09

---

StarkWare 是 zk rollups 赛道内最好的公司之一，由以色列理工学院的 Eli Ben-Sasson 教授（zk SNARK & zk STARK 的联合发明者）联合创立，它为区块链行业提供基于 STARK 技术的解决方案。目前开发了两款产品：**StarkEx & StarkNet**，均在下文中介绍。

### **StarkEx**

一种基于以太坊区块链的应用特定的 Layer-2 扩展引擎，旨在解决以太坊等 Layer-1 区块链网络的可扩展性问题。StarkEx 通过使用一种名为 STARK 证明的先进密码学系统，实现了快速、低成本的交易，同时不妥协安全性、隐私性和自我保管。

它提供了一系列用于实现便宜的链下计算的应用流程，将多笔交易打包在一个 STARK 证明中，然后在链上进行验证，降低了每笔交易的平均燃料成本。StarkEx 扩展引擎的工作原理，包括批处理、验证和更新、生成证明以及链上验证四个步骤。

StarkEx 已经成功部署在多个应用中，如 dYdX、Immutable、Sorare、DeversiFi 和 Celer。

和 StarkNet 的区别在于：

StarkEx 和 StarkNet 是由 StarkWare 开发的两个不同的技术，它们都使用 STARK 零知识证明技术，但有不同的目标和用途。

1.  StarkEx：StarkEx 是一个针对特定应用的 Layer-2 扩展引擎，主要关注优化以太坊区块链上的单一应用程序的性能。它通过将多个交易批量处理并在链下进行验证，实现了更快速、低成本的交易。主要用于去中心化交易所（DEX）、NFT 市场和游戏等。
    
2.  通过使用 STARK 证明技术，StarkEx 提供了安全、高效和低成本的交易体验。StarkNet 是一个无需许可的更为通用、完整的 Layer-2 解决方案，它为整个以太坊生态系统提供了一个去中心化的计算平台，开发者可以在其中部署用 Cairo 语言编写的智能合约。
    

StarkNet 支持与其他合约进行交互，允许丰富的协议组合，并可通过异步消息传递与以太坊合约进行交互。目标是提供一个可扩展、低成本且安全的环境，以便开发者在其上构建和部署智能合约。与 StarkEx 不同，StarkNet 可以看作是一个全面的 Layer-2 操作系统，允许开发者创建各种去中心化应用程序，而不仅仅是针对特定用途的解决方案。

总之，StarkEx 是一个应用特定的 Layer-2 扩展引擎，主要关注特定应用程序的性能优化，而 StarkNet 是一个更为通用、全面的 Layer-2 解决方案，旨在为整个以太坊生态系统提供一个去中心化的计算平台。

### **Starknet**

Starknet 是一个无需许可的去中心化有效性折叠网络（也称为「ZK-Rollup」）。它作为以太坊上的 L2 网络运行，使任何 dApp 都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算，这要归功于 Starknet 依赖于最安全且最具可扩展性的加密证明系统 STARK。

Starknet 合约和 Starknet 操作系统使用 Cairo 编写 - 支持部署和扩展任何用例，无论业务逻辑如何。Starknet 作为一种去中心化的二层网络解决方案，旨在为去中心化应用（dApp）提供更高的扩展性和性能。通过在以太坊上运行，它可以利用现有的基础设施和安全性，同时提供更高的计算能力。

Cairo 是一种专为 Starknet 设计的编程语言，它旨在简化智能合约的开发和部署。通过使用 Cairo，开发人员可以轻松地为各种用例构建高度可扩展的应用程序，包括金融、游戏、供应链等。

Starknet 是一个 validity rollup，这意味着每个块内的执行都需要被证明，这就是 STARKs 派上用场的地方然而，STARK 证明可以解决以多项式约束语言制定的陈述，并且不了解智能合约的执行。为了克服这个差距，所以开发了 Cairo。

总的来说，Starknet 是一个充满潜力的二层网络解决方案，它可以使现有的 dApp 在扩展性和性能方面迈出重要一步。通过采用 STARK 加密证明系统和 Cairo 编程语言，Starknet 为开发者提供了一个强大且灵活的平台，以满足各种业务需求。

---

*Originally published on [tala](https://paragraph.com/@talang/starkware-starkex-starknet)*