又一个L2解决方案将上线，StarkWare推出ZK Rollup扩容解决方案StarkNet 免责声明：本文旨在传递更多

文章图片
免责声明：本文旨在传递更多市场信息，不构成任何投资建议。文章仅代表作者观点，不代表火星财经官方立场。
小编：记得关注哦
来源：巴比特
作者：StarkWare
编译：Kyle@巴比特
零知识证明研发机构StarkWare表示，其二层扩容解决方案ZKRollup“StarkNet”目前已经完成基础构建（阶段0），即图灵完备框架Cairo、STARK软件堆栈和二层扩容引擎StarkEx ，之后将进行构建阶段一至阶段三。其中，阶段一将支持单一应用Rollup“Single-AppRollup” ，将使开发人员能够在StarkNet上构建和部署自己的可扩展性应用程序；阶段二将支持多应用Rollup“Multi-AppRollup” ，支持在同一StarkNet实例上运行并访问多个应用程序，这将实现不同应用程序之间的互操作性，以及降低Gas成本；阶段三将支持去中心化Rollup“DecentralizedRollup” 。
StarkWare预计将在近几个月内部署阶段一，并在2021年底之前顺利进入阶段二和阶段三。 StarkWare构建的StarkNet是一种由STARK驱动的去中心化二层ZKRollup ，可支持以太坊的通用计算。
以下是StarkWare发布的公告全文（译文）：

文章图片
我们正在分四个步骤构建StarkNet：
步骤0——基础（已完成*）
步骤I——行星：单一应用汇总（Rollup）
步骤II——星座：多应用汇总
步骤III——宇宙：去中心化汇总
我们预计将在几个月内部署步骤I ，并在2021年底之前顺利步入步骤II和III 。
介绍
我们正在构建StarkNet ，这是一种去中心化，无需许可且不受审查的STARK技术，支持L2ZK-Rollup ，可支持以太坊的一般计算。它基于图灵完备的Cairo语言。
开发人员，用户和StarkNet节点将能够完成对无许可L2汇总方案所期望的一切：开发人员可以构建实现自己的业务逻辑的应用，并将其部署在StarkNet上。用户可以将交易发送给StarkNet来执行，就像今天与以太坊进行交互一样。 StarkNet节点和参与者将享受加密经济的激励，以确保网络高效，公平地运行。
所有StarkNet交易将定期进行批处理，其有效性将通过一种STARK证明加以证明，并在以太坊上进行验证。与验证的计算相比，验证STARK证明所需的计算量小得多，因此StarkNet将以太坊扩展几个数量级。
由于所有StarkNet状态转换都将经过STARK验证，以太坊网络仅接受有效的转换。重构完整StarkNet状态所需的所有数据将在链上发布。任何人都可以运行自己的StarkNet节点。这些属性将使StarkNet像以太坊一样安全和无需许可。
我们已经开发了三年，并且在将“MoonMath”转变为在以太坊上运行的生产级高效软件方面已经取得了一些非凡的里程碑。我们做事的方式是首先解决难题，建立核心技术，然后将其逐步投入生产。随着StarkNet的完成，我们将继续以这种方式进行构建。

文章图片
步骤0—基础
我们已经为StarkNet奠定了一些重要的基础。
Cairo
Cairo是我们的图灵完备高级语言和框架，用于生成用于常规计算的STARK证明。应用程序开发人员可以使用Cairo定义任何业务逻辑，并在链下进行证明和验证，而无需手工制作复杂的“电路”或AIR 。 Cairo已经上线主网，开发人员也可以使用。
在几周内，我们将在公开的以太坊测试网上启动Alpha版本的Cairo通用证明服务（GPS）。这将使开发人员可以使用Cairo构建自己的应用程序，实现他们想要的任何业务逻辑。他们可以将自己的Cairo代码发送到GPS进行验证，然后在链上进行验证。
GPS实现了单个证明来确认完全分离和独立的应用程序的执行完整性，从而使这些应用程序能够摊销证明验证所消耗的gas费用。
Cairo和GPS是StarkNet的基础——我们将开发人员外部化的决定使他们可以尽早接触该技术，不仅使他们可以开始在此技术上构建，而且还可能影响StarkNet的发展。
我们将根据开发人员社区的需求和反馈继续开发Cairo 。我们将通过新功能，语法和内置插件来增强该语言，以提高其可用性，并继续开发和改进Cairo工具：编译器，跟踪器/调试器以及与通用IDE的集成。
StarkNet将让Cairo在后台运行。
STARK软件堆栈
我们已经开发了生态系统中功能最强大的证明系统，并且已经在主网上运行了几个月。我们还开发了开源证明程序ethSTARK ，该速度比其他证明程序快20倍；它既提供零知识签名，又提供量子后安全签名。