StarkWare:探索低成本计算的用例_STARK:StarkNet

Starknet带来哪些新用例,开发者应如何善加利用?

高昂的计算成本阻碍区块链的普及和用例以太坊L2RollupStarknet可实现低成本计算新用例:日常交易、改进的预言机、全链游戏等Starknet已在主网上线,处理了数百万笔交易EIP-4844集成有望进一步改进和降低成本Realms、Influence和Dojo等项目致力于在Starknet上开发区块链游戏AI机器学习与可验证推理、链上模型集成和可验证训练集成的可能性Starknet的未来专注于性能、用户体验、提升吞吐量、减少延迟和降低费用开发人员可以通过Starknet之书来了解Cairo并在Starknet上进行构建2021年牛市每个人都在讨论加密货币并在以太坊上发起数百万笔交易时,gas价格高达200gwei甚至更高。也就是说,如果你要在以太坊上转账10USDC,gas费用可能就需要花费50多美元。这并不划算。

随着越来越多新用户进入区块链,区块空间的需求猛增。以太坊上的gas价格飙升,暴露了单体区块链的局限性。大众需要更好的解决方案,但技术还没有准备好。

为解决这个问题,「二层」解决方案出现了向模块化设计的转变,这是一组建立在基础区块链上的技术,可以提高可扩展性和成本效益。Polynya的文章称,「所有有价值的区块链在未来几年都会以某种方式摆脱纯粹的单体链,比特币这种不需要扩展性的除外。」

Coinbase将于3月7日23点上架Liquid Staked ETH(LSETH)交易:金色财经报道,Coinbase 公告称将在以太坊网络(ERC-20 代币)上增加对 Liquid Staked ETH (LSETH) 的支持。如果满足流动性条件,交易将于北京时间 2023 年 3 月 7 日23点或之后开始。上周,Coinbase将Liquid Staked ETH(LSETH) 列入上币路线图。[2023/3/7 12:45:37]

Starknet有效性证明Rollup大大降低了计算成本,是L2解决方案的领军者。在本文中将探讨高昂的计算成本如何阻碍了区块链,再详细研究通过Starknet的低廉计算成本可能实现的几个新用例。

以太坊L2

在以太坊上已经开发出各式各样的L2,主要划分成三种解决方案:乐观证明、零知识证明和状态通道。

扩容证明的优势在于这些方案的安全性源自以太坊L1。但它们同时提供比主网更快的交易速度和更低的执行成本。通过在L1链下完成计算实现该优势,只需要定期将L2状态打包发送到主网上。

什么是Starknet??

由StarkWare开发的Starknet是采用STARK加密系统降低计算成本的有效性证明方案。

StarkNet生态钱包Braavos在测试网上线Multi-Signer功能:2月21日消息,StarkNet生态自托管钱包Braavos已经在测试网上线Braavos Multi-Signer,允许使用来自2个不同设备的2个密钥保护用户账户。[2023/2/21 12:19:53]

目前,Starknet主网的交易成本已经远低于以太坊。在v0.13.0版本中引入Volition有望进一步降低Starknet交易成本。目前Starknet主要交易成本的95%来自以太坊L1交易成本。除引入Volition外,一旦完成EIP-4844在L1实现,团队也将尽快推进升级调整。鉴于上述两项升级。预计交易成本将显著降低。

高昂计算成本带来的局限性

除了代币转账费用高得离谱之外,高昂计算成本还伴随着其它问题。现如今仍有许多应用程序因高昂计算成本而受到限制。且随着区块链技术不断发展,复杂计算的需求也在增加。高昂计算成本限制了去中心化应用的增长和采用。例如:

