作者：Castle Labs
編譯：深潮 TechFlow
深潮導讀：當鏈上金融越來越接近傳統市場，兩個致命問題浮出水面：所有資金流動都公開可見，以及量子計算對現有加密簽名的威脅。比特幣作為佔據加密市場 56% 份額的最大資產，成為這兩個問題最清晰的試金石。Starknet 的 strkBTC 方案試圖同時解決可見性和持久性：既讓比特幣能私密轉賬，又在量子時代到來前做好技術準備。
隨著鏈上金融越來越接近傳統市場，數字資產正面臨更高標準和更嚴苛要求。
這個新世界存在兩個關鍵問題：鏈上資金流動對所有人公開可見，以及支撐整個技術的加密簽名正面臨量子計算的威脅。
This is most evident on Bitcoin.
比特幣目前佔加密市場總市值的 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 月，由 Justin Drake（以太坊基金會）和 Dan Boneh（史丹福大學）共同撰寫的 Google Quantum AI 報告，確定了多條攻擊路徑，並估計以太坊生態系統中約有 100 億美元處於風險之中。該報告還特別指出，Starknet 因其證明系統基於哈希的 STARK 假設而非橢圓曲線密碼學，因此比其他主要 L2 具有更強的後量子地位。
該論文聚焦於 secp256k1 公鑰暴露，與比特幣和以太坊錢包相關，指出功能足夠強大的量子計算機可在不到 9 分鐘內攻擊錢包，Justin Drake 後來警告說，「至少有 10% 的可能性」量子計算機到 2032 年能從暴露的公鑰中恢復私鑰。
雖然這在今天還不是現實，但這種本應持有數十年的資產的長期安全性及其壽命已受到質疑。
比特幣是世界上最重要的數字資產，隨著它越來越多地作為抵押品、儲備和機構資產負債表上的資產，其安全和隱私要求也在上升。
在下一節中，我們重點介紹一個圍繞比特幣開發的解決方案，這是這些隱私挑戰的最大且最清晰的測試案例。
strkBTC：Starknet 上的私密 Bitcoin
我們可能都使用過 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 運營合規基礎設施的獨立第三方審計機構，在有效監管請求下獲授予範圍訪問權限。雖然這可能與純粹的密碼朋克哲學不符，但它與傳統市場的契合度更高。對公眾隱私，向監管機構披露。
橋由可信的 strkBTC 聯盟運營，成員包括 Twinstake、NEAR Intents、Luganodes、UTXO Management 和 Xverse。目前，這些獨立簽名者支援 BTC 與 strkBTC 之間的鑄造與銷毀。聯盟並非最終狀態；然而，Starknet 致力於隨著時間推移逐步強化路線圖。
strkBTC 不是要成為另一個包裝代幣，而是要釋放可程式設計、可組合的 BTC 的潛力，其移動不被廣播，從而解決第一個問題：可見性。
下一個問題是持久性。
區塊鏈的量子問題
每個區塊鏈都依賴公鑰密碼學。當用戶簽署交易時，他們會公開公鑰，同時隱藏私鑰。這在比特幣和大多數其他區塊鏈中是常規操作，在當前環境中被視為完全正常且安全。但在後量子世界中，這一假設變得有些不穩定。
如前所述，功能足夠強大的量子電腦理論上可從公開的公鑰中推導出私鑰。這意味著公鑰暴露——交易驗證的無害部分——可能很快變成潛在的攻擊面。這不是任何一條鏈獨有的問題，因為比特幣、以太坊和 Solana 底下的相同橢圓曲線基礎都存在此風險。
威脅是共享的，但應對能力並非如此。最易受攻擊的鏈通常是最遲鈍的鏈，比特幣就是最清晰的例子。
比特幣並不缺乏後量子未來的構想。如果說有什麼的話，它實在有太多構想。問題在於達成網絡願意接受的權衡共識：更大的簽名、更高的成本、遺留幣處理、用戶遷移、錢包支援、礦工政策，或為凍結的休眠幣和未遷移幣而戰。
顯然，比特幣的問題既是技術性的，也是社會性和政治性的。
Google 論文的聯合作者之一 Dan Boneh 在最近的一次採訪中讓所有人冷靜下來：「比特幣不應恐慌，但也不能忽視這一點。過快行動可能比等待更糟，因為倉促的後量子遷移可能在量子成為實時攻擊之前引入災難性錯誤。」
比特幣可能會解決其量子問題，但不會快速或乾淨地解決。
這種遲緩在某種程度上是健全貨幣的特徵，但它也留下了大門。當基礎層爭論時，更敏捷的堆棧可以構建比特幣本身尚無法承諾的持久性。
以太坊及其擴展的 L2 無法逃脫這個問題。大多數 rollup 將結算發送到以太坊，並依賴其進行數據可用性，從而繼承了基礎層的風險。以太坊意識到這一點，並發布了自己的多年遷移計劃，但在計劃實施之前，建立在其上的每一條鏈都暴露於以太坊的後量子遷移問題中。
這正是 Starknet 領先的地方。雖然它像其他任何 L2 一樣結算到以太坊，但 Starknet 的核心——其證明層——是建立在不依賴量子脆弱密碼學的基礎上的。儘管從以太坊繼承的暴露是真實的，但 Starknet 自己堆棧中的所有內容都比大多數主要鏈承載更少的遷移債務，並且它在管道中還有更多內容。
架構優勢
Starknet 的優勢地位源於兩個設計選擇，這兩個決定都在量子計算成為緊迫問題之前就已做出。
第一個是證明層，即用於生成 STARK 證明以保護網絡上每次狀態轉換的系統。它依賴哈希函數，而非量子計算機所威脅的橢圓曲線數學，這一設計自 2018 年由 StarkWare 執行長 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 實現抗量子安全。
雖然結果仍處於早期，但方向很明確：鏈上金融的下一個機構階段需要的不僅僅是收益率。它需要隱私、合規、可程式設計性和持久性全部集成在同一個技術棧中。