火星链 火星链
Ctrl+D收藏火星链

STA:深度解析StarkWare:欲构建ZK「宇宙」?

作者:

时间:1900/1/1 0:00:00

原文作者:hiteshmahajan

原文编译:ChinaDeFi

StarkWare是一家ZK公司,专注于为以太坊规模化构建基于ZK的rollup解决方案。他们的第一款产品StarkEx于2020年推出,并于2021年11月发布了具有更多功能的StarkNet。

StarkEx是一个独立的ZK-rollupSaaS产品,通过智能合约为某些应用提供特定的用例,如交易(dYdX)、NFT(ImmutableX,Sorare)和DeFi(DiversiFi)。StarkNet是下一个迭代,是一个无需权限、去中心化和完全可组合的网络。可组合性指的是应用程序相互连接、协调和构建在彼此之上的能力。

技术

StarkWare构建了一个新技术,将数千笔交易压缩成一个名为STARK的单一有效性证明,并提交给以太坊L1。与SNARK相比,STARK主要有两个优势:

HyperGraph与NFT-Hero达成深度战略合作关系:据官方消息,HyperGraph 与 NFT-Hero 构建战略合作关系,NFT-Hero 平台不但基于 HyperGraph 开发 NFT平台、以及自研IP超级三国的数据服务,未来NFT平台上的数据索引与查询服务以及跨链后的相关数据服务也将和HyperGraph合作开发。NFT-Hero报名 HyperGraph 数据网络节点,将第一批上线提供服务。[2021/6/3 23:07:59]

它不需要初始信任设置。

有比SNARK更快的计算时间。由于所需的计算量更少,它可以将以太坊的可扩展性提高几个数量级。

体系结构

StarkWare堆栈主要由共享证明者(SHARP)和验证者(存在于L1上)组成。SHARP捆绑了来自不同dapp的多个交易,并生成一个证明。然后它与L1上的验证者共享证明。这节省了成本,因为计算是在不同的应用程序之间共享的。验证者检查SHARP证明是否有效。如果是有效,那么它们将在FactRegistry共享。该应用程序可以与StarkEx接口或直接与SHARP(StarkNet应用程序)连接。

江苏省农科院将区块链应用于农产品质量安全的深度溯源:最近,江苏省农业科学院农业区块链产业研究院将区块链技术嫁接到农业上,保证农产品的质量安全控制与追溯。该院院长卞立平表示,区块链平台能够为每个参与农业产供销的企业或个人提供一份日志,每人都可以自由记录信息。相较于传统的生产管理和追溯系统,数据上链以后是不可以篡改的,可以大大提高数据的真实性、可靠性和安全性。此外,江苏省农科院将区块链技术应用到农产品质量安全的深度溯源上,大大提高了数据的可信度,已获得了2020数字江苏建设优秀实践项目。(扬子晚报)[2021/4/3 19:42:23]

StarkNet的L2节点(序列器)将执行每一笔交易,并定期向以太坊主网更新状态。需要注意的是,StarkNet的交易最终性与L1绑定,这意味着L2节点必须同时验证StarkNet和以太坊。StarkNet引入了一个涉及到以太坊主网检查点的解决方案,使其能够非常快速地在rollup端实现有效的终结。因此,所有L2节点都包含一个L1完整节点。

Asproex(阿波罗)与DW2100达成深度合作:据官方消息,2020年11月3日,Asproex(阿波罗)与DW2100正式达成深度合作,DW2100支持MOON直接扫码支付。此次双方强强联合,旨在为平台用户提供更为广泛、更为丰富的Moon消费场景,扩大AsproPay的支付边界。据悉,DW2100还特推出专属阿波罗1号酒,用户使用AsproPay支付时可享受专属折扣。

DW2100是由数字工场、TODO BLOCK、彼岸花资本共同打造的行业资源直通平台和高端商务私人会所,同时又是一家专业的鸡尾酒、威士忌、雪茄吧和网红打卡圣地。据悉,DW2100目前还正在紧张筹备另外一家中国风夜店,旨在推广国潮文化的同时也为行业提供千人规模以上的活动平台。

Asproex(阿波罗)作为一家离岸银行控股持牌交易平台,涵盖CTO(Corporate Token Offering)企业通证上市、合约跟单、ETT指数通证、数字矿业、Digital Bank板块并持有5国合法牌照,致力于为全球中小微企业提供数字化上市一站式服务。[2020/11/3 11:32:33]

此外,由于状态转换是由序列器「STARK-approved」的,从加密的角度来说,欺诈交易不可能在以太坊主网上被接受。这消除了存在于OR中的「挑战」周期的必要性。所有重建StarkNet状态所需的完整数据都发布在链上。

声音 | 临沂市政府:推动大数据与云计算、区块链等技术深度融合:据琅琊新闻网报道,日前,临沂市政府印发《关于贯彻落实〈数字山东2019行动方案〉推进数字临沂建设的实施方案》。方案指出,发挥数据的基础资源和创新引擎作用,推动大数据与云计算、人工智能、物联网、区块链、虚拟现实等技术深度融合。[2019/8/15]

数据可用性

