StarkNet 是一个无需许可的去中心化 ZK-Rollup。作为以太坊 L2 网络运行,使任何 dApp 能够实现其计算的无限规模,而不会损害以太坊的可组合性和安全性。
作者:戒戒(AZerDAO 建设者)
介绍
StarkWare 正在构建的 StarkNet 是一个去中心化无许可且抗审查的由 STARK 驱动的 ZK-Rollup 二层协议,支持基于以太坊的通用计算。它基于图灵完备的 Cario 语言。
开发人员、用户和 StarkNet 节点将能够完成人们对无需许可的 L2 Rollup 期望的一切:
- 开发人员可以构建实现自己商业逻辑的应用程序并将它们部署在 StarkNet 上。
- 用户可以将交易发送到 StarkNet 以执行,就像与以太坊交互一样。
- StarkNet 节点和参与者将受到加密经济激励,以确保网络高效、公平地运行。
所有 StarkNet 交易将定期进行批处理,其有效性将在 STARK 证明中得到证明,并在以太坊上进行验证。由于验证 STARK 证明所需的计算量与已证明的计算量相比呈指数级减小,StarkNet 将把以太坊扩展到几个数量级。
由于所有 StarkNet 状态转换都将经过 STARK 验证,因此以太坊仅接受有效的状态转换。重建完整 StarkNet 状态所需的所有数据都将在链上发布。任何人都可以运行自己的 StarkNet 节点。这些特性将使 StarkNet 与以太坊一样安全且无需许可。
StarkWare 已经做了三年,并且已经将 “理论算法” 转变为在以太坊上运行的产品级的高效软件,目前这方面取得了一些非凡的里程碑。
StarkWare 做事的方式是先解决难题,构建核心技术,然后以零碎的方式将其发布到产品中。
步骤 0 — 基础
StarkWare 已经为 StarkNet 奠定了一些重要的基础。
Cairo 语言
Cairo 是图灵完备高级语言和框架,用于为通用计算生成 STARK 证明。应用程序开发人员可以使用 Cairo 来定义任何商业逻辑,使其在链下得到证明,并在链上进行验证,Cairo 在主网上生成,可供开发人员使用。
几周后,将在公共以太坊测试网上推出开罗通用证明服务 (GPS) 的 Alpha 版本。这将允许开发人员使用 Cairo 构建自己的应用程序,实现他们希望的任何业务逻辑。他们会将他们的 Cairo 代码发送到 GPS 进行证明,然后在链上进行验证。GPS 使单个证明就能够声明许多完全独立应用程序的执行完整性,从而使这些应用程序能够分摊证明验证的 gas 费用。
Cairo 和 GPS 是 StarkNet 的基础 。这两者都早早的向外分发给开发人员,让他们能够及早接触这项技术,不仅让他们可以开始在此基础上进行构建,而且还可以影响 StarkNet 的发展。
STARK 软件堆栈
StarkWare 开发了生态系统中最强大的证明系统,并且已经在主网上运行了几个月。StarkWare 还开发了开源证明器 ethSTARK ,它比任何其他证明器快 20 倍;它提供零知识和后量子安全签名。
根据 StarkWare 的测量,在主网上的单个证明中就可以处理 300K 次的交易,实现了 Rollup 吞吐量的世界纪录:3000 tps。在此过程中实现了 Rollup gas 效率的世界纪录:315 gas/tx,比以太坊 L1 上的交易便宜几个数量级。
StarkEx
StarkEx 是 L2 可扩展性引擎。自 2020 年 6 月以来,它一直在主网上为 DeversiFi 的客户提供服务。它将在短短几周内为 dYdX 和 ImmutableX 提供支持。
StarkEx 可以处理复杂的交易逻辑(现货交易、衍生品、NFT)以及支付。
StarkEx 是使用基于 STARK 的 ZK-Rollup 扩展应用程序能力的一个活生生的例子,并且是在 Cairo 编写的第一个在主网上的应用程序。因此,它也将成为 StarkNet 上运行的应用程序之一。
StarkNet 的建设步骤
StarkNet 共分为四个步骤构建:
- 步骤 0 — 基础(已完成*)
- 第一步 — — 行星:单应用汇总
- 第二步 — — 星座:多应用汇总
- 第三步 — — 宇宙:去中心化的汇总
第 I 步 — 行星:单应用汇总 (建立可用性)
此步骤将使开发人员能够在 StarkNet 上构建和部署他们自己的可扩展应用程序。此时,每个 StarkNet 实例将能够运行单个应用程序。不同的实例可能运行不同的应用程序。
StarkNet 框架将包括以下内容:
为任意 Cairo 逻辑生成 STARK 证明所需的机制,然后在以太坊上提交和验证它们。
与 L1 以太坊的交互:L1 代币的存款和取款、链上数据的发布、保护 StarkNet 用户免受恶意 StarkNetr 操作员攻击的逃逸机制等。
管理 L2 用户余额以及应用程序的存储和内存。
开发人员将能够专注于构建其应用程序的业务逻辑,然后投入生产:在 StarkNet 上大规模部署和运行它。
第二步 — 星座:多应用汇总 (提高性能)
将支持在同一个 StarkNet 实例上运行并访问同一个全局 L2 状态的多个应用程序。这将实现不同应用程序之间的互操作性,以及由于规模经济的提高而降低的 gas 成本。Cairo、强大的 STARK 堆栈和 GPS 增强了 StarkNet 在支持多应用汇总方面的竞争优势。
在这个阶段 StarkNet 将成为一个功能齐全的框架,用于在以太坊之上运行具有任意商业逻辑的多个应用程序,每个实例由单个操作员运行。
操作员现在可以启动 StarkNet 节点,应用程序开发人员可以在其上部署他们的合约。从用户的角度来看,StarkNet 现在看起来和感觉都像以太坊,但是规模更大。
第三步 — 宇宙:去中心化 Rollup
StarkNet 发展的最后一步是分散其运营。
(i)使用 ZK-Rollups 来改进达成共识的机制,以及(ii)设计代币经济机制来激励去中心化的 StarkNet 贡献者和运营商(交易定序器、证明者等)以有效、公平和安全地运作。
目前的进展
StarkNet Alpha 于 2021 年 6 月发布到公共测试网,并于 11 月发布到主网。到主网部署时,StarkNet 已经在类似以太坊的状态下提供通用计算。
生态一瞰
免责声明:作为区块链信息平台,本站所发布文章仅代表作者及嘉宾个人观点,与 Web3Caff 立场无关。本文内容仅用于信息分享,均不构成任何投资建议及要约,并请您遵守所在国家或地区的相关法律法规。