Starknet考虑从L2转向L1 量子计算与AI成关键推手

陶朱，金色财经

摘要：2026年10月8日，StarkWare 的联合创始人兼首席执行官 Eli Ben-Sasson 表示，Starknet 正在考虑从L2迁移到L1。而促使这一计划成行的原因竟然是来自对量子计算和人工智能的担忧。

一、Starknet的新计划

StarkWare 联创兼CEO Eli Ben-Sasson在X上发文宣布了Starknet 正在考虑从L2迁移到L1的计划。

Sasson指出：

Starknet 转型为 L1 以实现抗量子灵活性：是好主意还是坏主意？

我们需要关注两大关键因素：

(1) 量子威胁。

它可能比我们预想的要近得多。

(2) AI。

它的发展速度已超出了我们的应对能力。

有人愿意打赌，距离 AI 攻破我们视为“安全”的事物，我们还剩多少时间吗？

这就要求我们进入“掩体模式”（bunker mode）。

区块链必须具备面向未来的能力，而且要快。

要让区块链真正具备面向未来的能力，需要满足以下条件：

- 采用合适的密码学技术

- 具备密码学灵活性（Crypto agility）

- 转型为 L1

这与我在 Token2049 大会上的演讲内容相呼应。以下是演讲摘要。

Sasson认为：

量子正在逼近，它可能会让加密货币面临风险。正如 ecdsa/fail 背后的精彩工作所展示的，AI 可能会将量子威胁带得比大多数人预期的还要近。因此，为 Q-day 做准备变得越来越紧迫，甚至比我们最初假设的还要紧迫。

使 Starknet 和任何其他链具备量子就绪和 AI 就绪的关键在于这两个因素：使用正确的密码学；具备加密敏捷性。这两个因素都至关重要。

二、L1计划将改变什么？进度如何？

最直观的改变是将不再受制于以太坊和比特币的进度。

作为 Layer 2，Starknet 将其状态数据以 blob（数据块）的形式发布到以太坊，并依赖以太坊来保障安全。这意味着它将自身“量子时间线”的部分控制权交给了外部。在其路线图中，有两个关键环节——桥接的消息传递层和数据可用性层——只有在以太坊完成迁移后才能得到解决；而这两者都依赖于椭圆曲线密码学。

Cairo 虚拟机（VM）中支持 L1 到 L2 消息传递及以太坊桥接功能的 secp256k1/r1 系统调用，同样容易受到量子计算的威胁。StarkWare 表示，若在以太坊完成迁移之前移除这些调用，将会导致桥接功能失效。

Sasson 指出，以太坊计划在 2029 年底前实现全面的抗量子能力，而比特币尚未确定具体的时间表。如果转向 L1，Starknet 就能自主进行安全升级迁移，而不必受制于这两者的进度。

StarkWare 曾于 6 月 30 日发布了 Starknet 抗量子路线图，共分三个阶段，其中并不包含转型为 L1的内容。

另外，值得注意的是，Starknet 的L1计划还仅仅是一个畅想。

Starknet 的每一项协议级变更都必须经过其治理流程；StarkWare 明确表示，其描述的任何时间表或结果均不作保证。官方未说明是否会针对 L1 方案做出决定，也未提及具体的时间安排。目前既没有正式提案，也没有进行投票。

关于 L1 方案的细节也是空白。目前尚未公布 L1 架构的具体构想——无论是桥接设计、排序器或结算机制的设计，还是该举措是否会影响 STRK 质押，均无相关信息。

接下来的关注重点在于治理提案。在提案出炉之前，2027 年仅是一个目标，而非确定的时间表。

受此消息的影响，截至发稿，STRK 24小时涨幅40.1%，现报0.0737美元。

附：Starknet 抗量子路线图

