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 實現抗量子安全。

雖然結果仍處於早期，但方向很明確：鏈上金融的下一個機構階段需要的不僅僅是收益率。它需要隱私、合規、可編程性和持久性全部集成在同一個技術棧中。