Starknet 推出私密版比特币 strkBTC，瞄准机构链上金融市场

作者：Castle Labs

编译：深潮 TechFlow

深潮导读：当链上金融越来越接近传统市场，两个致命问题浮出水面：所有资金流动都公开可见，以及量子计算对现有加密签名的威胁。比特币作为占据加密市场 56%份额的最大资产，成为这两个问题最清晰的试金石。Starknet 的 strkBTC 方案试图同时解决可见性和持久性：既让比特币能私密转账，又在量子时代到来前做好技术准备。

随着链上金融越来越接近传统市场，数字资产正面临更高标准和更严苛要求。

这个新世界存在两个关键问题：链上资金流动对所有人公开可见，以及支撑整个技术的加密签名正面临量子计算的威胁。

这在比特币上表现得最为明显。

比特币目前占加密市场总市值的 56%以上，仍是整个加密市场的锚点，尽管它本身几乎没有可编程性。

为了提升其实用性和可编程性，比特币被跨链导出，通过包装代币进入链上金融世界。

但 DeFi 中的比特币不仅需要更高收益率；它需要一种不被公开广播就能大额转移的方式，以及当明天的量子计算机到来时它仍然安全的保证。

链上金融的其他资产也是如此：资产需要在不向公众暴露每个持仓的情况下转移、结算和组合，并且不能依赖可能无法存活到下个十年的加密技术。

我们一直在跟踪一个协议，它似乎比大多数项目更早理解这些问题并围绕这两个问题构建解决方案。

尽管 Starknet 在今年早些时候推出了 BTCFi 活动，但它不仅仅是让比特币在链上可用。它将比特币作为个人和机构真正关心的条件的第一个清晰测试案例：默认私密，必要时可披露，并为后量子未来加固。

关于 Starknet 在这一领域的工作背景，我们之前报道过为什么 2 万亿美元的比特币闲置不动以及 Starknet 的路线图如何规划通往无需信任的 BTC 之路，以及 Starknet 的新隐私框架 STRK20，以及他们为什么将系统设计为"通过所有权实现隐私"。

隐私与量子倒计时

加密世界的核心信条一直是"不要信任，要验证"，这正是公开透明的区块链一直允许我们做的事。验证余额，窥探转账，检查资金流，监控合约交互。所有内容对所有人公开。

你能理解这是如何开始的。

透明度建立信任，但完全透明会损害知识产权、策略、人身安全和操作隐私。在今天这一点尤其真实，AI 驱动的去匿名化可以将公开地址与真实身份关联，精确度高达 90%。

隐私不仅是人权，也是链上用户保护和机构采用所需的关键基础设施。

个人需要隐私以避免监控、画像、骚扰、犯罪和政治曝光。机构需要隐私以确保持仓、订单流和其他数据的机密性，以及防止交易对手可见性和策略泄露。此外，隐私需要配置为可以向审计师、监管机构或合规部门选择性披露。

之前的链上隐私尝试反复突显了权衡：

像 Tornado Cash 这样的纯匿名隐私池遭遇了合规压力，导致 OFAC 制裁，以及对开发者的刑事指控和监禁，活生生证明了不合规路径充满政治和法律风险。

原生链上的隐私币（如 Monero、Zcash）证明了隐藏交易是可能的，但一直难以与链上世界的其他部分整合，无法大规模与 DeFi 原语组合，指向一个比隐私本身更大的问题，即流动性、互操作性和合规性问题。

像 Aztec 这样的私密执行系统看到了对私密 DeFi 的早期需求，但它们常常面临高成本、流动性碎片化和糟糕的用户体验。

缺乏隐私导致的问题不仅存在于孤立的链上世界，还渗透到了物理世界。与真人绑定的链上地址和公开余额带来了更高的攻击风险。CertiK 报告称，2026 年前四个月有 34 起经过验证的针对加密货币持有者的物理攻击，同比增长 41%，这仅代表这些极度被低报事件的记录部分。更具体地说，在法国，2026 年 1 月至 5 月发生了 41 起与加密货币相关的绑架案，平均每 2.5 天一起。

隐私不仅关乎隐藏交易活动或保护 alpha，还越来越多地关乎降低个人和操作风险。

虽然隐私问题正在行业中积极解决，但量子计算的另一个威胁已经浮现。同时解决可见性和持久性的路径可以推动区块链更接近成为下一代金融基础设施。

今年 3 月，Google Quantum AI 的报告由 Justin Drake（以太坊基金会）和 Dan Boneh（斯坦福大学）共同撰写，确定了多条攻击路径，并估计以太坊生态系统中约有 1000 亿美元处于风险之中。它还特别指出 Starknet 比其他主要 L2 具有更强的后量子地位，因为其证明系统基于基于哈希的 STARK 假设而非椭圆曲线密码学。

