比特币价格·比特币行情
Ctrl+D收藏简单区块链
ads

StarkNet:基于 STARK 的免许可型 ZK-Rollup

作者:

时间:2021/2/7 19:52:25

我们的 StarkNet 开发分为 4 个阶段:

筑基(已完成)

行星:只支持单一 App 的 Rollup

星群:支持多 App 的 Rollup

宇宙:去中心化的 Rollup

我们预计在几个月内部署好 “行星”,并在 2021 年底之前完成 “星群” 和 “宇宙” 的构建。

我们正在构建的 StarkNet 是一个基于 Stark 技术的去中心化 L2 ZK-Rollup 方案,支持在以太坊上的通用计算,具有免许可性和抗审查性。该方案是使用图灵完备的 Cairo 语言编写的。

一个免许可型 L2 Rollup 可以满足开发者、用户和 StarkNet 节点的所有期望:开发者可以根据自己的商业逻辑构建应用并部署到 StarkNet 上。用户可以发送交易到 StarkNet 上执行,就像和以太坊交互那样。StarkEx 的节点和参与者将受到密码学货币的经济激励,来确保网络高效公平地运行。

所有 StarkNet 交易将会被定期打包处理,提供 STARK 证明来证明其有效性,并在以太坊上进行验证。与验证以太坊事务的计算成本相比,验证 STARK 证明所需的计算成本要小得多。因此,StarkNet 可以将以太坊的可扩展性提升好几个数量级。

由于所有 StarkNet 状态转换都将由 STARK 证明来证明,只有有效的状态转换会被以太坊接受。重构完整 StarkNet 状态所需的全部数据都将在链上发布。任何人都能运行他们自己的 StarkNet 节点。这些特性会让 StarkNet 获得堪比以太坊的安全性和免许可性。

我们的开发工作持续了 3 年,并且在将 “月亮数学(Moon Math)” 转化为以太坊上高效的生产级软件方面取得了一些重要里程碑。我们的做法是先解决难题,构建核心技术,然后逐步投入生产。我们将继续通过这种方式构建 StarkNet,直至最后阶段。

我们已经为 StarkNet 打下了一些基础。

Cairo 是图灵完备的高级编程语言和框架,可以为通用计算生成 STARK 证明。应用开发者可以使用 Cairo 定义任何商业逻辑,在链下生成证明,并在链上进行验证,而无需自己编写复杂的“电路”或 AIR。Cairo 已在主网上线,向所有开发者开放。

近几周内,我们将在以太坊公共测试网上发布 Cairo 的通用证明服务(Generic Proof Service ,GPS)的 alpha 版本。通过该服务,开发者可以使用 Cairo 构建自己的应用,实现他们想要的一切商业逻辑。他们会将自己的 Cairo 代码发送至 GPS 来生成证明,再在链上进行验证。

GPS 可以使用单个证明来证明多个独立应用的执行完整性,让这些应用可以分摊证明验证的 gas 成本。

Cairo 和 GPS 都是 StarkNet 的基础。我们决定将二者开放给外部开发者,让他们早些接触 StarkNet 技术。这样一来,开发者不仅可以开始在 StarkNet 的基础上进行构建,还能影响 StarkNet 的发展。

我们会基于开发者社区的需求和反馈继续开发 Cairo。我们会引入新的功能、语法和能够提高其可用性的内部插件来强化该语言。我们会继续开发并改进 Cairo 工具:编译器、跟踪器/调试器以及与通用 IDE(集成开发环境)的集成。

StarkNet 也会在底层运行 Cairo。

我们已经开发了整个生态系统中最强大的证明系统。这个系统已经在主网上线数月之久。我们还开发了开源证明器 ethSTARK。ethSTARK 不仅在速度上比任何证明器都要快 20 倍,而且提供抗量子计算的零知识签名。

我们的可扩展性实效(既不是推断,也不是承诺)包括,在主网上使用单个证明处理 30 万笔交易,在 Rollup 吞吐量上创下了高达 3000 tps 的世界记录。在此过程中,我们同样在 Rollup 的 gas 效率上创下每笔交易 315 gas 的世界纪录,比以太坊 L1 上的交易便宜几个数量级。

