搜索
当前所在位置: 比特币资讯网 > 聚焦 >

将推出另一个L2解决方法,starkware将推出ZK大全扩展解决方法starknet

发布时间:2022-05-04 09:48 作者:未知 点击: 【 字体:

作者: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

阅读全文
返回顶部