日常交易:「加密货币即现金」的期望尚未实现。抛开监管不确定性外,缺乏主流日常采用的关键原因之一是高昂的交易费用,没人愿意为一杯2美元的咖啡支付1美元交易费用。预言机:鉴于其自身固定的设计和原则,区块链无法检索链下现实生活的数据。为了获取诸如股票价格、天气、体育比赛结果等数据,采用了称为预言机的特殊应用程序。预言机定期在链上发布数据,智能合约可以检索这些数据。但由于过高的交易成本,预言机无法定期在链上发布数据,通常要间隔很长时间发布。获取的链上数据变得过时,并可能导致智能合约做出错误决策。这就造成无法提供与Web2相媲美的交易体验。此外,由于高昂的执行成本也让任何类型的数据聚合或额外计算都变得难以企及。治理:链上治理或链上投票有效地让决策过程变得透明和去中心化。目前来说,要进行链上投票,选民需要通过发送交易来投票。然而,要实现去中心化治理,就必须频繁且迅速地做出有效决策。而由于计算成本高昂,投票太贵了,所以大家都不投票。链上投票成了一种低效的投票系统。许多项目也因此选择了链下治理,破坏了区块链原本的目的。游戏:说到链游,就会想到曾风靡一时的AxieInfinity。在SkyMavis开发的这款游戏中,游戏角色Axie以NFT的形式出现。然而,游戏逻辑的运行方式和传统游戏类似,都是在中心化的服务器上。游戏要求玩家在短时间内做出许多决定,每个决定都代表着某种交易。而根据玩家的决定,游戏情节会发生变化,这需要大量的计算。这种昂贵计算的限制导致像CryptoKitties和AxieInfinity这样的游戏只具有有限的链上组件。然而,这些游戏通过将自己宣传为「Web3链游」,在巅峰时期实现了数十亿美元的市值,但其实不能代表真正的区块链游戏。通过低成本计算成本打开新用例的大门

跨链协议StackOS即将在Ignition平台进行IDO:跨链协议StackOS将于4月23日在PAID Ignition平台进行IDO。Galaxy Pool将于UTC时间4月23日11点(北京时间19点)开放,Moon Pool将于UTC时间11:30(北京时间19:30)开放。[2021/4/23 20:52:28]

然而,如果可以实现低成本计算,就可以开启一组新的区块链用例。Starknet已在主网上线,每天处理数万笔交易。如前所述,一旦集成了EIP-4844,交易成本还会下降几个数量级。

来看看Starknet上的低成本计算所支持的一些用例。

负担得起的交易和帐户抽象

随着低成本链上计算的引入,预言机与现在相比会大不相同。

首先,频繁更新预言机喂价变得可行,因为单个交易的成本降低了很多。数据投送更加准确,且为用户提供更多用例,以根据这些数据建立市场。

由于Starknet是一条Rollup链,需要定期在以太坊主网上发送承诺来更新Rollup的状态。这种承诺是用户在L2上支付交易费用时的主要成本。但Rollup必须只把最新状态提交给L1。在单个区块中多次覆盖同一个存储槽不会产生高存储成本。在预言机的用例中,如果某些变量在同一承诺内频繁更新,L1成本仍等同于单次写入,因为只有最终状态作为调用数据发布到主网。

WeStarter上初始兑换项目Fixed(FIX)1小时HT参与金额约7668万美金:3月10日,WeStarter.org公开兑换池项目Fixed-Rate Protocol上线1小时参与金额4562664.4个HT,共计约7668万美金,超1845.59倍完成。FIX兑换时间将在SGT3月10日22:00进行,请用户即时领取。

Fixed-Rate Protocol是智能化稳定保底产品投资协议。

WeStarter.org是基于Heco网络的初始兑换项目,通过产品的创新与充足的行业资源,承载多种类型资产的资金与资源需求,打造DeFi项目加速器。WeStarter.org平台可支持跨链资产的资产兑换,并持续发掘多领域方向如NFT等资产,提供多种分发方式给开发者与投资者选择。[2021/3/10 18:33:46]

由于执行成本较低,计算信息流变得可行。在传统的金融领域,金融应用程序需要利用复杂的数据流,包括风险、收益率和波动率。像Pragma这样的团队正在努力将这些数据流引入Web3。Pragma已经在Starknet测试网上有两个计算数据流,一个波动率指数和一个收益率曲线。

存储证明的应用也将改变预言机的格局。存储证明是一种跟踪存储的密码学方法。使用这些加密承诺,就有可能无需信任地证明某个特定状态在某个时间存在。验证这些证明,就需要计算,而低廉的计算成本会提高用户体验。有了存储证明,就有可以去中心化的方式在不同的链之间传输信息,提供区块链的历史数据以及更多信息。想要深入了解存储证明,请看这篇文章。