后量子（PQ）密码学威胁已不再是遥远的未来隐患，而是迫在眉睫的现实。从白宫、澳大利亚政府到硅谷的谷歌，再到NIST等标准制定机构，各方都在发布PQ相关指导意见，并引领着机构基础设施决策的走向。向后量子密码体系的迁移已成定局，现在的关键在于迁移的时机与成本。

今天，StarkWare 凭借其强大的架构优势，发布了针对 Starknet 的后量子（PQ）迁移路线图。该路线图明确了所有相关的影响环节，列出了待办事项，并为每个里程碑设定了预估时间表。此外，它还展示了使我们的迁移路径区别于其他区块链的结构性基础，这些基础将显著降低迁移成本。

Starknet 如何实现平滑的抗量子（PQ）过渡

Starknet 的架构在账户层或结算层并不依赖易受量子计算威胁的密码学技术。正如 StarkWare 联合创始人兼首席执行官 Eli Ben-Sasson 参与撰写的一篇 2018 年开创性论文的标题所示，作为 Starknet 证明系统核心的 STARK 技术，其安全性建立在抗碰撞哈希函数之上，而非椭圆曲线算术。这意味着，从设计之初，Starknet 的证明层就不依赖于那些给其他生态系统带来迁移难题的、易受量子计算攻击的密码学技术。

Starknet 的原生账户抽象功能提供了额外的结构性优势。原生账户抽象允许在不引入协议级破坏性变更（breaking changes）的前提下，使合约具备抗量子特性。这一功能使得用户现在就能在 Starknet 上部署抗量子（PQ）钱包。得益于这种架构优势，与其他主流区块链相比，Starknet 拥有通往全面抗量子未来的最简单、最直接的路径。值得注意的是，在实施抗量子路线图的过程中，Starknet 的用户和开发者可以继续正常使用和开发，无需中断服务。

大多数主流区块链面临的量子安全隐患主要集中在身份验证层，因为椭圆曲线密码学所依赖的数学假设极易受到 Shor 算法的攻击。以比特币为例，其身份验证机制的核心存在结构性弱点：用于追踪和花费代币的 UTXO 模型在向已使用过的地址发送资金时，会暴露椭圆曲线密码学相关的安全隐患。以太坊也在积极研究抗量子技术并发布了多年迁移计划，详细阐述了其技术栈中多个层面对椭圆曲线密码学的依赖情况。至于 Solana，其运行时环境、交易格式、验证者授权模型、账户寻址方式以及签名验证流程，全都是围绕椭圆曲线密码学构建的。而且，这些区块链均未提供原生账户抽象功能——该功能允许用户在无需协议级破坏性变更的情况下采用新的签名方案。

路线图的承诺内容

该路线图分为三个阶段。前两个阶段完全由 Starknet 自主掌控，并附有明确的时间预估；第三个阶段则列明了对以太坊自身迁移时间表的依赖情况。

第一阶段——确保所有新活动的安全

第一阶段涉及将 BLAKE2 替换为 Pedersen 哈希（后者继承了椭圆曲线假设，而前者则不然）。这一变更将涵盖技术栈的三个层面：状态层、链环境层和共识层。该阶段完成后，所有独立于既有合约的新部署、交易及状态更新，都将受到抗量子（PQ）密码原语的保护。对于第一阶段之后构建的任何内容，开发者或用户无需进行任何操作。

• 状态承诺层。将跨合约及存储树（storage tries）的 Pedersen 哈希算法替换为 BLAKE2，从而杜绝了伪造代币余额证明的可能性。BLAKE2 已集成于代码库中，且相比 Pedersen，使用 S-two 证明器进行证明的效率更高；因此，这一项改动同时提升了安全性和性能。

• 合约地址派生。地址派生算法从 Pedersen 切换为 BLAKE2，消除了地址计算与部署之间存在的一个虽小但确实存在的攻击窗口。

• 操作系统（OS）配置哈希。链的环境锚点（environment anchor）从 Pedersen 切换为 BLAKE2；这是一项仅需修改一行的改动，且无需重新计算历史数据。该改动已在测试网上线，并将于 7 月初在主网上线。

