STARKs通过高效证明计算的完整性来实现区块链扩展。

StarkEx是一种特定应用的扩展引擎。

Starknet是一个无许可的、智能合约的第二层网络。

——什么是STARKs

STARKs（可扩展、透明知识证明）是一种证明系统，可以实现计算的证明和验证。它允许对大规模计算进行处理，生成计算正确性的证明，然后在非常少的步骤内验证该证明的有效性。

STARKs可以通过允许在链下执行大规模计算（成本较低），仅将验证部分（占计算的一小部分）放在链上，在区块链可扩展性方面发挥关键作用。换句话说，通过在链上执行极少的步骤，验证者可以确保在链下执行了远远更大规模的计算。

利用STARKs，第二层解决方案可以将数千笔交易批量处理并计算，然后使用单个STARK证明在链上验证其有效性。批处理中的所有交易共同分担链上过程的成本。这可以实现以太坊的安全性和低燃气成本每笔交易。

低计算成本将引入一类以前在链上无法实现的新型应用。这些属性使STARKs成为改善用户体验、降低燃气成本的出色构建块，同时保持以太坊结算层的安全性。

StarkWare提供了两种使用STARKs扩展以太坊的解决方案：StarkEx和Starknet。

——什么是StarkEx

StarkEx是一个用于创建许可的、特定应用的扩展解决方案的框架。StarkEx是一套有用的应用流程工具，项目可以使用它们来实现廉价的链下计算。一个证明STARK的工作是在链下生成的，证明执行的正确性。这样的证明可以包含多达12,000至500,000笔交易（取决于交易类型）。然后，将证明发送到STARK验证器以在链上接受。这意味着一次验证适用于所有交易，从而实现每笔交易的极低平摊燃气成本。

StarkEx上部署的应用示例包括dYdX（永续交易）、Immutable和Sorare（NFT的铸造和交易）、DeversiFi（现货交易）以及Celer（DeFi池化）。

StarkWare不断向StarkEx添加更多的应用流程，以满足市场和客户的需求。

——什么是Starknet

Starknet是一个无许可的第二层网络，任何用户或开发者都可以在其中部署使用Cairo语言开发的智能合约。

与以太坊智能合约体验类似，在Starknet生态系统内，您的合约可以与部署在Starknet上的任何其他合约互动，从而支持丰富的可组合协议。Starknet合约还可以通过异步消息传递与以太坊合约互动。

与StarkEx不同，Starknet的序列批处理交易并将其发送以进行处理和证明。（Starknet的序列目前由StarkWare运营，未来计划去中心化。）这意味着一旦应用部署了其Cairo合约，它们就不必担心运行额外的运营者基础设施。Starknet支持Rollup数据可用性模式，这意味着Rollup的状态与STARK证明一起写入以太坊。

Starknet生态系统有着庞大的开发者社区，他们积极参与构建应用、工具和基础设施。数十个应用程序已经在测试网上运行，涵盖了DeFi、游戏、投票、人工智能等各个领域。此外，Starknet社区正在开发开发者工具，如区块浏览器、本地测试环境和框架、多种语言的SDK等。社区还积极参与讨论，提出改进建议、潜在功能和最佳实践等。

【总结 】

无论是StarkEx还是Starknet，都是基于STARK的扩展解决方案。它们都提供可扩展性、低燃气成本和安全性，但具有不同的操作要求和互操作性模式。如果一个应用程序在很大程度上是独立的，并符合StarkEx提供的API，那么StarkEx可能是正确的解决方案。如果一个协议需要与其他协议同步交互或具有超出StarkEx提供的功能需求，那么Starknet可能更适合。

STARKs已经彻底改变了在以太坊上构建应用程序的方式。StarkEx和Starknet将继续支持以前无法实现的应用程序，并推动区块链的可能性极限。