StarkNet Alpha 1

StarkNet Alpha 1

特点：L1<>L2 交互、链上数据和日益壮大的 StarkNet 生态系统

TL;DR

StarkNet Alpha 1 有两个新特性：

• L1<>L2 交互
• 链上数据

介绍

年初，我们宣布 StarkWare 正在构建 StarkNet，一个基于 STARK 的无许可去中心化 ZK-Rollup¹，作为以太坊上的一个 L2 网络。StarkNet 允许任何 dApp 实现其计算的无限扩展——而不妨碍以太坊的可组合性和安全性。

上个月，StarkNet Alpha 0 向世界发布。开发者第一次可以无许可地 编写 任何智能合约并部署到 ZK-Rollup。用户能够像在以太坊上那样，向网络发送交易。

今天我们发布了一个新版本：Alpha 1。我们正以滚动的方式发布新特性，以便开发者尽快与新特性互动。我们预期这将缩短反馈周期，使社区反馈能够快速改善 StarkNet。

Alpha 1 特性

L1<>L2 交互

Alpha 1 包括一个 L1<>L2 消息协议，使开发者能够实现在 L1 和 L2 之间的无缝交易流。开发者现在可以从 L1 上的合约向 L2 上的合约发送消息，反之亦然。

ZK-Rollup 的美妙之处在于状态更新是最终的，没有任何延迟。这意味着从 L2 发送到 L1 的消息可以立即转发到其目标合约。这为构建真正跨层可互操作的应用程序开辟了道路。

想要试试吗？最好的入门方法是根据 这里 的教程开始。

我们的 L1<>L2 协议在很大程度上受益于其他 L2（具体来说是 Optimism 和 Arbitrum）在这一领域的前期工作，对我们的设计产生了影响。

链上数据可用性

StarkNet 的状态更新现在也作为链上数据在以太坊上发布。这使任何用户可以根据 L1 数据完全构建 StarkNet 的状态。每个状态更新包括状态差异，即更改了哪些存储及其新值。

在这里，ZK-Rollup 也展示了其优势。与乐观 Rollup 不同，后者必须将完整的交易数据发送到链上，在 ZK-Rollup 中，只需发送派生状态差异所需的绝对最小数据到链上。

考虑一个典型示例，价格预言机。更新价格预言机的交易通常包含多个交易，但只更新一个存储单元；即交易对的价格。在乐观 Rollup 中，对包含价格预言机交易的状态更新所需的链上数据随着更新数量的增加而线性增长，而在 ZK-Rollup 中，它总是将是一条单一的存储更新。

此外，可以对发布的数据应用压缩算法，其有效性将通过 STARK 证明得到验证，进一步减少链上的占用空间。未来版本的 StarkNet 将在这一领域引入创新性的优化。

StarkNet 操作系统

我们还发布了 StarkNet 操作系统代码。StarkNet OS 是运行 StarkNet 的 Cairo 程序。操作系统处理网络上的所有操作——合约部署、交易执行、L1<>L2 消息等。StarkNet OS 的架构和设计将在另外的文章中详细阐述。

额外特性

StarkNet Alpha 不仅在不断进化，我们也在不断改进 Cairo。有关 Cairo v0.3.0 新特性的详细描述，请查看发行说明 这里。

生态系统正在发展

除了不断进行的 StarkNet 核心工作，生态系统对 StarkNet 的工作也在持续扩展。我们很高兴能够与生态系统中一些最有才华的团队合作。

Fermion，StarkNet 的第一个全节点项目，由 Erigon（之前的 TurboGeth）团队开发。基于他们在以太坊上获得的巨大知识，我们能够与他们合作，构建一个强大的全节点，该节点结合了为以太坊构建时学到的许多经验，同时受益于 STARK 证明所提供的扩展性。

Nethermind 正在开发 Warp，一个从 EVM 到 Cairo 的编译器。受我们在准备好之前不展示新工具的文化约束，我们只能说，期待很快在这一领域带来令人兴奋的消息！不过我们可以说，他们的进展堪称快速。

未来的展望

通往 StarkNet 的下一个站点将是可组合性——允许合约彼此互动。敬请关注。

StarkWare

1 正如我们之前所说，ZK-Rollup 现在已经是一个常用术语，但非常具有误导性：这些解决方案目前并不提供零知识。

更新（2021 年 11 月）： StarkNet Alpha 已在以太坊主网上线

• 原文链接： medium.com/starkware/sta...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～