事實證明，七月是利用零知識證明擴展比特幣規模的努力取得顯著成果的一個月。
首先，StarkWare 於7 月17 日在比特幣的Signet 測試網路上展示了STARK 驗證器。
上週，在納許維爾舉行的比特幣2024 大會上，BitcoinOS 和BitVMX 背後的兩個競爭團隊在比特幣主網上驗證了零知識證明。兩者都使用了BitVM，即“比特幣虛擬機”，這是一種無需軟分叉即可創建圖靈完備比特幣合約的方法。
L2 Iterative Ventures 的Weikeng Chen（他與StarkWare 合作開發了STARK 驗證器）表示，這兩種方法之間的一個關鍵區別在於無信任執行的程度。
「BitVM 有一個信任假設，但仍然需要 [a multisignature scheme]」陳告訴0XZX。「如果我們有OP_CAT，這個假設就可以消除。
這種區別類似於以太坊上的樂觀和zk 或有效性總結之間的區別。
儘管BitcoinOS 和BitVMX 團隊正在驗證zk 證明，但他們是在BitVM 中進行驗證的。 Botanix Labs 創辦人Willem Schroe 表示同意，與未來版本的比特幣（帶有OP_CAT）相比，它們的信任模型截然不同。 Botanix Labs 正在使用BTC 建構一個去中心化的權益證明第2 層，稱為Spiderchain。
Schroe 告訴0XZX：「BitVM 允許你運行任何類型的程式碼，並且運行任何類型的程式碼的信任假設都是樂觀的。」「所以現在你可以說，『有了BitVM 樂觀的詐欺證明假設，我們可以在BitVM中驗證零知識證明。
Rootstock Labs 與Sovereign Labs 合作開發了BitVMX。 BitcoinOS 是一個可互通的rollup 框架，Sovryn（不要與Sovereign Labs 混淆）就是其中的一個實作。
陳表示，“沒有明顯的贏家”，因為即使OP_CAT 被添加到比特幣中，“BitVM 方法在鏈上執行的成本要低得多。”他說，一個潛在的權衡是“挑戰-響應可能會導致較長的結算期」。
例如，在比特幣主網上進行了52 筆小額交易，以展示BitcoinOS 的BitSnark 驗證協議。
此設定涉及兩方：證明者（想要存取鎖定在Taproot 地址中的資金）和驗證者。協議從雙方共同簽署所有交易開始。如果證明者是誠實的，則協議將在初始交易後完成，並且證明者可以在設定的鎖定時間後存取資金。
然而，如果驗證者發現不誠實的證明，他們可以提出挑戰，啟動一系列交易，其中各方輪流進行挑戰和回應，最多可進行26 次迭代，據BitcoinOS 團隊稱。
Atomic Finance 聯合創辦人兼技術長 Matt Black 表示，現在判斷這種方法在實踐中的可擴展性還為時過早。
Black 在BitVM Builders 電報群中表示：“每個人都喜歡談論樂觀匯總帶來的無限可擴展性，但實際上存在很大的限制。”
布萊克指出，信任假設僅為1-of-n，這意味著“n 中必須有一個誠實的一方，否則資金就會被盜”，他告訴0XZX——這比典型的以太坊多重簽名要好。
BitVM 白皮書的作者之一Robin Linus 強調，在設計使用BitVM 的橋樑時，預期它只會偶爾用於處理大量比特幣，例如盤點BTC 以供在另一個網路上使用。
在BitcoinOS 演示中，最終交易試圖在區塊853626 上執行一條鏈上CPU 指令，這涉及證明者在虛擬機器中執行特定的算術運算，經過驗證後，證明者便可以按預期存取資金。
但陳希望看到更多關於如何質疑該證據的信息，並指出發布證據「是比較容易的部分」。
「挑戰證明可能是BitVM 領域中最困難的部分，」Chen 解釋道。 “其構造問題在於，它們不支援內存中的欺詐證明——惡意證明者可以修改狀態以通過無效證明——這很容易被破解。”
陳說，這是BitVM 的普遍問題。 “對於如何有效地在挑戰-響應單元之間傳遞狀態，我們還沒有明確的答案。”
這兩種解決方案距離投入生產還有一段距離。甚至不清楚Bitcoin Core 究竟如何升級才能使用OP_CAT，更不用說何時了。
布萊克認為這可能需要一段時間。 「就我個人而言，我懷疑這項計劃能否在短期內啟動，」他說。
理論上，使用StarkWare 的Circle STARKs 可以提高證明流程的效率，將StarkWare 的解決方案定位為比特幣上零知識證明實現的高度可擴展和安全的替代方案。
儘管如此，透過在不改變比特幣協議的情況下啟用證明驗證（在本例中為SNARK 證明），BitVMX 和BitcoinOS 為以太坊式智能合約等高級應用開闢了潛力，這在以前在比特幣上是不可行的，因此與側鏈相關。
以David Canellis 和Katherine Ross 的頂級加密貨幣見解開啟您的一天。訂閱Empire 時事通訊。
與Ben Strack、Casey Wagner 和Felix Jauvin 一起探索加密貨幣、宏觀經濟、政策和金融之間日益增長的交集。訂閱On the Margin 電子報。
Lightspeed 新聞通訊每天都會發送到您的收件匣，其中包含有關Solana 的所有資訊。訂閱Jack Kubinec 和Jeff Albus 的每日Solana 新聞。
資訊來源：由0x資訊編譯自BLOCKWORKS。版權歸作者Macauley Peterson所有，未經許可，不得轉載