霍比特交易所将于今日16:00上线STAKE/USDT:据霍比特HBTC官方公告,霍比特HBTC将于9月3日16:00(UTC+8)上线STAKE,并开通STAKE/USDT交易对。现已开放充提。

xDai Chain是一个由MakerDAO基金会与POA Network联合推出的美元稳定币区块链,也是一个与以太坊兼容的侧链,其使用稳定币xDai作为基础代币用于交易和支付gas费用,并通过STAKE代币,借助独特的POSDAO权益证明算法来进行记账和治理。

霍比特HBTC是100%持币者共享的交易平台,独创全新的10倍PE定价回购模型及霍比特队长激励模型,并推出平台资产透明和交易数据可信机制。霍比特HBTC由火币、OKEx等56家资本共同投资,主营币币、合约、杠杆、期权等业务,平台上主流币及合约交易拥有优秀流动性和深度。[2020/9/3]

转向全链游戏逻辑

游戏市场巨大。美国是最大的游戏业市场,每年从游戏从获得的收入高达540亿美元。区块链游戏最近成为了焦点,但正如之前讨论的,这些游戏还是「Web2.5」,而不是真正的「Web3」游戏。

区块链游戏应该满足:

游戏逻辑完全上链,低廉的执行成本至关重要。

对于Web3游戏来说,一个最基本的「试金石」是,如果游戏背后的开发者突然消失了,游戏是否可以继续生存。这与智能合约在链上的生存方式非常相似;无论智能合约的开发者是否仍然活跃,游戏都会继续。如果基本的游戏机制和规则都在链上,就可以在游戏逻辑上建立不同的界面。另一方面,激励开发者使用游戏特定的代币来构建。尽管目前没有大型游戏完全建立在链上,但Starknet上多个项目都在朝着正确的方向努力,例如Realms和Influence。

像Dojo这样的生态系统开发者正在努力为Starknet生态系统提供开源的实体组件系统框架。ECS框架是一种基本的设计模式,用于以模块化的方式构建游戏。例如,就《马里奥卡丁车》而言,马里奥和汽车是实体,汽车的位置和速度是组件,汽车碰撞的逻辑作为一个系统来实现。游戏开发者将使用这些组件来构建游戏。随着生态系统的发展,就需要更多这样的项目和游戏开发者加入到Starknet中。

透明的AI应用

随着最近人工智能的热议,似乎人工智能很快就可能集成到数字化实体中。虽然将AI模型部署到链上并不是一种确定性的选择,但这种做法有许多好处。对于这些应用场景,低成本计算是必不可少的。

可验证推理意味着模型是在中心化服务器上预训练的。训练一旦完成,模型权重就可以在链上发布。完成此操作后,输入可以传递到链上模型,并且输出会保持透明,用户可以证明模型生成了特定输出。如果计算成本足够低,模型就可以在链上运行并生成输出,链上模型集合得以实现。汇总多个模型的输出,形成机器学习应用中常用的「集合」模型。可验证训练意味着模型可以进行链上训练,保持可验证的良性训练证明,而不受外部因素的影响。这可能是上述中计算量最大,也是最不可能快速投入使用的应用。现如今,使用巨大的计算资源在GPU上训练大型AI和ML模型需要数天。与此同时,训练时所生成?SNARK/STARK证明也是一笔开销。此外,Cairo专门在CPU上运行。

数据来源:https://www.moduluslabs.xyz

Giza和ModulusLabs是主要研究团队,致力于采用ZK证明将AI引入链上。

Starknet的未来是什么?

在短期内,Starknet路线图将侧重于性能和更优用户体验。预计到2023年第三季度提高吞吐量、减少延迟、降低交易成本。关于发展路线图的详细内容,请参考路线图博客。

为STARK证明设计的Cairo不仅是适配代数证明系统优势的最佳选择,同时确保高效的计算和验证过程。

为可扩展性而设计的Starknet能够确保在不牺牲安全性或去中心化的前提下适应指数级别的增长。

结论

随着围绕「模块化区块链」领域的深入研究,「引入十亿用户」的目标也越来越近。有了Starknet,计算成本变得低廉,而且会越来越便宜。

不断更新的Starknet之书为开发者开启Cairo之旅提供的绝佳的起点,第0至2章介绍了各种各样的主题。

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

金智博客

[0:0ms0-6:298ms