該機制歷時三個月完成，已在比特幣測試網 Signet 上實現，距離在更廣泛的生態系統中使用還有很長的路要走。
StarkWare，一家開發零知識技術的公司自 2018 年起在以太坊上，已在比特幣測試網中成功驗證了零知識證明（ZK-proof）。
該機制歷時三個月完成，並在比特幣測試網 Signet 上實現。然而，要在更廣泛的生態系統中使用，它還有很長的路要走。
啟用zk-proofs (OP_CAT) 等功能的腳本仍然沒有在比特幣社區中獲得足夠的共識，因此無法被引入.
儘管遭遇了這一挫折，StarkWare 的舉動對於以前被稱為數字寵物搖滾的網路來說是一件吉祥的事。
由於網路的運算能力有限，在比特幣上驗證 zk 證明以前是不可用的。 OP_CAT 以及在比特幣 Signet 上進行測試的公司旨在改變這一現實，並將其他區塊鏈上存在的廣泛應用程式引入業界最古老的生態系統。
“這是一項巨大的努力，花費了大量時間”，L2 Iterative 的 Weiken Chen 在與 The Defiant 分享的一份聲明中說道。 「我們從一無所有開始。沒有關於比特幣ZK 證明的資訊。沒有關於數學運算的資訊可供遵循。我們必須建立完整的堆疊，最終導致STARK 驗證器的實施。」
當一方可以向另一方證明給定的陳述是真實的而不透露任何其他資訊時，就會發生zk 證明。 Zk-proofs 已成為以太坊最有價值的計算工具之一，特別是隨著以隱私為中心的擴展競賽的繼續進行。
以太坊的 Rollup 競賽來到了比特幣
以太坊上有兩種類型的 Rollup：樂觀和零知識。
樂觀總結假設所有第 2 層交易都是有效的，除非受到誠實的網路驗證者的質疑和證明是錯誤的，而 zk-rollups 假設所有交易都是錯誤的，直到透過 zk-proofs 證明有效。
根據 L2Beat，樂觀Arbitrum、Base 和 Optimism 等 Rollups 佔據了近 70% 的市場份額。 StarkWare 自己的Layer 2 Starknet 以1.7% 的市佔率遠遠落後，在同類產品中排名第四，落後於Linea (2.9%)、ZKSync (2.8%) 和Scroll (4.3%)，後者的市佔率總鎖定價值(TVL) 飆升至10 億美元以上。
然而，儘管零技術擴展解決方案的使用較少，但它們具有重要的優勢，包括增強隱私性和更快地連接到主網。
隱私是 StarkWare 一直關注的地方它的努力在很大程度上歸功於其創始人兼首席執行官 Eli Ben-Sasson 與隱私區塊鏈世界的聯繫。 Ben-Sasson 是頂級隱私加密貨幣 Zcash 背後的首席科學家。
Zcash 已經失去了在該領域的主導地位，其市值為 4.78 億美元，低於 2022 年 35 億美元的峰值。該代幣飆升了 8%今天漲到 31 美元，原因似乎還不清楚。
在比特幣上測試零知識技術是有意義的，因為眾所周知，比特幣缺乏隱私且難以擴展。
OP_CAT 繼續接受測試
有可能帶來一些以太坊對比特幣最有價值的工具是由中本聰時代的代碼 OP_CAT 啟用的。
OP_CAT 是「Operation Concatenate」的縮寫，是一種操作碼，最初由比特幣的未知創造者中本聰提出。它允許在執行比特幣交易期間將兩條資料組合成一條資料。
該操作碼毫無疑問是有爭議的。
比特幣社群中的許多人譴責它是對網路的攻擊，這可能會打開像 MEV 這樣的攻擊向量。事實上，被稱為「mempool sniping」的 MEV 式攻擊已經變得普遍，儘管這主要是由於 Ordinals 而不是 OP_CAT。
Ben-Sasson 和 StarkWare 正在一線測試並推動 OP_CAT 的重新引入。 6 月初，該公司公佈了一項雄心勃勃的計劃，透過有爭議的腳本擴展比特幣，而 zk-proof 是朝這個方向邁出的一步。
在談到 OP-CAT 時，Ben-Sasson 表示「它將保持所有比特幣價值不變」 ，同時提供一個簡單的框架，足以為比特幣帶來 STARK 擴展。 」
以上是StarkWare 將零知識技術引入比特幣，在 Signet 測試網路上驗證 zk 證明的詳細內容。更多資訊請關注PHP中文網其他相關文章！
