ZeroSync 專案負責人Robin Linus 於10 月9 日發布了一份突破性的白皮書，介紹了BitVM——一種旨在為比特幣帶來更具表現力的鏈下智能合約而無需進行軟分叉的機制。這種創新方法基於以太坊的樂觀匯總和梅克爾樹技術的最新發展，旨在擴展比特幣在智慧合約和去中心化應用程式（DApp）領域的功能。
BitVM：彌合比特幣和智能合約之間的差距
正如題為「BitVM：在比特幣上計算任何東西」的白皮書中所闡述的那樣，BitVM 的架構是為了使圖靈能夠在不修改比特幣共識規則的情況下完成比特幣合約。圖靈完備系統的特點是，只要有足夠的時間和運算資源，它就能為任何運算問題提供解決方案。該機制允許比特幣合約的「邏輯」在鏈外執行，同時在比特幣上執行驗證，類似於以太坊的樂觀匯總。
BitVM 的架構從根本上來說是基於詐欺證明並採用挑戰-回應模型。在這個模型中，「證明者」提出主張，「驗證者」執行詐欺證明，以在提出虛假主張時對證明者進行懲罰。 Linus 強調，雖然比特幣現有的形式僅限於簽章、時間鎖和哈希鎖等基本操作，但該機制可以顯著擴大這一範圍，從而能夠計算無數有趣的應用程式。
BitVM 的潛在應用與局限性
Linus 強調，BitVM 可以為許多應用程式鋪平道路，包括國際象棋、圍棋或撲克遊戲平台，尤其是比特幣合約有效性證明的驗證。此外，它可能會促進 BTC 與外國鏈的橋接、預測市場的建立或新穎操作碼的模擬。
然而，值得注意的是，該模型有其局限性。它僅限於涉及證明者和驗證者的兩方設置，需要大量的鏈下計算和通訊來執行程式。 Linus 也提到，下一個「里程碑」是除了 Tree++（一種旨在編寫和調試比特幣合約的高級程式語言）之外，全面實作 BitVM。該機制由 2021 年 11 月執行的 Taproot 軟分叉啟用。
比特幣社群對 BitVM 的反應
BitVM 的推出引起了比特幣社群的強烈迴響。著名的比特幣支持者 Eric Wall 表示，BitVM 白皮書中概述的概念“得到驗證”，並表示他對見證可能源自於該白皮書的現實世界實驗感到“謹慎興奮”。比特幣分析師 Dylan LeClair 也表達了對 BitVM 白皮書的讚賞。
相反，Bitcoin Core 的貢獻者 Adam Back 建議社群暫時緩和對開發的興奮。區塊鏈領域的一位名為「dotta」的建構者強調，GitHub 上已經提供了概念驗證。另一位用戶 Sam Parker 試圖緩解比特幣最大化主義者的普遍擔憂，他解釋說 BitVM 不會強迫比特幣「鎖定」到這些合約中。他強調，“如果你不相信你的代幣被鎖定在某個圖靈完備的合約上（完全合理），那麼就不要將它們鎖定在圖靈完備的智能合約上。”
結論
BitVM 具有將類似以太坊的智慧合約引入比特幣的潛力，證明了加密貨幣領域的持續發展和創新。雖然它開啟了多種可能性，但該機制的實際實施和採用將是其成功增強比特幣在智慧合約和去中心化應用領域功能的真正決定因素。隨著 BitVM 從白皮書概念轉變為現實世界的應用程序，比特幣社群、開發人員和分析師都將密切關注接下來的發展
