比特幣開發人員提出了一種新方法，無需軟分叉即可為比特幣（BTC）帶來更具表現力的鏈下智慧合約。
ZeroSync專案負責人Robin Linus 在10 月9 日題為「BitVM：在比特幣上計算任何東西」的白皮書中宣布，BitVM 可以在不改變比特幣共識規則的情況下實現圖靈完備的比特幣合約。
“任何可計算函數都可以在比特幣上驗證”https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— яobin linus (@robin_linus) 2023 年10 月9 日
圖靈完備系統理論上可以為任何計算問題提供答案。
使用BitVM，比特幣合約的「邏輯」將在鏈外執行，但驗證將在比特幣上進行——類似於以太坊的Optimism匯總。
BitVM 的架構是基於詐欺證明和挑戰回應模型，其中「證明者」可以提出主張，「驗證者」可以執行詐欺證明，以在提出虛假主張時懲罰證明者。
Linus 解釋說，比特幣目前的形式僅限於基本操作，例如簽章、時間鎖和哈希鎖，但現在可以透過BitVM 進行擴展，Linus 表示BitVM 可以計算許多有趣的應用程式。
“潛在的應用包括國際象棋、圍棋或博彩等遊戲，特別是比特幣合約中有效性證明的驗證。”
「此外，還可以將BTC 與外國鏈連接起來，建立一個預測市場，或者模擬新穎的操作碼，」Linus 說。
Linus 表示，該模型的限制在於，它僅限於具有證明者和驗證者的兩方設置，並且需要大量的鏈下計算和通訊來執行程式。
Linus 表示，下一個「里程碑」是除了Tree++（一種用於編寫和調試比特幣合約的高級程式語言）之外，全面實作BitVM。
BitVM 由2021 年11 月發生的Taproot 軟分叉啟用。
Linus 在撰寫這份長達八頁的白皮書時引用了以太坊對Optimism總結的研究以及對Merkle 樹的研究。
比特幣支持者對BitVM 的回應
著名比特幣專家 Eric Wall 在X (Twitter) 上發文稱，BitVM 白皮書中概述的概念“經過檢驗”，並且“謹慎地興奮”地想看看它在現實世界中的實驗結果。
比特幣分析師Dylan LeClair 也對BitVM 的白皮書印象深刻。但比特幣核心貢獻者Adam Back 表示，人們還不該對這項發展感到太興奮。
對於那些變得（過度）興奮的人來說，這很酷，但實際上是兩方遊戲的概括– 它在抽像中說得對– 所以它有點像Greg Maxwell 的2016 ZKP 或有支付實施示例https ://t.co/厄立特里亞大學
— Adam Back (@adam3us) 2023 年10 月9 日
BIP-300 biff：關於比特幣傳動鏈提案多年的爭論重新燃起
區塊鏈領域的一位建構者「dotta」指出，GitHub 上已經有一個概念驗證。
另一位X 用戶Sam Parker 試圖透過解釋BitVM 不會強迫比特幣「鎖定」到這些合約中來解決比特幣最大化主義者中普遍存在的恐懼。
「最後，這是選擇加入。 如果你不相信你的代幣被鎖定到某個圖靈完備的合約（完全合理），那麼就不要將它們鎖定到圖靈完備的智能合約。 之一 [the] UTXO 系統的優點是安全沙箱。 」
其他人，例如“psage”，則表示BitVM 增加了將在下一個牛市中推動比特幣價格上漲的因素。
圍繞著#Bitcoin 的看漲內容如滾雪球般越滾越大，其中很多都存在爭議，但有些是我的指尖：
– 比特虛擬機
– 序數詞
– 多位總統候選人談論此事
– ETF
– 減半
– 隱私改進
– 指數哈希率增加
– 國家挖礦
….
– psage (@perspiringsage) 2023 年10 月9 日
Cointelegraph 聯繫了Linus 請求置評，但沒有立即收到回應。
雜誌：《Wolf Of All Streets》對比特幣突破100 萬美元的世界感到擔憂：Hall of Flame
資訊來源：由0x資訊編譯自COINTELEGRAPH。版權歸作者Brayden Lindrea所有，未經許可，不得轉載