StarkNet:深度解读StarkNet:技术风险、经济模型与评论_starknet币价分析

原文作者:郑金城,新跃社科大学研究员,全球金融科技学院、Biteye建设者,OceanViews专栏作家;李国权,新跃社科大学教授,新加坡经济协会副会长,全球金融科技学院主席

原文编辑:Biteye核心贡献者Crush

Arbitrum空投的财富效应点燃了市场对L2的信心,纷纷布局还未发币的L2。而?80?亿美元高估值的StarkWare自然是备受瞩目。

那么?StarkWare?是有什么独特的技术值得各大机构热捧?旗下的?StarkNet?想要解决问题?我们将在本文中一一道来。

ARKs,StarkEx,StarkNet

1.1STARKs

STARKs是一种可以证明和验证计算的证明系统,旨在提高以太坊的扩展性。

它允许将大型计算从链上转移到链下以降低成本,为计算的正确性生成证明,然后在链上进行少量的计算来验证证明。即验证者通过在链上执行非常少的操作来判断链下完成的计算的完整性。

L2通过?STARKs?技术将多笔交易打包在一起进行数以千计的计算,然后使用单个?STARK?证明在链上验证它们的有效性。

该批次内的所有交易共同分担链上处理的成本,从而在继承以太坊安全性的前提下降低了?Gas?成本,改善用户体验。这模式与共享的士的用户平摊路费相似。

SNARKs是一个简洁的非交互式的证明。STARKs和SNARKs都是?ZKRollups的解决方案。

SNARKs和STARKs对比

相比SNARKs,STARKs?具有以下三个优势:

1.去信任

STARKs公开可验证随机来取代?SNARKs?的可信设置,减少对参与人的依赖,提高协议安全性。

横琴粤澳深度合作区:利用好澳门平台打造元宇宙NFT确权出海交易中心:金色财经报道,横琴粤澳深度合作区执行委员会副主任聂新平在接受媒体专访时表示,横琴合作区发展元宇宙有四个独特优势:一是政策的优势,二是开放的优势,三是场景的优势,四是技术的优势。利用高效便利的创作者工具来推动元宇宙创作者经济的发展,推动 IP的二次加工和交易,在这个基础之上,利用好澳门这个平台,打造元宇宙的一个NFT确权出海交易中心。(人民日报客户端)[2022/9/27 22:32:35]

2.更强的扩展能力

STARK具有验证的对数压缩特性,即使底层计算的复杂性呈指数级增长,STARKs?依然保持了较低的证明和验证时间,而非像?SNARKs线性增长。

3.更高的安全保证

STARKs使用抗碰撞哈希值进行加密,可抗量子计算的攻击。

但是?STARKs的证明尺寸比SNARKs大,因此L2交易量较低时就会难以分摊证明成本,出现较大的确认延迟。但是当证明规模增加,使用?STARKT?的边际成本会递减,适合大规模应用。此外,相对于?SNARKs,目前?STARKs?采用率不足,基础工具还有待完善。

L2Rollups除了ZKRollups,还有?OptimisticRollups。以下是两种方案的对比。

1.2StarkEx

StarkEx是一个需要许可的、为特定应用程序定制的扩展解决方案的框架。项目可以使用?StarkEx?来进行低成本的链下计算,生成证明执行正确性的?STARK?证明。

这样的证明包含12,?000?–?500,?000笔交易。最后将证明发送到链上的STARK验证器,验证正确后接受状态更新。

StarkEx提供了?3?种数据存储方式。在ZK-Rollup模式下,数据存储在链上,使数据去中心化,便于用户跟踪和监督。

分析师:BTC价格逼近2.5万USDT 没有理由看到深度修正:加密货币分析师Joseph Young刚刚发推称,BTC价格逼近25000USDT,没有理由看到价格深度修正。一旦23000USDT成为支撑,价格将飙升。[2020/12/26 16:33:55]