该论文聚焦于 secp256k1 公钥暴露，与比特币和以太坊钱包相关，指出功能足够强大的量子计算机可以在不到 9 分钟内攻击钱包，Justin Drake 后来警告说，"至少有 10%的可能性"量子计算机到 2032 年能从暴露的公钥中恢复私钥。

虽然这在今天还不是现实，但这种本应持有数十年的资产的长期安全性及其寿命已受到质疑。

比特币是世界上最重要的数字资产，随着它越来越多地作为抵押品、储备和机构资产负债表上的资产，其安全和隐私要求也在上升。

在下一节中，我们重点介绍一个围绕比特币开发的解决方案，这是这些隐私挑战的最大且最清晰的测试案例。

strkBTC：Starknet 上的私密比特币

我们可能都用过 BTC 包装代币。它们让比特币进入其他生态系统并变得可组合：作为可交易资产、作为抵押品、作为流动性。

它们没有解决的是可见性。

虽然包装 BTC 可以变得有生产力，但每一次移动仍然可以被监控、检查和交易对手交易。存款、贷款、交易、LP 持仓、还款、提款、钱包集群、国库流动。全部默认公开。

这不是严肃金融市场的运作方式，在解决这个问题之前，链上金融将持续触及机构天花板。

在传统金融中，隐私内置于基础设施中，无论你是散户还是机构巨头。事实上，很大一部分股票交易量通过暗池等私密或场外交易场所流动，交易对手看到他们需要看到的内容，监管机构在需要时保留访问权限，而公众看到的是汇总交易量而非每一次实时移动。

加密货币将可见性视为标准。实际上，隐私应该是常态。

strkBTC 是 Starknet 试图让比特币在没有这种限制的情况下在链上金融世界中流动的尝试。

strkBTC 是 Starknet 上的 ERC-20，由锁定在比特币网络上的 BTC 支持，并建立在 StarkWare 的隐私框架 STRK20 之上，用于屏蔽余额和私密转账。

STRK20 为 strkBTC 提供两种模式：

在公开模式下，它的行为类似于标准 ERC-20：用户可以持有、转账、供应给借贷市场、提供流动性或用作抵押品。

在屏蔽模式下，选定的余额和转账从公众视野中隐藏。用户可以屏蔽、私密交易，并直接从钱包内取消屏蔽回到公开余额。

在 Starknet v0.14.2 升级之前，即启用 STRK20 的升级，想要在 Starknet 上验证 STARK 证明的应用程序必须在智能合约内执行此操作，由于证明的大小，这使得成本高昂且复杂。但现在，交易可以直接引用链下证明，Starknet 共识通过协议内证明验证本地处理验证。

这在协议层面解锁了隐私，而不是使用单独应用、链、池或混币器的历史摩擦，这些都会增加复杂性、成本和流动性碎片化。这使应用程序可以专注于构建更好的产品，因为底层基础设施已使构建者可以轻松访问私密操作。

合规是设计的关键部分，这是向进入链上的机构开放 Starknet 的部分。

当用户屏蔽 strkBTC 时，相关的查看密钥会与 Financial Privacy Inc（也称为 FPI）共享，FPI 是为 STRK20 运营合规基础设施的独立第三方审计机构，在有效监管请求的情况下授予其范围访问权限。虽然这可能与纯粹的密码朋克哲学不符，但它与传统市场的契合度要高得多。对公众隐私，向监管机构披露。

桥遵循类似逻辑，由由 Twinstake、NEAR Intents、Luganodes、UTXO Management 和 Xverse 组成的可信 strkBTC 联盟运营。目前，这些独立签名者支持 BTC 和 strkBTC 之间的铸造和销毁。联盟不是最终状态；然而，Starknet 致力于随着时间推移逐步强化路线图。

strkBTC 不是要成为另一个包装代币，而是要释放一个可编程、可组合的 BTC 的潜力，其移动不被广播，从而解决第一个问题：可见性。

下一个问题是持久性。

区块链的量子问题

每个区块链都依赖公钥密码学。当用户签署交易时，他们会透露公钥同时保持私钥隐藏。这在比特币和大多数其他区块链中是常规操作，在今天的环境中被认为是完全正常和安全的。但在后量子世界中，这一假设变得有点不稳定。

如前所述，运行 Shor 算法的功能足够强大的量子计算机理论上可以从暴露的公钥中推导出私钥。这意味着公钥暴露，交易验证的无害部分，可能很快变成潜在的攻击面。这不是任何一条链独有的，因为相同的椭圆曲线基础位于比特币、以太坊和 Solana 之下。

威胁是共享的，但应对能力不是。最暴露的链往往是移动最慢的链，比特币就是最清晰的例子。

比特币不缺乏后量子未来的想法。如果有什么的话，它有太多想法。问题是就网络愿意接受的权衡达成一致：更大的签名、更高的成本、遗留币处理、用户迁移、钱包支持、矿工政策，或为冻结休眠和未迁移币而战。

