StarkWare 的 STRK20 是加密貨幣多年來一直缺失的東西。 它不是另一個「隱私附加功能」，而是將隱私直接內建於系統之中。 讓我們從技術角度來剖析。 公有區塊鏈本質上是透明的。每一筆餘額、轉帳和交易對手都可見。這對審計很有幫助，但卻嚴重阻礙了採用。企業無法公開財務流動，員工不希望薪資公開，交易者也不願讓策略被前跑。 現有的解決方案試圖透過混合器和包裝器來解決這個問題，但它們割裂了流動性，並將隱私視為事後補充。分離的資金池、分離的資產、分離的基礎設施。 STRK20 順利翻轉了這個模式。 它是一個代幣框架，讓任何位於 Starknet 上的 ERC-20 代幣都能將隱私作為原生屬性。不是包裝器，也不是混合器。 其核心是一個共享的隱私資金池。 所有 ERC-20 代幣都使用同一個資金池。 用戶充幣 → 私密交易 → 需要時提幣。 發送者、接收者、代幣類型和數量預設全部隱藏。 每一筆交易都由 ZK-STARK 證明支持，驗證有效性而不洩露任何資訊。 架構才是最有趣的部分。 所有內容均以 Cairo 語言編寫，與 Starknet 證明區塊所用語言相同。 無需自訂電路， 無需平行證明堆疊， 應用邏輯與證明使用同一套系統。 證明由 StarkWare 的下一代證明器 Stwo 在用戶端生成，基於 M31 域上的 Circle STARKs，速度比其先前系統快約 100 倍。 這意味著證明可在您的手機或筆電上生成。 您的交易在本地被證明，序列器僅驗證而不見任何資料。 這與集中式證明模型有重大差異。 此外，還有一套周全的合規層。 用戶在鏈上註冊加密檢視金鑰。 若需合規，指定審計方可解密特定用戶的歷史紀錄，而不洩露資金池中其他用戶的資料。 這是選擇性披露，而非後門。 可透過閾值加密實現，意味著無任何單一當事人能單方面監控用戶。 單一資金池設計至關重要。 大多數隱私系統將流動性分割為每資產獨立資金池，資金池越小，隱私越弱。 STRK20 在所有資產中使用單一共享匿名集。 用戶越多，隱私越強，且無割裂。 上線首日即計劃實現： • Ekubo 上的匿名交換 • 匿名質押流程 交易會公開影響 AMM，但您的身分始終隱藏。 從 ZK 的角度來看，這是多年研究的集大成之作： Cairo 用於邏輯 STARK 證明（無可信設置） AIR 約束 基於雜湊的承諾 用戶端證明 無需橢圓曲線假設， 抗量子安全。 速度也極快： 約 5 秒最終確認，成本低於 $0.20。 此時問題已不再是密碼學是否有效， 而是合規模型是否足以支持真實機構採用。 因為現在的難題不再是數學， 而是監管。 但純粹從 ZK 工程角度來看，STRK20 是我們在通用型 L2 上見過最乾淨的「預設隱私」系統之一。