关键要点

Starknet 是一种以太坊的第二层扩展解决方案，利用有效性证明实现快速、低成本的交易，同时继承以太坊的安全性。

网络在链下处理交易，并向以太坊发送加密证明以进行最终验证。

开发者使用开罗，一种定制的编程语言，在 Starknet 上构建可扩展的去中心化应用程序 (DApps)。

简介

Starknet 是一种第二层解决方案，利用可扩展透明知识论证 (STARK) 证明提供更快、更便宜和更可扩展的交易。这使开发者能够构建高性能的去中心化应用程序 (DApps)，并在不牺牲安全性或去中心化的情况下，实现更低的成本和强大的加密保证。

什么是 STARKs？

STARKs，即可扩展透明知识论证，是一种加密证明，用于验证计算是否正确执行，而无需重复计算本身。

在 Starknet 的背景下，STARKs 用于证明链下交易在提交紧凑证明回到以太坊之前已正确处理。这帮助以太坊更高效、更低成本地最终确认大量交易。

STARKs 本身并不提供隐私，并且与传统的零知识证明（ZKP）不同，因为它们专注于证明计算的完整性。STARKs 特别强大的原因在于，它们不依赖于可信设置，即使计算变得更加复杂，它们也能良好扩展，并且它们的设计能够抵御未来的威胁，例如潜在的量子攻击。

什么是 Starknet？

Starknet 是一种旨在提高以太坊交易速度和降低成本的第二层扩展解决方案。Starknet 在链下处理交易，而不是直接在以太坊主链上处理每一笔交易。

然后网络生成一个 STARK 证明，以数学方式证明交易已正确执行。该证明及变更摘要被发送回以太坊，在那里进行验证并在链上最终确认。

Starknet 是如何工作的？

1. 排序器：管理交易

排序器负责接收和组织交易。它将这些交易批量处理，检查哪些交易有效，并丢弃失败的交易（如资金不足或错误）。

只有有效的交易才会被包含在区块中，随后将其传递进行进一步验证。由于此过程发生在链下，排序器可以实现更高的吞吐量。

2. 证明者：生成证明

证明者获取处理过的区块，并记录每一步交易执行过程（称为执行跟踪）以及系统状态的变化（称为状态差异）。然后，证明者转换这些数据并选择随机部分生成最终的 STARK 证明，作为所有交易正确执行的数学保证。

3. 在以太坊上结算

证明和最终状态变更被发送到以太坊，由两个智能合约处理验证：

验证者合约检查证明的准确性。如果数据一致且有效，则予以批准。

然后，Starknet 核心合约根据验证证明更新以太坊上的 Starknet 状态。

一旦被接受，此更新的状态将被添加到以太坊区块中，成为永久记录的一部分。由于证明确认链下计算的有效性，因此无需在以太坊上重新执行交易，这有助于减少拥堵和成本。

Starknet 的关键特征

开罗：Starknet 的编程语言

Starknet 使用一种名为开罗的自定义智能合约语言，专为编写可以通过 STARK 证明进行验证的程序而设计。它允许开发者在 Starknet 上构建可扩展的应用程序，而无需成为加密专家。

开罗生态系统包括开发者工具，如 Dojo，这是一个用于构建完全链上游戏的开源游戏引擎，以及 Starknet React，这是一个简化构建 Starknet DApps 网络界面的库。

原生账户抽象

Starknet 支持原生账户抽象，允许开发者在 Web3 应用中提供类似 Web2 的用户体验。这包括像通行密钥的功能，用户可以无需种子短语登录，以及会话密钥，允许用户一次批准多个交易。支付者功能支持无汽油费交易，用户可以使用 ERC-20 代币支付，或者让其他人支付汽油费。

Cartridge Controller 是 Starknet 智能合约钱包的一个例子，它将这些功能带入游戏。它支持一键入门、玩家身份、成就，并与游戏引擎和前端工具兼容。

有效性与乐观汇总

与乐观汇总不同，乐观汇总假设交易是有效的，除非受到挑战，Starknet 使用有效性证明来确认正确性。这提供了快速的最终性（因为无需等待挑战期）和强大的加密保证。

然而，乐观汇总可能更容易实现，并可能与现有以太坊工具具有更广泛的兼容性。这两种方法都有其权衡，汇总的选择将取决于具体目标，例如延迟、兼容性和信任假设。

挑战

Starknet 不提供与以太坊虚拟机 (EVM) 的原生兼容性，这使其与像 zkSync Era 和 Scroll 这样的第二层有别，它们允许开发者轻松重用现有的 Solidity 代码和以太坊工具。

相反，Starknet 要求开发者使用开罗进行构建，这是一种专为通过 STARK 证明实现可扩展性而设计的自定义语言。尽管开罗提供了技术优势，但它引入了新的学习曲线，可能会减缓上手速度并使迁移现有应用变得更困难。

STRK 代币

STRK 代币是 Starknet 协议的原生实用代币。该代币用于多种用途，包括治理、交易费用和质押。

治理：STRK 持有者可以通过对提案投票参与协议治理，例如系统升级或对 Starknet 操作系统的更改。一些提案可能需要最低数量的 STRK 来支持或发起。

交易费用：STRK 可用于支付 Starknet 上的交易费用。当使用 STRK 时，排序器会将一部分转换为 ETH，以覆盖以太坊的汽油费用。

质押：STRK 可以以两种方式进行质押：

作为验证者：质押最低数量的 STRK 并履行网络责任以赚取奖励。

作为委托者：将代币委托给验证者并赚取一部分奖励，而无需运行验证节点。

结束语

Starknet 通过使用有效性证明，特别是 STARKs，提供了一种不同的扩展以太坊的方法。该汇总旨在提高吞吐量并降低成本，同时保持以太坊的安全保证。通过开罗编程语言和原生账户抽象等功能，Starknet 为开发者创造了新的机会，特别是在链上游戏和基础设施等领域。

进一步阅读

什么是模块化区块链？

什么是 GameFi，如何运作？

什么是玩赚模式，如何兑现？

免责声明：本内容以“按现状”方式提供，仅用于一般信息和教育目的，不作任何形式的陈述或保证。它不应被解读为财务、法律或其他专业建议，也不旨在推荐任何特定产品或服务的购买。您应寻求适当专业顾问的建议。本文提到的产品可能在您的地区不可用。如果文章由第三方贡献者撰写，请注意，所表达的观点属于第三方贡献者，不一定反映币安学院的观点。有关更多详细信息，请阅读我们的完整免责声明。数字资产价格可能会波动。您投资的价值可能会下降或上升，您可能无法收回所投资的金额。您对自己的投资决策负责，币安学院对您可能遭受的任何损失不承担责任。本材料不应被解读为财务、法律或其他专业建议。有关更多信息，请参见我们的使用条款和风险警告。