显然，比特币的问题既是技术性的，也是社会性和政治性的。

Google 论文的联合作者之一 Dan Boneh 在最近的一次采访中让所有人冷静下来："比特币不应恐慌，但也不能忽视这一点。过快行动可能比等待更糟，因为仓促的后量子迁移可能在量子成为实时攻击之前引入灾难性错误。"

比特币可能会解决其量子问题，但不会快速或干净。

这种迟缓在某种程度上是健全货币的特征，但它也留下了大门。当基础层争论时，更敏捷的堆栈可以构建比特币本身尚无法承诺的持久性。

以太坊及其扩展的 L2 不会逃脱这个问题。大多数 rollup 结算到以太坊并依赖它进行数据可用性，从而继承基础层的暴露。以太坊意识到这一点并发布了自己的多年迁移计划，但在计划到来之前，建立在其之上的每条链都暴露于以太坊的后量子迁移问题。

这就是 Starknet 领先的地方。虽然它像任何其他 L2 一样结算到以太坊，但 Starknet 的核心，其证明层，是建立在不依赖量子脆弱密码学的基础上的。虽然从以太坊继承的暴露是真实的，但 Starknet 自己堆栈内的所有内容都比大多数主要链承载更少的迁移债务，并且它在管道中有更多内容。

架构优势

Starknet 的优势地位源于两个设计选择，这两个决定都在量子计算成为紧迫问题之前就已做出。

第一个是证明层，即生成 STARK 证明以保护网络上每次状态转换的系统。它依赖哈希函数，而非量子计算机所威胁的椭圆曲线数学，这一设计自 2018 年由 StarkWare CEO Eli Ben-Sasson 合著的论文起就已确立。这是关键的安全层，也是为什么 Google 的论文将 Starknet 列为唯一一个已经领先的主要 L2。

第二个是原生账户抽象。在大多数链上，签名方案在协议层面是固定的，因此替换它需要硬分叉，每个用户和应用都必须跟进。而 Starknet 让账户自己定义如何验证身份，因此用户可以在不改变协议层的情况下迁移到抗量子签名。据 StarkWare 介绍，一个抗量子钱包 S2morrow 已经使用 Falcon-512 部署，OpenZeppelin 正在构建标准化版本。

在许多链上，这种改变意味着协调整个协议迁移。在 Starknet 上，大部分工作可以从钱包升级开始。这并不意味着每个 Starknet 钱包都抗量子，而是这个模型为 Starknet 用户提供了一条更容易的路径。

StarkWare 现在正在弥补剩余的缺口。上周他们发布了一份路线图，计划在 Q-day 之前让 Starknet 实现端到端的抗量子安全。Q-day 是指量子计算机强大到足以破解当今密码学的时间点。

路线图分为三个阶段：

这些都不意味着 Starknet 今天就完全抗量子，路线图也没有这样声称。

还有什么需要证明？

Starknet 可以用 BLAKE2 替换 Pedersen，改进抗量子钱包支持，并为传统合约提供迁移路径，但它无法消除所有从基础层继承的问题。桥接消息和 blob 数据可用性仍然依赖于以太坊自己的抗量子路线图。Starknet 可以加固它控制的部分，但从以太坊继承的部分将按照以太坊的时间表推进。话虽如此，以太坊基金会已经概述了结构化的分叉里程碑，目标是在 2029 年左右完成核心抗量子基础设施。

strkBTC 有类似的阶段性故事。目前，桥接依赖联盟来协调 BTC 和 strkBTC 之间的铸造和销毁。这是一个可信的起点，但不是理想的无需信任的最终状态。Starknet 的目标是从联盟模式转向比特币原生验证，然后是更少信任的 BitVM 设计，最后如果比特币未来启用所需的操作码，就采用完全无需信任的基于 OP_CAT 的设计。

查看密钥是另一个尚待证明的部分。它们是 Starknet 对机构隐私的实用答案：公开不透明但可选择性披露，但尚未在真实场景中经过压力测试，这引发了关于谁可以要求披露、在什么条件下、有什么保障措施的问题。

数字资产，包括比特币，不需要另一个包装。它们需要周围的基础设施能够在链上运行，同时不损害机构最关心的两件事：当下的保密性和未来的持久性。

strkBTC 通过为 BTC 提供一条进入 DeFi 的私密、可选择性披露的路径来解决保密性。Starknet 现有的架构和路线图针对持久性：其证明层已经避免了给其他协议造成抗量子迁移负担的椭圆曲线假设，其路线图现在将这一优势扩展到剩余的部分，明确目标是在"Q-day"之前让 Starknet 实现抗量子安全。

虽然结果仍处于早期，但方向很明确：链上金融的下一个机构阶段需要的不仅仅是收益率。它需要隐私、合规、可编程性和持久性全部集成在同一个技术栈中。