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 为开发者提供了一个强大且灵活的平台，以满足各种业务需求。

版本更新

接下来会发生什么？Starknet Alpha v 0.11.0 ：开始向 Cairo 1.0 过渡

1. 对 Cairo 1.0 的进一步语言改进

2. 性能改进：正如承诺的那样，Starknet 继续朝着显着提高 TPS 的方向前进。路线图中的下一步是过渡到 Rust 序列器，它是在 Apache 2.0 许可下公开开发的。新的音序器将使用 Rust CairoVM 和 Papyrus 全节点形成 Performance Trio。

3. 链下 DA

在这个版本中，Starknet 处理了交易成本的计算部分。在即将推出的版本中，将处理链上数据成本，这是当今平均交易的主要成本。

这里对 Starknet 的音序器进一步说明：

音序器是指 StarkNet Sequencer，它是 StarkNet 的一部分，旨在通过切换到 Rust 排序器、使用 Rust CairoVM 和 Papyrus 全节点来显著增加吞吐量（每秒交易数量），从而形成「性能三人组」。

「性能三人组」是指 StarkNet Sequencer 的三个组成部分：Rust 排序器、Rust CairoVM 和 Papyrus 全节点。其中，Rust 排序器是 StarkNet Sequencer 的核心，它负责处理交易并生成区块。Rust CairoVM 是一个虚拟机，它可以在 StarkNet 上运行智能合约。Papyrus 全节点是 StarkNet 网络中的一个节点，它存储了 StarkNet 上的所有数据，并且可以处理交易。这三个部分共同工作，可以显著提高 StarkNet 的吞吐量（每秒交易数量）。