# STARKs, StarkEx, and StarkNet By [makelove](https://paragraph.com/@makelove) · 2022-06-05 --- STARK、StarkEx 和 StarkNet ======================== StarkWare 词汇表 ------------- TL;博士 ===== * STARKs 通过有效地证明计算的完整性来实现区块链扩展 * StarkEx 是一个特定于应用程序的扩展引擎 * StarkNet 是一个无需许可的智能合约第 2 层网络 斯塔克斯 ==== STARK（可扩展的、透明的知识论证）是一种证明系统，可以证明和验证计算。它允许处理大型计算，为计算的正确性生成证明，然后以很少的步骤验证证明。 STARKs 可以在区块链可扩展性中发挥关键作用，允许在链下进行大型计算，成本更低，只留下需要一小部分计算的验证在链上完成。换句话说，通过在链上执行很少的步骤，验证者就可以断言在链下完成的更大计算的完整性。 使用 STARK，第 2 层解决方案一起批处理并计算数千笔交易，然后使用单个 STARK 证明在链上验证它们的有效性。链上流程的成本在批次中的**所有**交易之间分配。这导致了以太坊的安全性和每笔交易的低 gas 成本。 低计算成本将带来以前在链上不可行的一类新应用。这些特性使 STARKs 成为改善用户体验和降低 gas 成本的优秀构建块，同时保持以太坊结算层的安全性。 StarkWare 提供了两种使用 STARK 扩展以太坊的解决方案：StarkEx 和 StarkNet。 StarkEx ======= [StarkEx](https://starkware.co/starkex/)是一个用于创建许可的、特定于应用程序的扩展解决方案的框架。StarkEx 是一个包含有用[应用程序流程](https://docs.starkware.co/starkex-v4/starkex-deep-dive/regular-flows)的工具箱，项目可以使用它来实现廉价的链下计算。证明执行正确性的 STARK 证明是在链下生成的。这样的证明最多可以包括 12,000–500,000 笔交易（取决于交易类型）。然后将证明发送给 STARK 验证者以在链上被接受。这意味着对所有交易进行一次验证——每笔交易的摊销汽油成本极低。 StarkEx 上部署的一些应用程序示例包括 dYdX（永续交易）、Immutable 和 Sorare（NFT — 铸造和交易）、DeversiFi（现货交易）和 Celer（DeFi 池化）。 StarkWare 根据市场及其客户的需求，不断向 StarkEx 添加更多应用程序流。 斯塔克网 ==== [StarkNet](https://starkware.co/starknet/)是一个无需许可的第 2 层网络，任何用户或开发人员都可以在其中部署以开罗语言开发的智能合约。 与以太坊智能合约体验相比，在 StarkNet 生态系统中，您的合约可以与部署在 StarkNet 上的任何其他合约进行交互，从而允许丰富的可组合协议。StarkNet 合约还可以通过异步消息传递与以太坊合约进行交互。 与 StarkEx 不同，应用程序负责提交交易，StarkNet 排序器批处理交易并将其发送以进行处理和证明。（StarkNet 的排序器目前由 StarkWare 运营，未来计划去中心化。）这意味着一旦应用程序部署了他们的 Cairo 合约，他们就不必担心运行额外的 Operator 基础设施。StarkNet 支持 Rollup 数据可用性模式，这意味着 rollup 的状态与 STARK 证明一起写入以太坊。 一个庞大的开发者社区与 StarkNet 生态系统深入互动，构建应用程序、工具和基础设施。数十个应用程序已经在测试网上上线——DeFi、游戏、投票、人工智能等等。此外，StarkNet 社区正在构建开发工具，例如区块浏览器、本地测试环境和框架、多种语言的 SDK 等等。此外，在[萨满的平台上](https://community.starknet.io/)进行了积极的讨论，提出了改进建议、潜在功能和最佳实践。 把它们加起来 ====== StarkEx和[StarkNet](https://youtu.be/P-qoPVoneQA)都是基于 STARK 的扩展解决方案。两者都提供可扩展性、低 gas 成本和安全性，但具有不同的操作要求和互操作性模式。StarkEx 可能是适合大部分自包含并适合 StarkEx 提供的 API 的应用程序的正确解决方案。StarkNet 可能更适合需要与其他协议同步交互或需要超出 StarkEx 提供的需求的协议。 STARK 彻底改变了在以太坊上构建应用程序的方式。StarkEx 和 StarkNet 将继续支持以前不可行的应用程序，并推动区块链上的可能性极限。 --- *Originally published on [makelove](https://paragraph.com/@makelove/starks-starkex-and-starknet)*