ethSTARK 将成为 StarkNet 去中心化证明层的基石。因此,作为 StarkNet 开发的一部分,我们还将发布更多增强型证明器(请关注我们后续的博客文章)。

StarkEx 是我们的 L2 可扩展性引擎。2020 年 6 月以来,StarkEx 就一直在为主网上的 DeversiFi 用户提供服务。接下来几周,StarkEx 将开始支持 dYdX 和 ImmutableX。StarkEx 可以处理复杂的交易逻辑(现货交易、衍生品、非同质化代币)以及付款。

在 StarkEx 的开发过程中,我们也亲自试用了自己开发的工具,并测试了其是否能满足现实世界的需求。没有什么比实际需求和用户更能推动工具不断走向成熟。这也帮助我们了解了生态需要我们去解决什么问题,如,与钱包和区块浏览器的集成。

StarkEx 是使用基于 STARK 的 ZK-Rollup 提高应用可扩展性的活生生的例子,也是第一个在主网上线的采用 Cairo 语言编写的应用。另外,它也是运行在 StarkNet 上的应用之一。

在该阶段,开发者可以在 StarkNet 上构建并部署他们自己的可扩展应用。

每个 StarkNet 实例都能运行一个应用。不同的实例可能会运行不同的应用。

StarkNet 架构包含以下部分:

为任意 Cairo 逻辑生成 STARK 证明、然后提交证明并在以太坊上验证所需的机制

与 L1 以太坊交互:L1 代币的存取、链上数据的发布、保护用户免受恶意 StarkNet 运营者攻击的逃跑机制

L2 用户余额以及应用存储项的管理

开发者只需专注于根据自己的商业逻辑构建应用,然后正式上线:在 StarkNet 上部署并大规模运行。

我们之所以能构建通用计算可扩展 ZK-Rollup,主要依赖于以下两点:

通用型图灵完备的编程语言 Cairo

我们强大的 STARK 技术(证明器和验证器),可以将大量计算捆绑到一个证明中

该阶段将支持多个应用在同一个 StarkNet 实例上运行,并访问同一个的全局 L2 状态。这样一来,不同应用之间将具有互操作性,而且规模经济也有助于降低 gas 成本。

强大的 STARK 栈 Cairo 和 GPS 增强了 StarkNet 在支持多 App Rollup 方面的竞争优势。

在这一阶段,StarkNet 将成为一个功能完备的框架,可以在以太坊的基础上运行多个商业逻辑不同的应用,每个实例都由一个单独的运营者来运行。

运营者可以运行 StarkNet 节点,应用开发者可以在上面部署自己的合约。从用户的角度来说,StarkNet 感觉上跟以太坊差不多,但是在可扩展性上强于以太坊。

StarkNet 发展的最后一步是实现去中心化运营。

关于该阶段,我们现在正在解决一些有趣的研发问题,包括:(i)使用 ZK-Rollups 来改进共识机制,以及 (ii)设计密码学经济机制来激励去中心化 StarkNet 贡献者和运营者(交易排序者、证明者等)高效、公平且安全地运行。

我们正在构建 StarkNet。StarkNet 是一个基于 Stark 技术的去中心化 L2 ZK-Rollup 方案,具有免许可性,支持基于 Cairo 语言的通用计算。

StarkNet 可以在不损害安全性的情况下提高应用的可扩展性,帮助用户节省交易费用,并促进整个生态系统迅猛发展、实现其承诺。

我们诚挚邀请开发者社区与我们一起踏上这一征程。

原文链接:

https://medium.com/starkware/on-the-road-to-starknet-a-permissionless-stark-powered-l2-zk-rollup-83be53640880

作者: StarkWare

翻译&校对: 闵敏 & 阿剑

我们诚挚邀请开发者社区与我们一起踏上这一征程。

原文链接:

https://medium.com/starkware/on-the-road-to-starknet-a-permissionless-stark-powered-l2-zk-rollup-83be53640880

作者: StarkWare

