Starknet (STRK) 是什么 - 全面概述

  • imperator
  • 发布于 2024-12-13 16:17
  • 阅读 31

本文介绍了 Starknet,一个以太坊的Layer2扩展方案,它使用zk-STARK技术提高交易速度并降低成本。文章详细解释了Starknet的工作原理,包括sequencer和prover的角色,以及STRK代币在网络中的作用。Starknet通过链下处理交易并生成STARK证明,从而减轻了以太坊主网的拥堵,为更广泛的应用铺平了道路。

探索 Starknet,这个可扩展的区块链通过 zk-STARK、Appchains 和无缝的 staking 机会来增强以太坊。

Starknet 是以太坊的开源 layer-2 扩展解决方案,它使用 zk-STARK 技术来提高交易速度并降低成本。它通过链下处理交易并将它们捆绑在一起以便在主网上记录,从而扩展以太坊。

Starknet 概述探讨了其 zk-STARK 创新、排序器(sequencer)和证明器(prover)的角色、Starknet 代币及其用例,重点介绍了以太坊生态系统中的 Starknet staking 等机会。

什么是 Starknet?

Starknet 是 以太坊 的 Layer-2 扩展解决方案,旨在提高交易速度并降低成本。它作为一种 zk-rollup 或有效性 rollup 运行,通过在链下处理大多数交易计算,然后将证明提交给以太坊。

这减少了以太坊主网的拥塞,使用户能够更快、更便宜地进行交易。

what is starknet

Starknet 由 StarkWare Industries 于 2022 年 2 月推出,是一个无需许可的平台,开发人员可以在此平台上构建去中心化应用程序 (dApp)。它的技术建立在 StarkEx 的成功之上,StarkEx 是一个根据特定 dApp 需求量身定制的许可平台,StarkWare 于 2020 年推出。

StarkWare 成立于 2018 年,并得到红杉资本和 Paradigm 等投资者的支持,在 2022 年的 D 轮融资中筹集了 1 亿美元,估值达到 80 亿美元。

Starknet 证明了该公司扩展以太坊的使命,同时为开发人员提供用于 dApp 创建的尖端工具。

Starknet 如何工作?

区块链的目的是确保交互保持去中心化和无需信任。因此,链下处理(扩展解决方案中的常见做法)也必须保持无需信任的验证。

Starknet 通过 2018 年推出的 Scalable, Transparent Argument of Knowledge (STARK) 证明来实现这一点。与 zk-SNARK 不同,zk-STARK 消除了对中心化方进行设置的依赖,从而增强了去中心化。

排序器和证明器

Starknet 基于 STARK 的 Layer 2 依赖于两个核心组件:排序器和证明器

交易提交到 Starknet 的方式与提交到以太坊主网的方式相同。排序器充当高级以太坊节点,处理初始处理。

它们将交易放入 mempool 队列中,提议区块,并将交易分配给这些区块。失败的交易将被排除。一旦最终确定,排序器将与其他排序器协调以获得批准,并将完成的区块转发给证明器。

证明器验证由排序器创建的区块。它们对区块进行分组,并行处理以提高速度,并生成两个关键输出:执行跟踪(Execution Trace),记录交易步骤;状态差异(State Diff),跟踪 Starknet 状态的变化。

执行跟踪会经过算法检查,以识别任何错误,例如无效的交易。然后使用一个小的随机样本来验证 STARK 证明,该证明封装了数千个交易。

提交到以太坊主网

STARK 证明和状态差异作为单个交易发送回以太坊。这种高效的批处理方法实现了 Starknet 的可扩展性

在以太坊上,节点解包交易以访问证明和状态差异,这些证明和状态差异由验证者(Verifier)智能合约进行评估。验证者确认证明的有效性,之后 Starknet Core 智能合约更新 Starknet 的状态。

从那里开始,以太坊的标准流程继续:将交易添加到区块并在整个网络中最终确定它。

为什么 Starknet 是以太坊大规模采用的关键?