StarkNet使用Validium机制来实现数据可用性。它与ZK-rollup几乎相同,只是它保持数据在链下,而ZK-rollup和OptimisticRollup(OR)保持数据在链上。Validium只在L1上发布有效性证明,同时保持数据在链下。这使得Validium能够实现相当高的吞吐量,并降低每个交易的成本。

在链下存储数据的代价是,它需要对第三方的信任,这可能会阻止用户访问他们的余额。StarkWare的目标是通过数据可用性委员会(DAC)解决这个问题,该委员会由8个独立成员组成,他们拥有交易的副本。他们还需要通过使数据在任何时候都可用来维护这些数据。如果运营者阻止用户使用他们的资金,委员会成员将确认他们的请求是否有效。

动态 | 2018年中国银行业‘十件大事’:“银行业深度融合金融科技 充分运用区块链等技术”入选位列第八:据新京报报道,中国银行业协会在京发布“2018年中国银行业‘十件大事’发布会”,其中第八件大事为,银行业深度融合金融科技,相继成立金融科技子公司,数字化赋能重塑业界生态。内容包括,银行业深度融合金融科技,充分运用互联网、大数据、人工智能、区块链、物联网等技术,推进数字化转型升级加速,实现“服务智能化、业务场景化、渠道一体化、融合深度化”。[2019/1/8]

StarkWare还计划实施一种Volition机制,用户可以选择是否需要在链上发送数据。它将数据可用性的决策从应用程序级别转移到用户级别,甚至对于单个交易也是如此。如果用户想要在链上发送一个包含所有数据的高价值NFT,他们可以支付额外的成本来将其转移到链上。这将通过ImmutableX和Sorare来实现。

Cairo编程语言

新技术带来新要求。Cairo是专门为STARK构建的一种图灵完备的编程语言。它在性能和可扩展性方面更好,但这是非常新的。许多开发人员不熟悉它,这使得现有的应用程序很难迁移到StarkNet上。由Nethermind开发的Warp是Cairotranspiler的EVM。Warp允许将Solidity合约无缝转换为Cairo。

Cairo语言的一个突破在于,它只允许一个验证者使用一个证明来确认许多不同程序执行的完整性。

StarkNetVsOR

与OR的7天等待时间相比,StarkNet不仅有更快的提款窗口,而且底层架构也有所不同。StarkNet使用的是「无状态」,你只需要在L1上存储整个状态的状态根,用户需要提供Merkle证明来访问特定的状态项。OR遵循一个「有状态」的解决方案,其中每个状态项都被记录在链上。这将导致更大的状态膨胀,并可能在未来被采用时会被证明不能很好地扩展。

就从可扩展性的角度来看,ZK-rollup比OR的性能更高,因为它们更有效地压缩数据,这意味着提交给L1时,它们的「批次大小」更小。OR的每笔交易都将数据发布到以太坊L1上,StarkEx只发布到以太坊L1以反映每个账户余额。由于这种方法,dYdX与L1的交互仅为Optimism的20%,相当于大约减少了90%的费用。

生态系统

StarkWare生态系统正在成长。随着在StarkNet上部署无需许可,许多开发者都表现出了兴趣。StarkEx的开放生态系统和丰富的文档使开发人员很容易实现它。在StarkNet上进行DeFiPooling是可能的。它允许用户在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提供有效的解决方案来扩展以太坊。这是一个值得期待的项目。

原文链接

标签:ARKSTARKSTASTARBarkisStarkMetaNintia Estatestar kay Chain

以太坊最新价格热门资讯
RED:DIKI生态农场游戏简介

DIKI是由新西蘭知名動畫工作室HuhuStudios與北美遊戲開發&經營商ActivisionBlizzard以動畫《DIKI》命名.

1900/1/1 0:00:00
数字资产:ZT創新板即將上線KXA

親愛的ZT用戶:ZT創新板即將上線KXA,並開啟KXA/USDT交易對。具體上線時間如下:充值:已開啟;交易:2021年12月4日16:30;KXA項目簡介:Kryxivia是一款奇幻3DMMO.

1900/1/1 0:00:00
加密货币:冷风说币:7月震荡反弹为主,踏准节奏高抛低吸!

市场消息7月5日加密借贷平台CelsiusNetwork再次偿还6400万美元的比特币贷款,在此之前该平台已经偿还了5000万美元的比特币贷款.

1900/1/1 0:00:00
COIN:交易员的交易数据都是真实的吗?

所有交易员的交易是真实存在且交易员绝大部分都是经验丰富的达人。每个下单数据都是交易员真实账户的交易数据.

1900/1/1 0:00:00
GLO:Huobi Global Will List SRT (Smart Reward Token) on July 7, 2022

DearValuedUsers,HuobiGlobalisscheduledtolistSRT(SmartRewardToken)onJuly7.

1900/1/1 0:00:00
APP:金色晚报 | 7月1日晚间重要动态一览

12:00-21:00关键词:Ankr、DappRadar、Finblox、马斯克、ARK基金1.Web3基础设施协议Ankr的Polygon和FantomRPC服务疑遭劫持;2.

1900/1/1 0:00:00