STARKs : 通过高效证明计算的完整性来实现区块链扩展
StarkEx: 是一个特定应用的扩展引擎
Starknet: 是一个无需许可的、智能合约的第二层网络
STARKs
STARKs（Scalable, Transparent ARgument of Knowledge，可扩展、透明的知识论证）是一种证明系统，能够证明和验证计算。它允许处理大型计算，为计算的正确性生成证明，然后在极少的步骤中验证该证明。
STARKs 在区块链扩展性方面可以发挥关键作用，它允许大型计算在链下进行，成本较低，只在链上进行验证，验证所需的计算仅占原计算的一小部分。换句话说，通过在链上执行极少的步骤，验证者可以断言在链下完成的大量计算的完整性。
使用 STARKs，第二层解决方案可以批量处理和计算成千上万的交易，然后使用单个 STARK 证明在链上验证其有效性。链上过程的成本在批次中的所有交易之间分摊。这导致了以太坊安全性和每笔交易的低气体成本。
低计算成本将开启一类之前在链上不可行的应用程序。这些特性使 STARKs 成为改善用户体验和降低气体成本的绝佳构建模块，同时保持以太坊结算层的安全性。
StarkWare 提供了两种使用 STARKs 扩展以太坊的解决方案：StarkEx 和 Starknet。
StarkEx
StarkEx 是一个用于创建许可、特定应用的扩展解决方案的框架。StarkEx 是一个有用的应用流程工具箱，项目可以使用它实现低成本的链下计算。链下生成一个证明，证明执行的正确性。这样的证明可以包括多达 12,000 至 500,000 笔交易（取决于交易类型）。然后将证明发送到 STARK 验证器以在链上被接受。这意味着所有交易只需一次验证 —— 每笔交易的摊销气体成本极低。
在 StarkEx 上部署的一些应用示例包括 dYdX（永续交易）、Immutable 和 Sorare（NFTs — 铸造和交易）、DeversiFi（现货交易）和 Celer（DeFi Pooling）。
StarkWare 不断向 StarkEx 添加更多应用流程，以满足市场和客户的需求。
Starknet
Starknet 是一个无需许可的第二层网络，任何用户或开发者都可以在其中部署用 Cairo 语言开发的智能合约。
类似于以太坊智能合约体验，在 Starknet 生态系统内，您的合约可以与部署在 Starknet 上的任何其他合约进行交互，实现高度可组合的协议。Starknet 合约还可以通过异步消息传递与以太坊合约进行交互。
与 StarkEx 不同的是，在 StarkEx 中，应用负责提交交易，而在 Starknet 中，序列器批量处理交易并发送以进行处理和证明。（Starknet 的序列器目前由 StarkWare 运营，未来计划去中心化。）这意味着一旦应用部署了它们的 Cairo 合约，就不必担心运行额外的运营商基础设施。Starknet 支持 Rollup 数据可用性模式，意味着 rollup 的状态连同 STARK 证明一起写入以太坊。
大量的开发者社区正在深入参与 Starknet 生态系统的建设，开发应用、工具和基础设施。数十个应用已在测试网上线 —— DeFi、游戏、投票、AI 等。此外，开发工具如区块浏览器、本地测试环境和框架、多种语言的 SDK 等，正在由 Starknet 社区构建。此外，还在 Shamans 平台上进行活跃讨论，讨论改进建议、潜在功能和最佳实践。
总结
StarkEx 和 Starknet 都是基于 STARK 的扩展解决方案。它们都提供可扩展性、低气体成本和安全性，但具有不同的操作要求和互操作模式。对于大部分自足并适合 StarkEx 提供的 APIs 的应用，StarkEx 可能是正确的解决方案。对于需要与其他协议同步交互或需求超出 StarkEx 所提供内容的协议，Starknet 可能更合适。
STARKs 已经革新了在以太坊上构建应用的方式。StarkEx 和 Starknet 将继续支持之前不可行的应用，并推动区块链上可能性的极限。"