以太坊2.0质押池的代币经济(上):何为质押代币?
本文分为上下两部分,介绍了什么是 staked ETH 代币 (即质押 ETH 所获得的代币),以及它们是如何运作的?
零知识证实研发机构StarkWare示意,其二层扩容解决方案ZK Rollup“StarkNet”现在已经完成基础构建(阶段0),即图灵完整框架Cairo、STARK软件客栈和二层扩容引擎StarkEx,之后将举行构建阶段一至阶段三。其中,阶段一将支持单一应用Rollup“Single-App Rollup”,将使开发人员能够在StarkNet上构建和部署自己的可扩展性应用程序;阶段二将支持多应用Rollup“Multi-App Rollup”,支持在统一StarkNet实例上运行并接见多个应用程序,这将实现差别应用程序之间的互操作性,以及降低Gas成本;阶段三将支持去中央化Rollup“Decentralized Rollup”。以下是StarkWare公布的通告全文(译文):
我们正在分四个步骤构建StarkNet:
阶段0——地基(Foundations)(已完成*)
阶段I——行星(Planets):单一应用汇总(Rollup)
阶段II——星座(Constellations):多应用汇总
阶段III——宇宙(Universe):去中央化汇总
我们预计将在几个月内部署步骤I,并在2021年底之前顺遂步入步骤II和III。
我们正在构建StarkNet,这是一种去中央化,无需允许且不受审查的STARK手艺,支持L2 ZK-Rollup,可支持以太坊的一样平常盘算。 它基于图灵完整的Cairo语言。
开发人员,用户和StarkNet节点将能够完成对无允许L2汇总方案所期望的一切:开发人员可以构建实现自己的营业逻辑的应用,并将其部署在StarkNet上。 用户可以将买卖发送给StarkNet来执行,就像今天与以太坊举行交互一样。 StarkNet节点和参与者将享受加密经济的激励,以确保网络高效,公正地运行。
所有StarkNet买卖将定期举行批处置,其有用性将通过一种STARK证实加以证实,并在以太坊上举行验证。 与验证的盘算相比,验证STARK证实所需的盘算量小得多,因此StarkNet将以太坊扩展几个数量级。
由于所有StarkNet状态转换都将经由STARK验证,以太坊网络仅接受有用的转换。 重构完整StarkNet状态所需的所有数据将在链上公布。 任何人都可以运行自己的StarkNet节点。 这些属性将使StarkNet像以太坊一样平安和无需允许。
我们已经开发了三年,而且在将“ Moon Math”转变为在以太坊上运行的生产级高效软件方面已经取得了一些特殊的里程碑。 我们做事的方式是首先解决难题,确立核心手艺,然后将其逐步投入生产。 随着StarkNet的完成,我们将继续以这种方式举行构建。
我们已经为StarkNet奠基了一些主要的基础。
CairoCairo是我们的图灵完整高级语言和框架,用于天生用于通例盘算的STARK证实。 应用程序开发人员可以使用Cairo界说任何营业逻辑,并在链下举行证实和验证,而无需手工制作庞大的“电路”或AIR。 Cairo已经上线主网,开发人员也可以使用。
在几周内,我们将在公然的以太坊测试网上启动Alpha版本的Cairo通用证实服务(GPS)。 这将使开发人员可以使用Cairo构建自己的应用程序,实现他们想要的任何营业逻辑。 他们可以将自己的Cairo代码发送到GPS举行验证,然后在链上举行验证。
GPS实现了单个证实来确认完全星散和自力的应用程序的执行完整性,从而使这些应用程序能够摊销证实验证所消耗的gas用度。
Cairo和GPS是StarkNet的基础——我们将开发人员外部化的决定使他们可以尽早接触该手艺,不仅使他们可以最先在此手艺上构建,而且还可能影响StarkNet的生长。
我们将凭据开发人员社区的需求和反馈继续开发Cairo。 我们将通过新功效,语法和内置插件来增强该语言,以提高其可用性,并继续开发和改善Cairo工具:编译器,跟踪器/调试器以及与通用IDE的集成。
StarkNet将让Cairo在后台运行。
STARK软件客栈我们已经开发了生态系统中功效最壮大的证实系统,而且已经在主网上运行了几个月。 我们还开发了开源证实程序ethSTARK,该速率比其他证实程序快20倍; 它既提供零知识署名,又提供量子后平安署名。
我们的扩展尺度包罗在主网上的一次证实中处置30万笔买卖,在汇总吞吐量方面达到了世界纪录:300000 tps。 在此过程中,我们已经取得了汇总gas效率的世界纪录:315gas/tx,比以太坊L1的买卖廉价几个数量级。
这项手艺将成为StarkNet去中央化验证层的基石,因此,作为StarkNet开发的一部分,我们将公布更多和增强的证实(有关更多信息,请参见即将揭晓的博客文章)。
StarkExStarkEx是我们的L2扩展引擎。 自2020年6月以来,它一直为DeversiFi的客户提供主网服务。它将在未来几周内为dYdX和ImmutableX提供动力。 StarkEx可以处置庞大的买卖逻辑(现货买卖,衍生产物,NFT)以及付款。
开发StarkEx是我们扩展工具链并针对现实需求举行测试的方式。 现实应用程序和现实用户需求最能辅助工具成熟和生长。 它还可以辅助我们领会为更好地服务于生态系统而需要解决的元素,例如与钱包和区块浏览器的集成。
StarkEx是使用基于STARK的ZK-Rollup扩展应用程序功效的实时示例,而且是Cairo在主网上编写的第一个生产应用程序。 因此,它也将是StarkNet上运行的应用程序之一。
此步骤将使开发人员能够在StarkNet上构建和部署自己的可扩展应用程序。
此时,每个StarkNet实例将能够运行一个应用程序。差别的实例可以运行差别的应用程序。
StarkNet框架将包罗以下内容:
天生用于随便Cairo逻辑的STARK证实,然后在以太坊上提交和验证的机制。
与L1以太坊的交互:L1代币的存入,提取,链上数据的公布,珍爱StarkNet用户免受恶意StarkNet运营商损害的逃逸机制等。
L2用户余额以及应用程序的存储和内存的治理。
开发人员将能够完全专注于构建应用程序的营业逻辑,然后进入生产环境:在StarkNet上大规模部署和运行它。
使我们能够构建通用的可扩展ZK-Rollup的缘故原由在于:
Cairo,这是一种通用的图灵完整的编程语言
我们壮大的STARK客栈(证实者和验证者),可将大量盘算捆绑到一个证实中
阶段II——星座(Constellations):多应用汇总下一步将支持在统一StarkNet实例上运行并接见相同的全局L2状态的多个应用程序。 这将实现差别应用程序之间的互操作性,并由于规模经济的改善而降低gas成本。
Cairo,壮大的STARK客栈和GPS增强了StarkNet在支持多应用程序汇总中的竞争优势。
在此阶段,StarkNet将是一个功效完整的框架,用于运行以太坊之上具有随便营业逻辑的多个应用程序,每个实例均由一个运营商运行。
运营商现在可以启动StarkNet节点,应用程序开发人员可以在其上部署条约。 从用户的角度来看,StarkNet现在看起来和感受都像以太坊,但规模更大。
阶段III——宇宙(Universe):去中央化汇总StarkNet演进的最后一步是实现去中央化运营。
我们现在正在解决的,影响该阶段的有意义的研发问题包罗(i)使用ZK-Rollups改善杀青共识的机制,以及(ii)设计加密经济机制以激励去中央化StarkNet贡献者和运营商(买卖定序器,证实者, 等)以高效,公正,平安地运行。
我们正在构建StarkNet,一种以太坊上的基于STARK的去中央化无允许 L2 ZK-Rollup产物,而且支持基于Cairo语言的通用盘算。
StarkNet将使应用程序能够在不损害平安性的前提下举行扩展,用户支付合理的买卖费,而且整个生态系统可以大幅增进并兑现其答应。
加入新手交流群:每天早盘分析、币种行情分析
添加助理微信,一对一专业指导:chengqing930520
上一篇:一文领会流动性挖矿与DeFi治理加入新手交流群:每天早盘分析、币种行情分析,添加助理微信
一对一专业指导:chengqing930520