翻译&校对: 闵敏 & 阿剑

金色相对论 | Esther:以太坊2.0新路线图一定程度上对Staking起到助推作用:11月27日消息,在今日举行的金色相对论中,针对“对以太坊现在的“表现”有什么直观感受?此外对于新的“路线图”,是否支持?”的问题,ECN以太坊中文社区表示,与之前的路线图相比,主要有四个不同点:1) 阶段1简化为数据分片,将其作为rollup或是其他layer2方案的数据可用性层;2) 信标链将具备执行功能,当前以太坊主链能够直接合并到以太坊2.0链中,不再以分片形式并入; 3) 轻客户端、分片以及eth1和eth2的合并工作将并行推进,不再顺次实现; 4) 暂时搁置阶段2,但是保留分片执行的可能性。按照先前的路线图,用户要取出在以太坊2.0中质押的ETH,需要等到阶段2实现之后(至少2年),而新路线图的一个优势在于简化并且加速了eth1和eth2的合并过程,甚至有可能在分片之前就可以实现合并,大幅缩短了ETH的锁定时间。新路线图的另一个优势则在于能够在阶段1(数据分片)之后实现“分片+rollups”,提前为以太坊带来数千倍的吞吐量。以太坊2.0路线图的变动对目前即将启动的阶段0并没有太大的直接影响,但是根据前面的分析,新路线图可能在一定程度上对Staking起到了助推作用。[2020/11/27 22:20:40]

Stacks基金会计划向区块链开发人员授予代币奖励:金色财经报道,Stacks基金会计划很快开始向Blockstack区块链的项目授予Stacks代币奖励。基金会发言人称,奖励“将以滚动方式分发”给Stacks区块链2.0上迭代的开发人员和研究人员。据悉,本周一,Blockstack PBC向美国证券交易委员会(SEC)提交通知,称其计划通过将1亿STX代币交给Stacks基金会实现网络的去中心化。[2020/8/13]

mStable:已将所有篮子资产的最大权重降低至55%:稳定币聚合协议mStable在推特上跟进治理行动:我们已将所有篮子资产的最大权重降低至55%,这意味着USDT现在可以在增持时免费赎回。[2020/7/5]

标签:

区块链热门资讯
首发|火币DeFi Labs:去中心化永续合约 永续没有终点?

近期,去中心化永续合约交易协议受到区块链行业广泛关注,数个相关协议持续上线。Huobi DeFi Labs关注到这一市场动向并进行调研。本报告旨在讨论以下三个问题: 1. 去中心化衍生品交易市场潜在发展空间; 2. 现有去中心化永续合约协议的区别; 3. 去中心化衍生品协议上线后交易数据。

2021/2/7 20:19:21
厚积薄发的ZKSwap 引领以太坊 Layer1到Layer2的大迁徙

2020年以来DeFi成为市场上最大的风口,日渐庞大的DeFi生态受制于以太坊的性能问题。 拥堵、高额的手续费,让以太坊难以承载更大资金量的DeFi项目。 由PoW转向PoS的以太坊2.0却遥遥无期,Layer2成为现阶段最好的扩容选择。 V神曾表示会在以太坊2.0“阶段1”使用Rollup技术。

2021/2/7 19:52:20
灰度报告:Q4约有33亿美元流入 2021年加密市场将有六大趋势

美东时间2021年2月2日,灰度投资公司在推特发布其2020年Q4投资报告,内容主要分为:回顾2020年的比特币市场、展望2021年的加密市场、2020年Q4数字资产投资的亮眼成绩、总结四大部分。 灰度投资(Grayscale Investments)是全球最大的数字资产管理公司,截至2020年12月31日,其管理的资产超过202亿美元。

2021/2/7 19:46:44
金色说明书 | GoCash弹性稳定币参与教程

为了方便投资者及时了解热门项目的相关信息和使用流程,金色财经推出了“金色说明书”系列教程。本文由金色财经和Codebank、Goswap联合推出。 金色财经旗下钱包CodeBank与GoSwap已达成战略合作。

2021/2/7 19:35:45
ads