本文介绍了 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 是 以太坊 的 Layer-2 扩展解决方案,旨在提高交易速度并降低成本。它作为一种 zk-rollup 或有效性 rollup 运行,通过在链下处理大多数交易计算,然后将证明提交给以太坊。
这减少了以太坊主网的拥塞,使用户能够更快、更便宜地进行交易。
Starknet 由 StarkWare Industries 于 2022 年 2 月推出,是一个无需许可的平台,开发人员可以在此平台上构建去中心化应用程序 (dApp)。它的技术建立在 StarkEx 的成功之上,StarkEx 是一个根据特定 dApp 需求量身定制的许可平台,StarkWare 于 2020 年推出。
StarkWare 成立于 2018 年,并得到红杉资本和 Paradigm 等投资者的支持,在 2022 年的 D 轮融资中筹集了 1 亿美元,估值达到 80 亿美元。
Starknet 证明了该公司扩展以太坊的使命,同时为开发人员提供用于 dApp 创建的尖端工具。
区块链的目的是确保交互保持去中心化和无需信任。因此,链下处理(扩展解决方案中的常见做法)也必须保持无需信任的验证。
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 的状态。
从那里开始,以太坊的标准流程继续:将交易添加到区块并在整个网络中最终确定它。
以太坊当前的设计限制了可扩展性,高昂的 gas 费用将许多用户拒之门外,并对 Web3 的包容性愿景提出了挑战。Starknet 区块链通过作为强大的 Layer-2 解决方案来解决这些限制。
Starknet 在链下处理交易,生成 STARK 证明,并在以太坊上批量完成它们,从而使交易更快、更具成本效益。
这种方法减少了拥塞,同时保持了以太坊的安全性和去中心化,为更广泛的可访问性和采用铺平了道路。
截至 2024 年 11 月,Imperator 是 StarkNet 上的主网验证器,支持网络的可扩展性和去中心化。
Starknet 区块链堆栈是 Starknet 网络的基础,它为可扩展性、创新和定制提供了强大的框架。它包括三个关键组件:
STARK 证明:这些加密证明确保安全且可扩展的链下交易处理,使 Starknet 网络既高效又可靠。
Cairo 编程语言:Cairo 专为高性能计算而设计,可优化 Starknet 区块链上的操作,同时支持复杂的应用程序。
原生账户抽象:简化账户交互,通过创新解决方案增强用户和开发人员的体验。
自从 Starknet v0.12.0 主网升级以来,Starknet 区块链已成为每秒交易量 (TPS) 最高的 Layer-2 解决方案。与 EVM 兼容的 Layer-2 不同,Starknet 网络克服了遗留限制,为无与伦比的可扩展性和灵活性铺平了道路。
Starknet 基金会及其生态系统的推动下,这种演变确保了堆栈不断适应以满足不断增长的应用程序的需求。
Starknet 堆栈使应用程序能够构建定制的 Starknet Appchains,从而带来多项改变游戏规则的优势:
增强的性能:Appchains 使应用程序免受公共 Starknet 网络上的拥塞影响,从而提供更快的吞吐量和改进的用户体验。
自定义功能:开发人员可以实现独特的功能,例如个性化的费用市场逻辑,从而为特定用例创建量身定制的解决方案。
通过实验进行创新:Appchains 用作新功能的试验台,生成可以增强其他 Appchains 或公共 Starknet 区块链的见解。
Starknet 堆栈为开发人员提供了一个高性能框架来创新和扩展,从而塑造去中心化应用程序的未来。
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 允许代币持有者锁定他们的 STRK 代币,从而支持网络安全和去中心化。作为回报,Stakers 赚取奖励,从而提高了生态系统中的参与度。
此过程加强了 Starknet 基于 zk-STARK 的基础设施,从而可以进行可扩展的以太坊交易,同时为代币持有者提供被动收入机会。
Starknet 验证者负责运行完整节点和管理关键网络功能,他们与其委托者分享奖励。在我们的 最佳 Starknet 验证者 指南中,我们重点介绍了最可靠的选项,以最大限度地提高奖励并确保网络安全。
验证者和委托者都可以取消 staking 代币,同时遵守安全延迟,从而使代币持有者可以在不维护自己的基础设施的情况下支持 Starknet 区块链。
Starknet 代币 (STRK) 是 Starknet 区块链的支柱,可促进网络运营、确保安全并实现去中心化治理。用户可以使用 STRK 或 ETH 支付交易费用,自 Starknet v0.13.0 以来,STRK 的实用性得到了提高。
虽然以 STRK 支付的费用涵盖 Layer-2 运营,但排序器会将一部分费用转换为 ETH 以结算以太坊 Layer-1 gas 成本。STRK 代币还在治理中发挥着至关重要的作用,允许持有者对塑造 Starknet 技术和价值的提案进行投票,从而确保网络的发展与社区的愿景保持一致。
2022 年 5 月,StarkWare 铸造了 100 亿个 STRK 代币,构成了 Starknet 区块链的总供应量。这些代币经过战略性分配,以支持生态系统发展、激励贡献者和保护网络安全。
未来的计划包括 staking STRK 以用于排序、证明和数据可用性等基本服务,实施目标是 2024-2025 年。
STRK 代币不代表 StarkWare 或 Starknet 基金会的股权或投资,而仅用于支持 Starknet 的运营和治理。这确保了 STRK 代币仍然是以实用性为中心的资产,并且是 Starknet 去中心化基础设施的核心。
Starknet 网络推动了区块链的可扩展性和创新。通过使用 STARK 证明、Cairo 堆栈和原生账户抽象,它提供了一个高性能的 Layer-2 解决方案,从而增强了以太坊的去中心化和安全性。
凭借可扩展的基础设施、无缝的开发人员体验和用于治理的 STRK 代币,Starknet 培育了一个蓬勃发展的应用程序生态系统。随着它的发展,Starknet 巩固了其作为以太坊基石的角色,从而推动了去中心化应用程序和区块链创新的未来。
Starknet 是以太坊的 layer-2 扩展解决方案,它利用 zk-STARK 技术来提高交易速度并降低成本。它在链下处理交易,将它们捆绑成证明,然后将它们提交给以太坊以进行验证。
Starknet 由 StarkWare Industries 开发,该公司由 Eli Ben-Sasson、Michael Riabzev、Uri Kolodny 和 Alessandro Chiesa 于 2018 年创立。在顶级投资者的支持下,StarkWare 是 zk-STARK 和区块链可扩展性创新领域的领导者。
STRK 代币为 Starknet 提供支持,支持网络运营、安全和治理。它用于交易费用和 staking,同时使代币持有者能够参与网络决策。
通过在链下处理交易并将紧凑的证明提交给以太坊,Starknet 减少了拥塞、降低了 gas 费用,并在保持安全性的同时提高了交易吞吐量。
Cairo 是一种用于开发 Starknet 应用程序的高性能语言。它支持 traits 和 generics 等高级功能,从而优化了去中心化应用程序的操作。
Starknet Appchains 是使用 Starknet 堆栈构建的定制的、可扩展的区块链。它们为开发人员提供量身定制的解决方案、减少拥塞和创新试验台。
通过 staking STRK 代币,用户可以为网络安全和去中心化做出贡献。验证者和委托者都可以获得奖励,这使其成为支持生态系统的一个有吸引力的选择。
- 原文链接: imperator.co/resources/b...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!