网站首页 > 保险知识 >

StarkWare深度解析:想构筑ZK“宇宙”吗?

2023-04-14 17:41:14 保险知识 阅读 0

Bitget下载

注册下载Bitget下载,邀请好友,即有机会赢取 3,000 USDT

APP下载   官网注册

StarkNet似乎解决了区块链的三难困境。 可扩展性、区块链技术和安全性,三者可以一起产生。

StarkWare是ZK企业为了以太坊产业化,正在致力于构建基于ZK的rollup解决方法。 其首款产品StarkEx于2020年发布,2021年11月发布了功能更多的StarkNet。

StarkEx是一种单独的ZK-rollup SaaS产品,基于区块链的智能合约,为一些操作提供相应的测试案例、交易(dYdX )、NFT ) immutablex、Sorare )、defi ) diversifi )等。 StarkNet是下一个迭代更新,是管理权限、块链技术和可充分配置的因特网。 协作性是指APP应用程序超越相互连接、融洽、相互构建的能力。

技术

StarkWare构建了创新技术,将上千笔交易转换为STARK这一单一的实效性实证,强调指出要交给以太L1。 与SNARK相比,STARK主要有两个优点。

不使用原始信任设置。

有比SNARK更快的时间计算。 因为所需的计算量越来越少,通过太坊的可扩展性可以提高多个订单。

系统体系结构

StarkWare本地变量的密钥由共享验证者SHARP和验证者[在L1上]组成。 SHARP将来自不同dapp的一些交易捆绑在一起,形成了一个实证。 然后与L1的认证者共享证明。 这样可以在不同的程序之间共享计算,从而降低成本。 认证者确认SHARP是否有效。 如果合理的话,他们会在Fact Registry上共享。 该程序可以连接到StarkEx套接字或同时连接到sharp (stark net APP应用程序)。

StarkNet的L2连接点(代码定序器)执行所有交易并按时升级到以太网主机。 需要注意的是,StarkNet的交易最终与L1相关,这意味着L2连接点一定与此同时对StarkNet和以太网进行认证。 StarkNet引入了与以太网主网络控制点相关的解决方案,使rollup端能够足够迅速地完成合理的退出。 因此,所有的L2连接点都包含L1的详细连接点。 除了

之外,由于状况变换是通过代码定序器" STARK-approved "进行的,因此从数据加密的观点来看,欺诈交易在以太网上被接受的可能性很低。 这消除了OR中存在的“考验”循环时间的必要性。 重建StarkNet所需的所有详细数据都向链公开。

数据信息易用性

StarkNet应用Validium体制完成了数据信息的易用性。 与ZK-rollup基本相同,只有它在链条下保持着数据然后,ZK-rollup和optimisticrollup(or )将数据保留在链上。 Validium只在L1上公布了实效性的实证,同时将数据维持在链下。 这样,Validium就可以达到非常强大的货运量,降低每笔交易的成本。 在

链下存储数据可能需要信任第三方,从而阻止客户查看帐户余额。 StarkWare的目标是基于数据信息易用性联盟(DAC )摆脱困境。 该协会由8个独立的小组成员组成,有交易的团体。 她们还基于随时可以将数据信息用于维护的数据信息。 如果运营者阻止了客户资产的应用,委员会成员将确定该请求是否有效。

StarkWare还将引入Volition机制,允许您选择是否需要在链上传输数据。 将数据信息易用性决策从APP级转移到客户级,甚至转移到单个交易。 如果客户需要在链中推送包含数据信息的高使用价值NFT,他们可以为迁移到链支付额外的成本。 这是基于ImmutableX和Sorare完成的。

Cairo计算机语言

新技术的应用产生了新的要求。 Cairo是为STARK专门构建的图灵完整的计算机语言。 虽然在特性和可扩展性方面更好,但这也是非常新的。 由于许多开发人员不熟悉它,因此很难将当前的APP应用程序迁移到StarkNet。 Nethermind开发设计的Warp是Cairo transpiler的EVM。 Warp允许将Solidity合同无缝更换为Cairo。

Cairo语言表达的提高依赖于允许一个认证者用一个实证来判断许多不同程序运行的健全性。 [ xy 002 ] [ xy001 ] starknetvsor [ xy 002 ] [ xy001 ]和or的7天等待时间的比较,StarkNet不仅有快速取现对话框,最底层的框架也各不相同。 StarkNet使用“无状态”,所有情况的状态路由都必须保存在L1,要浏览指定的情况项目,使用者必须向Merkle授权。 根据OR“有状态”的解决方法,每个状况项目都被记录在链中。 这将带来更高的情况,将来被选中时将被证实无法顺利扩张。

从可扩展性的角度来看,ZK - rollup的功能比OR高。 因为他们更有效地缩小了数据信息,这意味着在提交到L1时,他们的“批量”更小。。 OR的各交易向以太体L1公开数据,StarkEx只向以太体L1公开以表达余额。 由于这些方式,dYdX和L1的交换仅为Optimism的20%相当于削减约90%的成本。

生态系统

StarkWare生态系统正在生长。 随着在StarkNet上的配置未获批准,很多开发者都感兴趣。 StarkEx的对外开放生态系统和充足的文本文档使开发人员可以轻松完成它。 可以在StarkNet中展开DeFi Pooling。 允许客户存储在L2上,而 DeFI 依然在它产生的 L1 上,很多令人兴奋的物品已经被构建。StarkNet 上早已出现了很多手机游戏和 NFT 娱乐项目。

StarkNet遵循接近Optimism的线路。 使用一个可编程控制器和相对有限的dapp许可证管理,尽快运行互联网,限制运营和风险。 最后,StarkWare期待在将生态系统发展趋势转化为StarkNet“太空”的同时,将互联网、连接点、基础设施建设成区块链技术。 有些L3会变成L2以上。 除此以外另外,附加层(例如L4 )可以创建在L3上的波采分层解决方法。

结果

StarkNet似乎解决了三个困境:可扩展性、块链技术和安全。 三者同生。 展示了应用ZK -rollup扩大以太坊市场的前景。 以太坊已经拥有以rollup为中心的未来,客户通过L2进行交易,L1为清算层。 EIP-4488将进一步降低rollup的交易成本。 许多StarkNet的应用似乎是强大的L2的未来竞争对手,因为Cairo是一种不受开发人员欢迎的新语言我们需要观察一下StarkWare是多么优秀的人才。 对于Validium,您应该信任L2的易用性。 虽然有这样的考验,StarkWare已经展示了如何使用STARK给出合理的解决方法来扩展以太体。 这是一个不容错过的新项目。

相关内容

StarkWare深度解析:想构筑ZK“宇宙”吗?文档下载.: PDF DOC TXT

猜你喜欢