预计完成时间：OS 配置哈希（OS config hash）将于 7 月初上线；其他项目预计自启动之日起约两个月内完成。

随着 Starknet 技术栈的持续开发，所有新功能都将要求具备抗量子（PQ）特性。这其中包括利用 Falcon-512 等抗量子签名方案在链上实现共识签名。

最后，Starknet 用户现在即可部署抗量子钱包——S2morrow 已经演示了这一点，并利用 Cairo 语言实现了基于 Falcon-512 的账户。此外，OpenZeppelin 也已着手开发适用于 Starknet 的抗量子账户合约，预计将于近期发布。

第二阶段——升级既有合约

第二阶段旨在解决第一阶段未涵盖的层面，即在合约存储层将抗量子（PQ）特性扩展至现有的链上合约。目前，Starknet 开发者已能利用抗量子安全的存储槽密钥派生技术创建合约，但这需要较高的技术门槛。StarkWare 正致力于改进原生工具，以简化这一过程。此外，StarkWare 团队正在积极研发一套迁移工具包，使合约开发者能够将既有合约升级至抗量子安全标准，且无需进行手动数据迁移或对合约接口造成破坏性变更。对于希望维持现状的用户和开发者，无需采取任何行动；仅有那些希望实现抗量子安全的团队才需要使用该迁移工具包。

预计完成时间：StarkWare 侧的简易方案预计在第一阶段完成后约一个月内就绪；DApp 侧的完成时间尚待确定。

阶段 3 —— 外部依赖

随着以太坊完成迁移，剩余的两个问题将得到解决：即该桥的消息传递层和数据可用性层，这两者均依赖于椭圆曲线密码学。这些依赖项处于公开追踪状态，并将随着以太坊迁移进程的推进而逐步解决。

• secp 桥接系统调用。Cairo 虚拟机（VM）中支持 L1 到 L2 消息传递及以太坊桥接功能的 secp256k1/r1 系统调用，容易受到量子计算攻击。移除这些系统调用取决于以太坊自身的迁移进程；在此之前，移除它们将导致桥接功能失效。

  预计完成时间：以太坊迁移后 1 个月
  

• Blob 数据可用性。Starknet 作为 EIP-4844 blob 发布到以太坊的状态差异（state-diff）数据，由 KZG 承诺进行锚定，而 KZG 易受量子计算威胁。若 KZG 机制被攻破，将影响数据可用性的透明度，但不会危及状态转换的正确性，因为后者仍受 STARK 证明的保护。这一层面的迁移工作属于以太坊的职责范畴。
  

愿景目标

完成这一路线图不仅是一个技术里程碑，更彰显了 StarkWare 对抗量子（PQ）安全性的战略承诺。Starknet 将成为具备最强抗量子特性的生产级网络，能够经受未来考验；其技术栈的每一层都完全基于抗量子原语运行，且不依赖任何椭圆曲线假设。实现最高安全性与最小化迁移负担并非二选一的权衡，而是优秀架构的应有之义。

对于评估长期基础设施投入的机构，以及构建长周期金融基础设施的开发者而言，向抗量子架构迁移已不再是假设性议题，而是必须满足的要求。Starknet 提供了一条可验证且面向未来的抗量子迁移路径：其证明层架构不依赖椭圆曲线；原生账户抽象功能允许合约在无需协议级破坏性变更的情况下实现抗量子特性；此外，还有一份涵盖所有剩余风险面的、既定且透明的路线图。

这份路线图标志着我们抗量子迁移工作的正式启动，而非终结。我们将持续关注继承自 L1（以太坊主网）的依赖关系、以太坊自身的迁移路径以及更广泛的量子安全风险态势，并随着事态发展发布后续评估报告。

随着这项工作从规划阶段进入实施阶段，我们欢迎社区提供技术反馈；同时，我们将持续公布抗量子计划的进展以及路线图里程碑的达成情况。