将推出另一个L2解决方案，starkware将推出ZK汇总扩展解决方案starknet

作者：starkware

编译器：Kyle@Babbitt

零知识证明研发机构Starkware表示，ZK rollup“starknet”双层扩展解决方案的基础设施建设已经完成（第0阶段），即Turing complete framework Cairo、stark软件栈和两层扩展引擎starkex，从第一阶段到第三阶段。其中，第一阶段将支持单应用汇总，开发者可以在starknet上构建和部署自己的可扩展应用；第二阶段将支持多应用汇总，支持在同一starknet实例上运行和访问多个应用，实现不同应用和应用的互操作降低天然气成本；第3阶段将支持去中心化汇总。

Starkware预计将在近几个月内在内部部署第一阶段，并在2021年底成功进入第二和第三阶段。starkware构建的Starknet是stark驱动的一个去中心化的两层ZK汇总，可以支持以太坊的通用计算。

以下是星光股份发布的公告全文：

我们分四步打造starknet：

第0步-基础知识（已完成*）

第一步-行星：汇总

第二步-星座：多应用摘要

第三步-宇宙：去中心化

我们预计在几个月内部署第一步，并在2021年底前顺利进入第二步和第三步。

介绍

我们正在构建starknet，这是一种去中心化的、未经许可和未经审查的stark技术，它支持l2zk汇总和以太坊的通用计算。它基于图灵完整的开罗语言。

开发人员、用户和starknet节点将能够完成他们对无许可L2聚合方案的所有期望：开发人员可以构建实现自己业务逻辑的应用程序，并将它们部署在starknet上。用户可以将事务发送到starknet执行，就像他们今天与以太坊交互一样。Starknet节点和参与者将享受到加密经济的激励，保证网络的高效公平运行。

所有starknet交易将定期进行批量处理，其有效性将通过stark证书进行验证，并在以太坊上进行验证。与验证计算相比，验证stark证明所需的计算量要少得多，因此starknet将以太坊展开了几个数量级。

由于所有starknet状态转换都将由stark验证，因此以太坊网络只接受有效的转换。所有重建完整starknet状态所需的数据都将在链上发布。任何人都可以运行自己的starknet节点。这些属性将使starknet像以太坊一样安全和无许可证。

我们已经开发了三年，在将月球数学转化为生产级高效软件（运行于以太坊上）方面，我们已经取得了一些显著的里程碑。我们的做事方式是先解决问题，确立核心技术，然后逐步投产。随着starknet的完成，我们将继续以这种方式进行建设。

步骤0-基础

我们为starknet打下了一些重要的基础。

开罗

Cairo是我们的图灵完备**语言和框架，用于生成一般计算的stark证明。应用程序开发人员可以使用Cairo定义任何业务逻辑，并在链下对其进行证明和验证，而无需手工制作复杂的“电路”或air。Cairo已经在主网上推出，开发者也可以使用它。

再过几周，我们将在公开的以太坊测试场地上推出开罗通用认证服务（GPS）的阿尔法版本。这将允许开发人员使用Cairo构建他们自己的应用程序并实现他们想要的任何业务逻辑。他们可以将开罗代码发送给GPS进行验证，然后在链上进行验证。

GPS实现了一个单一的认证来确认完全独立的应用程序的执行完整性，这样这些应用程序就可以分摊认证验证的费用。

开罗和GPS是StaskNETs的基础——我们决定将开发者外化，使他们能够尽早地访问该技术，这不仅是为了启动这项技术的建立，而且也是为了影响StaskNETs的发展。

我们将继续根据开发者社区的需求和反馈来开发Cairo。我们将通过新特性、语法和内置插件来增强该语言的可用性，并继续开发和改进Cairo工具：编译器、跟踪器/调试器以及与通用ide的集成。

Starknet将让Cairo在后台运行。

斯塔克软件栈

我们已经开发了生态系统中最强大的认证系统，并在主网络上运行了几个月。我们还开发了一个开放源代码的认证程序ETHstar，它比其他认证程序快20倍，同时提供了零知识签名和量子后安全签名。

我们的扩展标准包括在主网络上的单个证书中处理300000个事务，在总吞吐量方面达到了世界纪录：300000 TPS。在此过程中，我们实现了燃气效率的世界纪录：315gas/TX，比以太坊 L1的交易价格便宜几个数量级。

这项技术将是starknet去中心化验证层的基石，因此作为starknet开发的一部分，我们将发布更多和增强的证明（有关更多信息，请参阅即将发布的博客文章）。

斯塔克斯

Starkex是我们的L2扩展引擎。自2020年6月以来，它一直为devosifi客户提供家庭网络服务。它将在未来几周内为dydx和immunotablex供电。Starkex可以处理复杂的交易逻辑（现货交易、衍生品、NFT）和支付。

starkex的开发是我们根据实际需要扩展工具链和测试的一种方式。实际应用和用户的实际需求有助于该工具的成熟和发展。它还帮助我们理解为了更好地服务于生态系统而需要解决的问题，比如与钱包和块浏览器的集成。

Starkex是使用基于stark的ZK rollup来扩展应用程序功能的实时示例，也是Cairo在主web上编写的第一个产品应用程序。因此，它也将是starknet上运行的应用程序之一。

未来发展路线

第一步-行星：单一应用摘要

这一步将使开发人员能够在starknet上构建和部署自己的可扩展应用程序。

此时，每个starknet实例将能够运行一个应用程序。不同的实例可以运行不同的应用程序。

starknet框架将包括以下内容：

一种为任意Cairo逻辑生成stark证明，然后在以太坊上提交和验证的机制。

与l1以太坊的交互：L1代币的存储、提取、链上的数据发布、保护starknet用户不受恶意starknet操作员攻击的转义机制等。

二级用户平衡和应用程序存储和内存管理。

开发人员将能够完全专注于构建应用程序的业务逻辑，然后投入生产：在starknet上大规模部署和运行它。

我们可以构建一个通用的可扩展ZK汇总的原因是：

Cairo，这是一种通用的图灵完全编程语言

我们强大的stark堆栈（prover和verifier）可以将大量计算捆绑到一个证明中

第二步-星座：多应用摘要

下一步是支持多个应用程序在同一starknet实例上运行并访问相同的全局L2状态。这将实现不同应用程序之间的互操作性，并通过提高规模经济性降低天然气成本。

Cairo、强大的stark堆栈和GPS增强了starknet在支持多应用聚合方面的竞争优势。

在这个阶段，starknet将是一个全功能的框架，用于在以太坊上运行具有任意业务逻辑的多个应用程序，每个实例将由一个操作员运行。

操作员现在可以启动starknet节点，应用程序开发人员可以在其上部署契约。从用户的角度来看，starknet现在看起来和感觉上都像以太坊，但规模更大。

第三步-宇宙：去中心化

starknet进化的**一步是实现去中心化操作。

我们现在正在解决的影响这一阶段的有意义的研发问题包括（I）使用ZK汇总来改进共识建立机制，以及（II）设计加密经济机制来激励去中心化的starknet贡献者和运营商（事务排序器、证明者等）高效、公平和安全地运行。

后记

我们正在a601上构建starknet，这是一个基于stark的去中心化无许可l2zk汇总产品，并支持基于Cairo语言的通用计算。

Starknet将使应用程序能够在不损害安全的情况下扩展，用户能够支付合理的交易费用，整个生态系统能够显著增长并实现其承诺。