TL；速度三角形定位法(dead reckoning)

●Starknet alpha v0.11.0已经发布，正在进行在线测试。

●您现在可以在Starknet测试网络上部署Cairo 1.0合同并与之交互。

●Starknet上的计算成本便宜5倍。

●当主网升级到Starknet alpha v0.11.0时，将首次进行治理投票。

这标志着过渡时期的开始。

●只有在测试网络上运行数周后，我们才能确保新系统的顺利运行，并在主网络上部署Cairo 1.0合同。

介绍

我们很高兴地宣布，期待已久的Starknet alpha v0.11.0已经在测试网络上推出！为什么这是Starknet的一大步？在Starknet v0.11.0中，您可以部署和运行Cairo 1.0智能合约。我们还引入了一个新的系统调用，允许从现有的合同平稳过渡到Cairo 1.0。

Cairo 1.0从两个不同的方面改进了Starknet。首先，它通过提供一种更丰富的编程语言来改善开发体验，这种语言将类型/泛型/特性/错误处理引入Cairo。其次，Cairo 1.0在Starknet的去中心化过程中起到了关键作用:Starknet alpha v0.11.0中发送的Cairo 1.0合约被编译成Sierra。Sierra确保每个合同的执行都是可证明的，这是实现去中心化Starknet的重要一步。

该版本的另一个重要改进是计算成本降低了5倍。这将使Starknet对计算密集型应用更加友好。具体如下。

准备重生

Starknet alpha v0.11.0标志着过渡期的开始，这将为Starknet的重生做准备。Starknet的Regenesis计划在几个月前发布，其重点是从基于Cairo 0的系统过渡到基于Cairo 1.0的系统。

在过渡期间，现有的Cairo 0合同(如果可以升级)有机会维护其地址和存储，并将其实施无缝过渡到Cairo 1.0(请参见下一节)。

作为Starknet用户，这意味着您只需要在您的帐户的新Cairo 1.0实施发布时升级您的钱包(您可以随时升级到Regenesis本身)。预计不会停机，系统中的所有dapp将继续正常运行。

重生后，Starknet将停止支持整个系统中剩余的Cairo 0合同。这将提前沟通，开发者将有足够的时间来迁移他们的合同。预计过渡期将持续几个月，dapp开发者可以开始将其实现迁移到Cairo 1.0。过渡期结束时，将开始再生。

顺利迁移到Cairo 1.0

随着向Cairo 1.0的过渡，现有的Cairo 0合同将被放弃，在重新生成时将不再受支持。为了允许可伸缩的Cairo 0契约继续运行(甚至在重新生成之后)并保持构建状态，我们添加了一个新的系统调用-& # 8216；replace _ class & # 8216。可升级合同升级到Cairo 1.0，但底层* *(具有实际状态的合同)仍将保留在Cairo 0中。’replace _ class & # 8216系统调用通过允许* *契约替换其底层类来解决这个问题，即保持相同的地址和存储，但替换实现。

计算成本便宜5倍！

目前Starknet的交易成本主要有两个组成部分:计算和链上数据。Starknet交易成本的计算要素由在L1上验证其证明的边际成本决定(详见文件)。

最初我们以为2亿Cairo合同认证步骤需要500万气验证，导致我们天真的以为Cairo每个合同步骤需要0.05气。此后，我们转向递归证明，这将大大降低L1验证的成本(只有递归树的根到达L1)。现在是时候更新我们最初的估计了——L2上每个合同步骤的成本将减少5倍，现在将花费0.01Gas

这种成本降低对于计算密集型应用程序(如具有非本地签名的账户合同)来说意义重大。简单交易的成本会略有降低(5%左右)。在未来的版本中，我们将处理第二个组成部分:链上数据的成本。Starknet(又名Volition)一旦推出链上数据的替代方案，将全面降低成本。

Starknet治理第一票

Starknet治理的第一阶段已经启动(更多详情请点击此处)。社区成员现在可以通过一个额外的渠道参与Starknet的优化，即就协议变更进行投票。

Starknet治理的第一阶段将侧重于Starknet协议的升级。Starknet的每次版本升级都会首先部署在测试网络上；选民将有6天时间来检查和测试运行在Goerli上的升级版本。在此期间，将打开快照提案，社区可以投票决定是否批准在主网络上部署新版本。

