欢迎访问本站!

首页科技正文

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

admin2021-02-2184

USDT第三方支付

菜宝钱包(caibao.it)是使用TRC-20协议的Usdt第三方支付平台,Usdt收款平台、Usdt自动充提平台、usdt跑分平台。免费提供入金通道、Usdt钱包支付接口、Usdt自动充值接口、Usdt无需实名寄售回收。菜宝Usdt钱包一键生成Usdt钱包、一键调用API接口、一键无实名出售Usdt。

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

我们预计在几个月内部署好 “行星”,并在 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

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。

STARK 软件栈

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

我们的可扩展性实效(既不是推断,也不是答应)包罗,在主网上使用单个证实处置 30 万笔买卖,在 Rollup 吞吐量上创下了高达 3000 tps 的天下纪录。在此过程中,我们同样在 Rollup 的 gas 效率上创下每笔买卖 315 gas 的天下纪录,比以太坊 L1 上的买卖廉价几个数量级。

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

StarkEx

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

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

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

,

usdt收款平台

菜宝钱包(caibao.it)是使用TRC-20协议的Usdt第三方支付平台,Usdt收款平台、Usdt自动充提平台、usdt跑分平台。免费提供入金通道、Usdt钱包支付接口、Usdt自动充值接口、Usdt无需实名寄售回收。菜宝Usdt钱包一键生成Usdt钱包、一键调用API接口、一键无实名出售Usdt。

,

展望未来

行星:只支持单一 App 的 Rollup

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

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

StarkNet 架构包罗以下部门:

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

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

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

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

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

  • 我们壮大的 STARK 手艺(证实器和验证器),可以将大量盘算捆绑到一个证实中

星群:支持多 App 的 Rollup

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

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

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

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

宇宙: *** 化 Rollup

StarkNet 生长的最后一步是实现 *** 化运营。

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

总结

我们正在构建 StarkNet。StarkNet 是一个基于 Stark 手艺的 *** 化 L2 ZK-Rollup 方案,具有免允许性,支持基于 Cairo 语言的通用盘算。

StarkNet 可以在不损害安全性的情况下提高应用的可扩展性,辅助用户节约买卖用度,并促进整个生态系统迅猛生长、实现其答应。

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

网友评论