以太坊当前的设计限制了可扩展性,高昂的 gas 费用将许多用户拒之门外,并对 Web3 的包容性愿景提出了挑战。Starknet 区块链通过作为强大的 Layer-2 解决方案来解决这些限制。

Starknet 在链下处理交易,生成 STARK 证明,并在以太坊上批量完成它们,从而使交易更快、更具成本效益。

这种方法减少了拥塞,同时保持了以太坊的安全性和去中心化,为更广泛的可访问性和采用铺平了道路。

截至 2024 年 11 月,Imperator 是 StarkNet 上的主网验证器,支持网络的可扩展性和去中心化。

Starknet 堆栈

Starknet blockchain stack

Starknet 区块链堆栈是 Starknet 网络的基础,它为可扩展性、创新和定制提供了强大的框架。它包括三个关键组件:

  1. STARK 证明:这些加密证明确保安全且可扩展的链下交易处理,使 Starknet 网络既高效又可靠。

  2. Cairo 编程语言:Cairo 专为高性能计算而设计,可优化 Starknet 区块链上的操作,同时支持复杂的应用程序。

  3. 原生账户抽象:简化账户交互,通过创新解决方案增强用户和开发人员的体验。

自从 Starknet v0.12.0 主网升级以来,Starknet 区块链已成为每秒交易量 (TPS) 最高的 Layer-2 解决方案。与 EVM 兼容的 Layer-2 不同,Starknet 网络克服了遗留限制,为无与伦比的可扩展性和灵活性铺平了道路。

Starknet 基金会及其生态系统的推动下,这种演变确保了堆栈不断适应以满足不断增长的应用程序的需求。

Starknet 网络堆栈的优势

Starknet 堆栈使应用程序能够构建定制的 Starknet Appchains,从而带来多项改变游戏规则的优势:

  • 增强的性能:Appchains 使应用程序免受公共 Starknet 网络上的拥塞影响,从而提供更快的吞吐量和改进的用户体验。

  • 自定义功能:开发人员可以实现独特的功能,例如个性化的费用市场逻辑,从而为特定用例创建量身定制的解决方案。

  • 通过实验进行创新:Appchains 用作新功能的试验台,生成可以增强其他 Appchains 或公共 Starknet 区块链的见解。

Starknet 堆栈为开发人员提供了一个高性能框架来创新和扩展,从而塑造去中心化应用程序的未来。

使用 Cairo Zero、Cairo 和 Sierra 进行推进

Cairo Zero 于 2020 年推出了 STARK 可证明计算,为 Starknet 区块链上的可扩展应用程序奠定了基础,尽管其底层性质带来了挑战。在此基础上,Cairo 通过 Rust 风格的语法和现代编程概念(如 traits 和 generics)增强了开发人员的可访问性,从而简化了合约创建。

作为 Cairo 的补充,Sierra 连接了用户代码和 CASM,确保所有交易都保持可证明,并保护 Starknet 排序器免受可能导致中断的无法证明的代码的影响。总之,这些创新使 Starknet 网络能够提供无与伦比的可扩展性、效率和灵活性。

Cairo VM 是 Starknet 网络的基石,旨在优化有效性证明,以实现可扩展且安全的交易处理。与 EVM 不同,Cairo VM 通过代数中间表示 (AIR) 将计算转换为多项式约束,从而实现高效的证明生成。

这种设计确保 Starknet 区块链实现更快、更可靠的交易验证,同时保持以太坊的去中心化和安全性。支持这一点的是 CASM (Cairo Assembly),它将用户程序转换为 Cairo VM 的可执行机器代码,从而保证所有输入的准确且可验证的结果。

Starknet Staking

Starknet staking 允许代币持有者锁定他们的 STRK 代币,从而支持网络安全和去中心化。作为回报,Stakers 赚取奖励,从而提高了生态系统中的参与度。

starknet staking

此过程加强了 Starknet 基于 zk-STARK 的基础设施,从而可以进行可扩展的以太坊交易,同时为代币持有者提供被动收入机会。