如果该提案在六天的投票期内获得大多数“是”票，该提案将获得通过，Starknet主网络将相应升级。

Starknet alpha v0.11.0是Starknet第一个投票的版本。Starknet alpha v0.11.0的投票将从测试网络部署开始算起，开放6天。

开罗1.0和塞拉

Sierra是一个中间表示层，可以编译成Cairo字节码(CA)。在Starknet alpha v0.11.0之前，开发者会将Cairo 0编译成CA，并将结果发送给Starknet sequencer。在Cairo 1.0中，开发人员将他们的代码编译成Sierra，并将这个中间表示发送给排序器。随后，序列器将其编译为CA。Sierra保证编译成“安全CA”，即CA的子集，不会失败，每次执行都是可证的。这确保了即使交易恢复，分拣员也能够收取费用，以防止DOS。有关更多信息，请参见文档。

Starknet alpha 0.11.0将使用Cairo 1.0 alpha 6版本，该版本接近Cairo 0的特性，Starknet系统调用全部已经存在。

请注意，Starknet分类器使用固定的编译器版本，这意味着语言改进可能不会立即在Starknet中提供，而只会在Starknet版本更新后提供。具体来说，虽然影响Cairo 1.0→Sierra编译的改进可能会立即生效，但是对Sierra→CA编译器的更改(更多详细信息请参见文档)只会在Starknet升级后更新。

有什么新进展& # 8221；& gt声明v2

我们为Cairo 1.0类添加了一个新的事务类型。这款新& # 8217；声明& # 8216；交易版本类似于现有的& # 8217；声明& # 8216；但是有两个重要的区别:

现在发送的类对象表示的是Sierra而不是CA，也就是类的语义是由Sierra定义的。

用户还对编译后的类哈希进行签名。这是Sierra→CA编译被证明是Starknet操作系统的一部分之前的关键一步。

有关更多详细信息，请参见文档。

从开发者的角度来说，体验还是一样的。编写Cairo 1.0代码后，可以使用CLI声明该类。

请注意，最初，& # 8217；声明v2 & # 8216Starknet main network不会接受该交易。在测试网络上试用一段时间后，新的交易类型将在主网络上启用，Cairo 1.0类也将可用。

波塞冬来了。

波塞冬是一系列哈希函数，设计用于非常高效的代数电路。因此，它们在stark和SNARKs等ZK证明系统中可能非常有用。从Starknet alpha v0.11.0开始，开发者将可以使用Poseidon。此外，作为Starknet协议一部分的一些hash计算将过渡到Poseidon(具体来说，类hash、编译类hash、部分状态提交将使用Poseidon，详情请参考文档)。未来，更多的内部组件将过渡到使用Poseidon哈希函数。

Starknet中使用的确切版本和参数可以在这里找到。

各种变化

和之前的Starknet版本一样，升级也会对我们的api和其他底层组件产生影响。下面我们列出了这些，并解释了具体的变化:

●不再支持v0呼叫/发起交易。

●L1→L2的信息现在需要收费。换句话说，Starknet sequencer不会处理免费发送的消息。

●链上的数据格式变化

●API变更(此处未列出所有变更，详细列表请参考文档):

●添加了一个新的“get _ compiled _ class _ by _ class _ hash”端点。

● `get _ class _ by _ hash `返回Cairo 0/Cairo 1.0类(取决于请求的哈希值)。

●‘get _ state _ update’新增了替换类的部分，声明分为Cairo 0和Cairo 1类。

●‘estimate _ fee’和simulate _ tx’现在可以跳过验证。

●新Starknet ON-RPC版本。

接下来会发生什么？

现在，与Cairo 1.0相关的所有基础设施都已就绪，您可以期待:

Cairo 1.0语言的进一步改进；

性能改进:正如承诺的那样，我们继续朝着显著改进TPS的方向前进。路线图的下一步是过渡到Rust sequencer，它是在Apache 2.0的许可下开发的。新的分类器将使用Rust CairoVM和Papyrus节点来组成一个性能三重奏。

场外DA！在这个版本中，我们已经处理了交易成本的计算部分。在即将到来的版本中，我们将处理链上的数据成本，这是目前平均交易的主要成本。

本网站声明:网站内容来源于网络。如有侵权，请联系我们，我们会及时处理。

温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信，我们会及时处理和回复。