作者：starkware

编译器：Kyle@Babbitt

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

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

以下是星光股份发布的通知全文：

大家分四步塑造starknet：

第0步-入门知识（已完成*）

第一步-行星：大全

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

第三步-宇宙：去中心化

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

介绍

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

开发职员、用户和starknet节点将可以完成他们对无许可L2聚合策略的所有期望：开发职员可以构建达成自己业务逻辑的应用程序，并将它们部署在starknet上。用户可以将事务发送到starknet实行，就像他们今天与ETH交互一样。Starknet节点和参与者将享遭到加密经济的勉励，保证互联网的高效公平运行。

所有starknet买卖将按期进行批量处置，其有效性将通过stark证书进行验证，并在ETH上进行验证。与验证计算相比，验证stark证明所需的计算量要少得多，因此starknet将ETH展开了几个数目级。

因为所有starknet状况转换都将由stark验证，因此ETH互联网只同意有效的转换。所有重建完整starknet状况所需的数据都将在链上发布。其他人都可以运行我们的starknet节点。这类属性将使starknet像ETH一样安全和无许可证。

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

步骤0-基础

大家为starknet打下了一些要紧的基础。

开罗

Cairo是大家的图灵完备高级语言和框架，用于生成通常计算的stark证明。应用程序开发职员可以用Cairo概念任何业务逻辑，并在链下对其进行证明和验证，而不需要手工制作复杂的“电路”或air。Cairo已经在主网上推出，开发者也可以用它。

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

GPS达成了一个单一的认证来确认完全独立的应用程序的实行完整性，如此这类应用程序就可以分摊认证验证的成本。

开罗和GPS是StaskNETs的基础——大家决定将开发者外化，使他们可以尽快地访问该技术，这不止是为了启动这项技术的打造，而且也是为了影响StaskNETs的进步。

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

Starknet将让Cairo在后台运行。

斯塔克软件栈

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

大家的扩展标准包含在主互联网上的单个证书中处置300000个事务，在总吞吐量方面达到了世界纪录：300000 TPS。在此过程中，大家达成了燃气效率的世界纪录：315gas/TX，比ETH 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证明，然后在ETH上提交和验证的机制。

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

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

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

大家可以构建一个通用的可扩展ZK大全是什么原因：

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

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

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

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

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

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

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

第三步-宇宙：去中心化

starknet进化的最后一步是达成去中心化操作。

大家目前正在解决的影响这一阶段的有意义的研发问题包含（I）用ZK大全来改进共识打造机制，与（II）设计加密经济机制来勉励去中心化的starknet贡献者和运营商（事务排序器、证明者等）高效、公平和安全地运行。

后记

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

Starknet将使应用程序可以在不损害安全的状况下扩展，用户可以支付适当的买卖成本，整个生态系统可以显著增长并达成其承诺。

版权保护: 本文由 比特币资讯网 原创，转载请保留链接: http://www.chinafinhr.com//xinwen/1129.html