Starknet 验证者负责运行完整节点和管理关键网络功能,他们与其委托者分享奖励。在我们的 最佳 Starknet 验证者 指南中,我们重点介绍了最可靠的选项,以最大限度地提高奖励并确保网络安全。

验证者和委托者都可以取消 staking 代币,同时遵守安全延迟,从而使代币持有者可以在不维护自己的基础设施的情况下支持 Starknet 区块链。

STRK 代币

什么是 STRK 代币?

Starknet 代币 (STRK)Starknet 区块链的支柱,可促进网络运营、确保安全并实现去中心化治理。用户可以使用 STRK 或 ETH 支付交易费用,自 Starknet v0.13.0 以来,STRK 的实用性得到了提高。

虽然以 STRK 支付的费用涵盖 Layer-2 运营,但排序器会将一部分费用转换为 ETH 以结算以太坊 Layer-1 gas 成本。STRK 代币还在治理中发挥着至关重要的作用,允许持有者对塑造 Starknet 技术和价值的提案进行投票,从而确保网络的发展与社区的愿景保持一致。

STRK 代币经济学

STRK estimated circulating supply

2022 年 5 月,StarkWare 铸造了 100 亿个 STRK 代币,构成了 Starknet 区块链的总供应量。这些代币经过战略性分配,以支持生态系统发展、激励贡献者和保护网络安全。

未来的计划包括 staking STRK 以用于排序、证明和数据可用性等基本服务,实施目标是 2024-2025 年。

STRK 代币不代表 StarkWare 或 Starknet 基金会的股权或投资,而仅用于支持 Starknet 的运营和治理。这确保了 STRK 代币仍然是以实用性为中心的资产,并且是 Starknet 去中心化基础设施的核心。

什么是 Starknet:结束语

Starknet 网络推动了区块链的可扩展性和创新。通过使用 STARK 证明、Cairo 堆栈和原生账户抽象,它提供了一个高性能的 Layer-2 解决方案,从而增强了以太坊的去中心化和安全性。

凭借可扩展的基础设施、无缝的开发人员体验和用于治理的 STRK 代币,Starknet 培育了一个蓬勃发展的应用程序生态系统。随着它的发展,Starknet 巩固了其作为以太坊基石的角色,从而推动了去中心化应用程序和区块链创新的未来。

关于 Starknet 区块链的常见问题解答

什么是 Starknet,它是如何工作的?

Starknet 是以太坊的 layer-2 扩展解决方案,它利用 zk-STARK 技术来提高交易速度并降低成本。它在链下处理交易,将它们捆绑成证明,然后将它们提交给以太坊以进行验证。

Starknet 背后的团队是谁?

Starknet 由 StarkWare Industries 开发,该公司由 Eli Ben-Sasson、Michael Riabzev、Uri Kolodny 和 Alessandro Chiesa 于 2018 年创立。在顶级投资者的支持下,StarkWare 是 zk-STARK 和区块链可扩展性创新领域的领导者。

什么是 STRK 代币?

STRK 代币为 Starknet 提供支持,支持网络运营、安全和治理。它用于交易费用和 staking,同时使代币持有者能够参与网络决策。

Starknet 如何提高以太坊的可扩展性?

通过在链下处理交易并将紧凑的证明提交给以太坊,Starknet 减少了拥塞、降低了 gas 费用,并在保持安全性的同时提高了交易吞吐量。

什么是 Cairo 编程语言,为什么它对 Starknet 如此重要?

Cairo 是一种用于开发 Starknet 应用程序的高性能语言。它支持 traits 和 generics 等高级功能,从而优化了去中心化应用程序的操作。

什么是 Starknet Appchains?

Starknet Appchains 是使用 Starknet 堆栈构建的定制的、可扩展的区块链。它们为开发人员提供量身定制的解决方案、减少拥塞和创新试验台。

如何参与 Starknet staking?

通过 staking STRK 代币,用户可以为网络安全和去中心化做出贡献。验证者和委托者都可以获得奖励,这使其成为支持生态系统的一个有吸引力的选择。

  • 原文链接: imperator.co/resources/b...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
imperator
imperator
江湖只有他的大名,没有他的介绍。