快评Starknet升级，Starknet v0.12.0版本有哪些改进

原文来源： Haotian（Twitter：@tmel0211），区块链安全从业者

奔走相告，@Starknetv0.12.0 杀死 Pending 的升级成功了！ 直接感官体验，交易速度从 10-20min 缩短到数秒级了，Starknet 终终终终于注重用户体验了。 那么，从技术视角该如何看待 Starknet 的这次升级呢？和 zkSync 相比，How it works？这会对 Starknet 的后续生态发展带来哪些影响？来，探讨下。

论 zk 技术 starknet 优于 zkSync，但 zkSync 的主网交互地址、生态繁荣度、TVL 等 Metrics 数据都远超 Starknet。why？ 原因是 Starknet 在账户抽象、Pending 等用户感官层面体验糟糕。 此次升级优化了 cario 合约算法，重写了 Sequencer，增加了 TPS，关键后置了 accepted on L1 的时间，大大缩短了交易「成功」时间。

也就是说，原先用户端要等待 txs 被 L1 验证成功后才结束 pending 状态，时间大概 20min，现在只要在 L2 上生成 Stark 证明后就先默认 txs 成功了，时间数秒即可。 但相应的，Accepted on L1 的时间也被加到了 5 小时以上（如下图），这主要是为了确保分层确定性机制的网络安全问题，避免 L1 出现重组的概率。

原先的单层确认机制，虽然 pending 时间长，但只是感官问题，用户在存在 pending 交易的情况下再发其他交易也是可以的。（撸 er 加不加号症结不在此） 只不过用户习惯了等待一笔交易完成后再开始新交易。但消灭 pending 后会带动 txs 的高频巨量。 为确保足够安全，L1 确认的时长被大幅增加，反正用户无感知。

ow it works？zkSync 采用二阶段提交验证机制，在 Snark 证明生成后和被验证后会和 L1 交互 2 次，而 starknet 是单阶段验证，只向 L1 提交最终状态，而不是最初的提交状态。 那如何确保状态变化前后一致呢？这其实是 Stark 证明强大于 Snark 证明的一点，Stark 证明可以基于最终状态推导出提交状态自我校验。

一方面，Starknet 在算法和计算资源上产生更大消耗；另一方面 Starknet 会堆砌更多的交易在其 cario contract 上，对其 zk 电路算法的考验尤为大。交易多则状态推导压力大，一旦个别错误，就可能导致网络拥堵。 这也就解释了，为啥 Accepted on L1 的时间会超过 5 小时。主要在给其 zk 算法争取更多容错时间。

整体而言，Starknet 的升级战略意义显著，它将 Starknet 亲民化，将直接带动其各项数据提升，改变 L2 各公链竞争局势。 但你一定得知道，前端体验简化的代价一定是后端技术加码，后续 Starknet 面临的网络稳定性挑战一定不小。 不过，弥补了不够贴近市场和用户的生态短板，friendly 的 Starknet 未来可期！

原文链接

算力

gas

StarkNet

ZK

zkSync

项目动态

前沿动态，一手掌握

—-

编译者/作者：区块律动BlockBeat

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。