Starknet 2023 年目标和路线图

专注于性能和用户体验

post image

这篇文章将阐述 Starknet 的 2023 年路线图,并说明推动它的考虑因素。 该路线图侧重于性能和用户体验。 我们的目标是为社区提供所需的透明度,因此尽早分享路线图。 当然,尽早分享路线图也意味着事情可能会发生变化。

我们要感谢 Starknet 的开发者社区,尤其是建设者委员会,感谢他们在定义此路线图时提供了宝贵的见解和反馈。 特别感谢 briq 的 Sylve、LambdaClass 的 Federico 和 Nethermind 的 Jorik 提供的宝贵反馈。 我们邀请社区继续参与这一重要进程。

Starknet的征程

Starknet 旨在让开发人员利用 STARKs 和 Cairo 的力量来构建他们的应用程序。 到目前为止,Starknet 的开发重点是为开发人员提供面向未来的功能。 Starknet 的功能由 Cairo 1.0 提供支持,除了 Regenesis 之外,现在已经基本完成。

regenesis

Starknet 将在今年经历regenesis 。 对于网络来说,这将是一个无缝事件,因为它不会导致停机,也不会重置网络状态。

新的cairo 1.0 合约不需要任何行动——对他们来说,regenesis 是小事。 Cairo 0 合约将需要完成向 Cairo 1.0 的过渡。 只有在我们确保社区中的大部分人能够完成此过渡后,Cairo 0 将被关闭, Regenesis 才会发生。 Regenesis 将是 Starknet 路线图上最后计划的突破性变更,我们预计未来的任何突破性变更都将通过治理决策进行审查,就像在以太坊中所做的那样。

使用 Cairo 1.0 本身来解释regenesis:

post image

2023 年路线图 Starknet 目前的开发重点是性能和用户体验。 这是一个估计的时间表:

post image

性能

我们未来几个月的主要目标是提高网络性能,以支持用户和开发人员数量的预期增长。 正如我们所见,性能显然是由吞吐量和延迟来定义的,但也由交易成本来定义。 我们在此处按优先级列出重点领域,并(如果可能)说明计划发布的版本。

吞吐量和延迟

即将推出的 Starknet v0.12.0 将包含明显的吞吐量和延迟改进。 这是过去六个月为 Rust-ify Starknet 堆栈而进行的工作的结果。 该版本将包括过渡到基于 Rust 的 Sequencer(由 StarkWare 开发)和新的 Rust-Cairo VM(cairo-rs,由 LambdaClass 开发)——两个开源项目。 我们预计很快就会有性能基准。

这种转变将大大减少块执行时间,因此会增加吞吐量。 在没有拥塞的情况下,我们还期望交易延迟有所改善,因为延迟的主要原因是块执行时间。

更高的吞吐量和更低的延迟仍然是重中之重,即使在 v0.12.0 之后,改进它们的工作将成为 Starknet 开发的重中之重。

交易成本 在 v0.13.0 中,Starknet 的交易成本将大幅降低。 这将通过瞄准交易成本的主要组成部分来完成:L1(以太坊)数据成本,它占今天 tx 成本的 95%。 Volition 将允许开发人员使用混合数据可用性 (DA) 模式构建 Starknet 应用程序:链上和链下数据。 即将发布一篇专门介绍 Volition 的帖子,其中包含有关其设计和开发人员界面的完整详细信息。

以太坊的 EIP-4844(Shard Blob Transaction)预计在 2023 年第四季度推出。Starknet 将尽快适应并从中受益,此外还有 Volition 的引入。

由于以太坊的 EIP-4844 和 Starknet 的 Volition(链下数据可用性),我们预计数据成本会大幅降低。

更快的Finality(最终性)

随着 Starknet v0.14.0 和 v0.15.0 的发布临近,我们仍然致力于为 Starknet 的用户提供无缝且可预测的网络体验,无论拥塞程度如何。 为实现这一目标,我们正在优先发展两个关键领域:费用市场和区块间隔。

手续费市场 只要网络保持畅通,计划中的性能改进对开发人员和用户来说是显而易见的。 但是,当网络拥塞发生时,会导致每个人的等待时间增加。 为了解决这个问题,将在 v0.14.0 中向 Starknet 引入费用市场,以便根据用户为交易支付的意愿,而不仅仅是其排队的位置,有效地分配 Starknet 的有限资源。

更短和固定的区块间隔

在 v0.15.0 中,Starknet 将切换到恒定且更短的块间隔。 目前,每个区块都由自己的证明来证明,并且区块间隔是可变的——守恒量就是区块成本。 为了达到固定的区块成本,网络等待足够多的交易积累,这导致区块间隔可变。 为了解决这个问题,我们计划解耦(decouple)Starknet 区块与其证明之间的 1:1 关系。 从 v0.15.0 开始,证明将证明一个或多个 Starknet 块的完整性。 这将修复区块间隔,并改善 Starknet 的用户体验。

生态路线全局侧重

我们在确定该路线图时考虑了哪些权衡?

性能是重中之重——这也是我们从生态系统中得到的响亮而明确的反馈。 从 v0.12.0 开始,这将主要通过增加 Sequencer 的吞吐量来改进。

在 v0.13.0 中,我们不得不在更低的交易成本和更好的用户体验(更短/固定的块间隔,以及拥塞期间更可预测的网络响应)之间做出选择。我们决定专注于更低的交易成本,而不是用户体验,因为我们期望 v0.12.0 导致更好的延迟(以秒为单位)。 如上所述,降低交易成本的主要手段将是 Volition 的引入,以及——随着更多细节的出现——EIP-4844。 如果延迟在 v0.12.0 之后不能充分改善,我们会考虑偏离这个计划。

在拥塞期间改善网络行为(通过引入费用市场)可能会等待 v0.14.0。 尽管在 v0.12.0 之后很可能会发生拥塞,但我们预计吞吐量的显着提高会降低其发生的可能性。 因此,我们决定优先考虑降低交易成本。

概括

Cairo 1.0 的发布标志着 Starknet 的功能开发趋于稳定。 2023 年的剩余时间将用于改进 Starknet 的性能和用户体验。 到今年年底,我们预计网络的基础层在功能、性能和用户体验方面都将达到健康稳定的状态。 我们预计重大变化的事件会越来越少,并且自然会受到所有网络参与者的约束。 2024年,去中心化将成为网络运营和决策的重点。

我们相信,面向未来的功能与增强的一流性能和用户体验的结合将继续推动大量开发人员和应用程序涌入 Starknet。