然而,在链上发布数据的成本高。在Validium模式下,数据存储在链下,低成本且不会把数据公开暴露。

但需要数据可用性委员会来监督数据是否得到妥善处理。Volition是一种混合数据可用性模式,用户可以选择将数据放在链上还是链下。

在StarkEx上部署的应用程序包括永久期权dYdX、NFTL2Immutable、体育数字卡牌交易市场Sorare和多链DeFi聚合器?rhino.fi。

StarkEx适用于独立运行且适合StarkExAPI的协议。

智能合约。部署在StarkNet上的合约之间可以进行交互来构建新的可组合协议。

与应用程序负责提交交易的StarkEx不同,StarkNet的排序器批量交易并发送它们进行处理和证明。

StarkNet更适合需要与其他协议同步交互或超出StarkEx应用范围的协议。随着?StarkNet?开发的进展,基于?StarkEx?的应用将能够移植到?StarkNet,享受可组合性。

1.5SHARP(sharedprover)共享证明器

SHARP技术允许来自StarkEx的不同应用以及StarkNet上发生的交易合并成一个证明,更快填满STARK证明的容量,提高交易处理速度并且分担验证L1证明的gas成本。

rkNet经济模型

StarkWare?已经在链下铸造了?100?亿个?StarkNet?代币。但是这些代币并不代表?StarkWare?的股权,也不提供任何参与?StarkWare?的权利或赋予任何向?StarkWare?提出索赔的权利。

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]

StarkNet?代币可以作为原生代币支付?Gas?费用,相比其他使用ETH做给?Gas?费用的L2,StarkNet?代币更能捕获生态价值,且降低了?ETH?这外生代币带来的冲击。

分配给核心贡献者和投资者的代币有一年的等待期和四年的锁定期,线性释放。

StarkWare.https://medium.com/starkware/part-3-starknet-token-design-5cc17af066c6?)

StarkNet明确给开发者和过去?StarkEx?用户奖励,但未明确?StarkNet?用户是否有空投。首次代币分配中有?8.1%?的代币还未决定用途,具体方式由社区决定。

ChainUP全球市场负责人:深度布局IPFS领域 助力Filecoin未来应用场景早日落地:7月25日,“IPFS中国行 第4站·深圳站:拥抱新基建浪潮,解读IPFS价值”活动拉开帷幕。在活动中,ChainUP全球市场负责人Jade Chen向听众介绍了ChainUP在全球提供的技术服务与其开发的“云交易所”等产品的核心优势。她还表示,IPFS 将引领互联网迈向 Web 3.0,在Filecoin项目生态的巨大潜力和风口之下,ChainUP已成立2000万美元的IPFS专项基金,并且联合金色财经推出了算力销售平台“金色云算力”,旨在为用户提供便捷安全的挖矿服务。同时希望能够借此机会,深度布局IPFS领域,助力Filecoin未来的应用场景早日落地。[2020/7/25]

因此笔者猜想这部分代币有可能用于奖励?StarkNet?用户。此外,部署合约的项目方在获得空投奖励后,有可能会给应用的用户分配空投,反馈早期支持者。因此,用户可以根据需要正常使用StarkNet上有价值的应用。

rkWare融资情况

根据Crunchbase的数据,StarkWare在七轮融资中总共获得?2.825?亿美元。

AlamedaResearch追加?950?万美元投资。但是?AlamedaResearch已于?2022?年?11?月破产,这笔投资是否收到存疑。

以太坊基金会的拨款树立了?StarkWare?的正统性。

04?创始人

UriKolodny

Uri是StarkWare的联合创始人兼首席执行官,也是其董事会成员。

他拥有希伯来大学计算机科学学士学位和麻省理工学院斯隆管理学院的?MBA?学位。Uri?是一位连续创业者,曾共同创立了几家科技公司,包括?Mondria。

