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

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