概要
●?L2不受与L1相同的吞吐量限制。这为L2ValidityRollup带来更高的TPS。
●?StarkNet性能路线图解决了系统中的一个关键元素:定序器。
●?我们在此展示性能改进的路线图:
定序器并行化Cairo-VM的新Rust实现Rust中的定序器重新实现●?验证者,可以处理比现在更多的事情。
介绍
大约一年前,StarkNet在主网发布。一开始,我们主要集中构建StarkNet功能性。目前,我们将重点转移至通过一系列步骤提高性能,而这将有助于增强StarkNet体验。
在这篇文章中,我们将解释为什么广泛的优化只适用于ValidityRollup,并分享我们在StarkNet上实施这些步骤的计划。其中一些步骤已经在StarkNetAlpha0.10.2中实现,该版本于测试网和主网发布。但在我们讨论解决方案之前,让我们回顾一下区块受限问题及其原因。
OKX BTC浏览器已正式支持闪电网络:6月25日消息,OKX BTC浏览器已正式支持闪电网络,用户可以查询闪电网络通道开放/关闭行为的上链交易、闪电网络节点和通道详细情况。还可以通过节点、通道列表了解闪电网络点对点支付用户排行。
据悉,OKX BTC浏览器是支持BTC完整生态的区块链浏览器,旨在为用户提供一站式链上数据服务。此前已支持BTC、BRC-20数据查询,未来还将支持BRC-20S链上数据追踪和查询。[2023/6/25 21:59:09]
区块空间限制:ValidityRollup与L1
在保持出块时间不变的情况下,提高区块链可扩展性和TPS的一种潜在方法是解决区块限制。这将需要区块生产者付出更多努力,需要更有效地实施这些组件。为此,我们现在将重点转移到StarkNet定序器优化上,我们将在以下部分中对此进行更详细的描述。
这里自然而然会出现一个问题。为什么定序器优化仅限于ValidityRollup,也就是说,为什么我们不能在L1上实现相同的改进并完全避免ValidityRollup的复杂性?在下一部分,我们将解释两者之间存在的根本区别,允许对不适用于L1的L2进行广泛的优化。
比特币波动指数昨日反弹至47.71,单日涨幅2.69%:6月11日消息,由金融指数公司 T3 Index 联合比特币期权交易平台 LedgerX 推出的 BitVol(比特币波动)指数昨日反弹至 47.71,相较于 6 月 9 日(46.46)单日涨幅达 2.69%。
注:BitVol 指数衡量从可交易的比特币期权价格中得出的 30 天预期隐含波动率。隐含波动率是指实际期权价格所隐含的波动率。它是利用 B-S 期权定价公式,将期权实际价格以及除波动率σ以外的其他参数代入公式而反推出的波动率。
期权的实际价格是由众多期权交易者竞争而形成,因此,隐含波动率代表了市场参与者对于市场未来的看法和预期,从而被视为最接近当时的真实波动率。[2023/6/11 21:30:07]
为什么L1吞吐量有限?
不幸的是,解除对L1的区块限制会遇到一个重大陷阱。通过提高区块链的增长率,我们也增加了对全节点的需求,他们试图跟上最新的状态。由于L1全节点必须重新执行所有历史记录,区块区间的大幅增加会给它们带来巨大压力,再次导致较弱的机器退出系统并将保留运行全节点的能力归向足够大的实体。最终,用户将无法自己验证状态,以及以去信任方式参与网络。
非农公布后:美联储3月加息50BP的概率为64.6%,与数据公布前一致:金色财经报道,据CME“美联储观察”:美联储3月加息25个基点至4.75%-5.00%区间的概率为35.4%,加息50个基点至5.00%-5.25%区间的概率为64.6%;到5月累计加息50个基点的概率为28.7%,累计加息75个基点的概率为59.1%,累计加息100个基点概率为12.3%。(与非农公布前一致)[2023/3/10 12:54:54]
这让我们明白L1吞吐量应该受到限制,以维护一个真正去中心化和安全的系统。
为什么相同的问题不会影响ValidityRollup?
只有从全节点的角度考虑,我们才能看到ValidityRollup所提供的真正力量。L1全节点需要重新执行整个交易历史,以确保当前状态的正确性。StarkNet节点只需要验证STARK证明,而该验证所占用的计算资源量呈指数级下降。特别是,从头开始同步不一定涉及执行;一个节点可能会从其对等节点接收到当前状态的转储,并且只能通过STARK证明来验证该状态是否有效。这使我们能够在不增加全节点要求的情况下增加网络的吞吐量。
2022年第四季度加密公司的联邦游说支出约为700万美元仍接近历史峰值:2月17日消息,2022年第四季度加密行业利益相关者和关联公司在美国联邦游说方面花费了大约700万美元。据披露数据显示,2022年第四季度的集体行业支出略低于700万美元,尽管比第二季度的峰值约合740万美元略有回落,并且比第三季度金约合720万美元略有下降,但调查结果反映出即使在多年来最严重的加密熊市之一中,联邦游说支出水平也非常一致。[2023/2/17 12:13:34]
因此,我们得出结论,L2定序器会对整个优化范围带来影响,但这在L1上是不可能的。
未来的性能路线图
在接下来的部分中,我们将讨论目前哪些计划用于StarkNet定序器。
定序器并行化
我们路线图的第一步是将并行化引入交易执行。这是在昨天在主网上发布的StarkNetalpha0.10.2中引入的。我们现在深入了解什么是并行化。
美联储布拉德认为美元正走强,并称美联储考虑了溢出效应:9月27日消息,美联储布拉德认为美元正走强,并称美联储考虑了溢出效应。此前美联储布拉德表示,我们将不得不在一段时间内保持较高的政策利率。政策利率的峰值可能在4.5%左右。存在经济衰退风险。[2022/9/27 5:55:04]
那么“交易并行化”是什么意思?并行执行一个交易块是不可能的,因为不同的交易可能是相互依赖的。这在以下示例中进行了说明。一个包含来自同一用户的三笔交易的区块:
●?交易A:将USDC换成ETH
●?交易B:为NFT支付ETH
●?交易C:USDT换BTC
显然,TxA必须在TxB之前发生,但TxC完全独立于两者并且可以并行执行。如果每笔交易需要1秒来执行,那么通过引入并行化,出块时间可以从3秒减少到2秒。
问题的症结在于我们事先并不知道交易的依赖关系。实际上,只有当我们从示例中执行事务B时,我们才能看到它依赖于事务A所做的更改。进一步说,这一依赖性源于事务B从事务A写入的存储单元中读取这一事实。我们可以将交易画成一个依赖图,其中存在从交易A执行至交易B,当且仅当A写入一个由B读取的存储单元,因此必须在B之前执行。下图显示了依赖图的示例:
在上面的示例中,每一列都可以并行执行,这是最佳安排。
为克服事先不知道依赖图的事实,我们本着AptosLabs开发的BLOCK-STM的精神,将optimistic并行化引入到StarkNet定序器中。在该范式下,我们乐观地尝试并行运行事务并在发现冲突时重新执行。例如,我们可以并行执行图1中的交易1-4,之后才发现Tx4依赖于Tx1。因此,它的执行是无用的。在这种情况下,我们将重新执行Tx4。https://malkhi.com/posts/2022/04/block-stm/
请注意,我们可以在optimistic并行化之上添加许多优化。例如,与其天真地等待每次执行结束,我们转而可以在发现使它无效的依赖项时中止执行。
另一个例子是优化重新执行哪些交易的选择。假设包含图1中所有事务的块被送入具有五个CPU内核的定序器。首先,我们尝试并行执行交易1-5。如果完成顺序是Tx2,Tx3,Tx4,Tx1,最后是Tx5,那么只有在Tx4已经执行完之后,我们才会发现依赖Tx1→Tx4——说明应该重新执行。天真地,我们可能也想重新执行Tx5,因为考虑到Tx4的新执行,它的行为可能会有所不同。然而,我们可以遍历由执行已经终止的交易构建的依赖图,只重新执行依赖于Tx4的交易,而不是仅仅重新执行现在无效的Tx4之后的所有交易。
Cairo-VM的新Rust实现
StarkNet中的智能合约是在Cairo中编写的,并在Cairo-VM中执行,该规范出现在Cairo白皮书中。目前,定序器正在使用Cairo-VM的python实现。为优化VM实现性能,我们发起使用Rust重写VM的工作。感谢Lambdaclass的出色工作,他们现在是StarkNet生态系统中一个非常宝贵的团队,这项工作很快就会取得成果。
VM的rust实现,cairo-rs,现在可以执行原生Cairo代码。下一步是处理智能合约的执行,以及与pythonic定序器的集成。一旦与cairo-rs集成,定序器的性能有望显着提高。
Rust中的定序器重新实现
我们从python到rust以提高性能的转变不仅限于CairoVM。除了上述改进之外,我们还计划用Rust从头开始,重写定序器。除了Rust的先天优势之外,这还为序列器的其他优化提供了想象空间。举几个例子,我们可以享受cairo-rs的好处,而无需为python-rust通信支付费用,我们可以完全重新设计状态的存储和访问方式。
证明者
在整篇文章中,我们都没有提到ValidityRollup中最知名的元素——证明者。可以想象,作为可以说是架构中最复杂的组件,它应该是瓶颈,因此也是优化的重点。有趣的是,现在StarkNet的瓶颈是更“标准”的组件。今天,特别是对于递归证明,我们可以将比测试网/主网上的当前流量更多的交易放入证明中。事实上,目前,StarkNet区块与StarkEx交易一起得到证明,后者有时会产生数十万NFT铸造交易。
总结
并行化、Rust等——为即将到来的StarkNet版本中改进的TPS做好准备。
2014年的Mt.Gox黑客事件是大多数人准备退出比特币的时候,也是我开始区块链之旅的时候。随着比特币从1100美元跌至不到200美元,我却目睹了行业迈向更大程度的去中心化.
1900/1/1 0:00:00本期周报由SnapFingersDAO建设者共同创作Discord:Yao#3727Gua#4974嗷嗷#8854Twitter:?@linyao1900?@Guaaronnnn?@shenyc.
1900/1/1 0:00:00比特币和以太坊存储用户数据的方式,以及智能合约与上述数据互动的方式,都有很大不同。因为比特币采用的是UTXO模型,而以太坊采用的是基于账户的模型.
1900/1/1 0:00:00官方Discord原文公告SpaceID将在12月14日,13:00进行Discord名称的快照.
1900/1/1 0:00:00王永利,中国国际期货有限公司总经理、中国银行原副行长继FTX之后,BlockFi近期申请破产保护,已然开启加密货币领域的“雷曼时刻”.
1900/1/1 0:00:00在2023年CMCCryptoPlaybook的第二部分投资中,Dragonfly的HaseebQureshi和TomSchmidt在FTX崩溃后,提出了风险投资公司的发展道路.
1900/1/1 0:00:00