声音 | 工信部总经济师王新哲:要加快推动人工智能和区块链等技术的深度融合:11月30日,人工智能产业共同体青岛会议在青岛国际会议中心召开。工业和信息化部总经济师王新哲在会上表示,坚持创新引领,着力突破关键核心技术。打造协同开放的创新平台,建立开放、包容、多元的创新生态,加强人工智能相关理论、前沿技术和核心算法研究,突破关键核心技术。加快人工智能和5G、大数据、区块链、工业互联网、车联网等新一代信息技术的深度融合,推动集成创新和融合应用。(人民网)[2019/11/30]

之前,Uri?还曾在两家以色列风险投资公司帮忙孵化项目,并在麦肯锡公司担任分析师。

zkSync、Optimism、Arbitrum因为其受到的关注度被称为L2的四大天王。

Vitalik在?ETHSeoul期间表示,虽然OptimisticRollups?更加发达,但?ZKRollups?技术的基础将使其最终能够取代OptimisticRollups。虽然?ZKRollups速度更快,但它们缺少以太坊虚拟机(EVM),这使得运行?dApps?具有困难。因为?EVM是?dApps?的主要处理单元。所以基于?ZK?的?Rollups?正在开发兼容?EVM?的方案。如果开发进程缓慢,则?ZKRollups有可能失去先发优势,让?OptimisticRollups?稳坐宝座。这类似于以太坊和其他L1之间的竞争,虽然以太坊的性能不是最好的,但是凭借先发优势牢牢吸收住最多的资金和最优秀的开发者。

StarkNet?不仅面对采用?OptimisticRollups?的L2竞争,也面对同样采用?ZKRollups?的L2竞争。根据?EshitaNandini?的总结,目前有多个L2正在构建?ZKEVM。

Messari,SUSSNiFT)

Type-1?是?ETH?等效,可?100%?无缝使用?EVM基础设施,但证明过程很缓慢。Taiko?通过在零知识证明生成前快速确认最终性来减轻这一缺点。

具体方式即只需证明过去状态?X?有效,且在?X?之后没有来自账户?A?的交易,因此用户可以提取其在状态?X?中的代币。目前已经完成alpha-2中测试了去中心化证明和协议经济学,其中有?126?位独立证明者,已证明了?93,?146个区块,证明时间在?130?到160秒之间。

Taiko?目前已经弃用了?alpha-2,并将在第二季度推出alpha-3?。由于Type-1zkEVM在实现等效性方面毫不妥协,具有较大的复杂性,今年可能不会有主网。

Type-2EVM?等效,证明速度相对?Type-1?改善,但仍旧慢。Type?2是?Scroll,Linea?的目标,PolygonzkEVM?已经实现。

PolygonzkEVM?主网Beta版本已经于?3?月?27?日如期上线。在主网Beta的第一阶段,专门的安全委员会将能够快速升级PolygonzkEVM。在第二阶段,将采取一系列措施,以确保在出现任何问题时用户能够得到保护,但权力下放程度更高,并且没有具有特权访问权限的安全委员会。

GasFee以ETH支付,预计未来PolygonzkEVM中的质押和治理将使用MATIC代币,此外,PolygonzkEVM通过ERC-4337支持帐户抽象,将允许用户使用任何代币支付费用。

Scroll和以太坊基金会一起开源开发?zkEVM,将通过并行计算和证明外包给旷工来缩短证明时间。Scroll?处于?Alpha?测试网阶段,可以进行跨链和转账,已经无障碍运行两个月,预计二季度上线主网。

3?月?28?日,ConsenSys宣布将ConsenSyszkEVM重塑为Linea,目前向所有开发人员、用户或协议开放测试。Linea通过MetaMask和Truffle等原生集成,将零知识证明与EVM等效性相结合,为开发者提供灵活性和可扩展性,无需?ZK?技术专业知识。

Linea采用多证明人系统,当代码中存在漏洞时,多重签名可以强制执行特定结果。通过这个系统,一个rollup将利用几种具有不同安全级别的证明机制,以消除单证明人rollup存在的单点故障风险。

Type-3几乎?EVM?等效,更快的证明,但部分?app?需要重新开发。Type?3?是?Scroll?目前所处的过渡阶段。Kakarot?是一个用?Cairo?编写的?zkEVM,作为?EVM?字节码的解释器,最终可能成为?StarkNet?上的L3,目前归类?Type-3?。

Type-4,将用高级语言如?Solidity?编写的智能合约源代码,编译成?ZK-SNARK?友好的语言。证明速度很快,但不太兼容。

zkSyncEra?已经上线,对普通用户开放。目前分担?zkSyncgasfee?的用户不多,因此交互成本较高,部分项目方对?gasfee?进行了补贴。由于?Arbitrum?空投的财富效应,社区用户交互热情高涨,但是目前?zkSync?上土狗项目居多,发生了多起?rugpull?事件。

StarkNet使用Warp作为Solidity到Cairo的编译器。StarkNet是目前唯一一个将其排序器和证明器去中心化的zkEVM。但目前?StarkNet?还未发布生产级别版本,只适合用户小额交互体验,任务常常执行失败。

Vitalik?还提出了?Optimistic?和?ZK?混合的模式。zkEVM成熟之前,发布区块链等待?24?小时,如果没有欺诈挑战就发布零知识证明,确定区块。如果有挑战,就引入治理,通过?2of3?模式裁定。

如果零知识证明时间能大幅缩短,另外一种混合模式就以发布零知识证明为主,只有当零知识证明未能正常发布,才使用OptimisticRollup。这既可能会是StarkNet的一条可选发展路径也可能会使竞争方式。

06?总结

StarkNet采用了基于STARK的Rollup路线,虽然该方案相对于其他方案在去中心化、去信任、抗审查等方面有明显的优势,但是由于该方案的开发工具尚不成熟,研发难度也很大,性能还有待提升。

此外,虽然StarkNet已经得到了机构投资者的支持,但目前仍处于试用阶段,尚未完全成熟。StarkNet下一阶段的重点是将现在由?Python开发的sequencer升级为由Rust进行开发,提高区块链的性能。

此外是提高生态内项目的丰富度和成熟度。加密原生用户可以去体验生态内项目,但需注意项目的风险,选择参与前需要进行充分的风险评估。

虽然StarkNet具有抗量子攻击的特性,但是否会成为扩容的终局还有待观察。因此,对于StarkNet的未来发展,我们需要持续关注和评估。

区块链的安全性是整个生态系统的重中之重,底层基础层的安全性绝不能被忽视、妥协、让步、或折衷,否则整个生态系统与账本将会失去用户的信任。

因此,在基础层的设计中,需要选择最为安全的共识算法,即使它的能源消耗可能很高。这个问题可以通过采用类似在纳斯达克上市的?IrishEnergyLimited?所倡导的可再生能源挖矿来解决。

相比之下,第二层的中心化程度可以更高,以实现更高的效率和灵活性。不管是底层还是上层,都需要遵循合理的设计原则,以确保整个生态系统的安全性和可靠性。

任何依赖于以太坊基础层安全性的第二层或应用,都必须对基础层的共识算法有充分的信心,确保其安全性不受损害。这可能是社区面临的最大系统性风险。

免责声明:

本文使用了ChatGPT进行内容增强。ChatGPT是一种人工智能语言模型,它基于先进的技术进行训练,并可以生成人类可理解的语言。以上StarkNet分析内容仅供读者了解和学术研究使用,并不构成任何投资建议。

任何人不应将此作为投资决策的唯一参考,亦不应据此进行任何交易操作。本文所包含的信息不保证准确性、完整性、及时性或适用性,读者应自行评估并承担由此产生的风险。

作者、出版方或任何相关方均不对因读者根据本文所得出的结论或决策而产生的任何损失或损害承担任何责任。读者应在任何投资前请咨询专业顾问或按照自己的独立判断作出决策。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

[0:0ms0-4:39ms