一位比特幣開發者提出了一種新的方法，可以在不需要軟分叉的情況下，將更具表現力的鏈下智能合約引入比特幣（BTC）。

在 10 月 9 日發佈的題爲“BitVM：在比特幣上計算任何東西”的白皮書中，由 ZeroSync 項目負責人 Robin Linus 宣佈，BitVM 使得比特幣合約具備圖靈完備性，而無需改變比特幣的共識規則。

"任何可計算的函數都可以在比特幣上驗證"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg

— яobin linus (@robin_linus) 2023年10月9日

圖靈完備的系統是理論上可以爲任何計算問題提供答案的系統。

通過 BitVM，比特幣合約的“邏輯”將在鏈下執行，但驗證將在比特幣上進行 — 類似於以太坊的樂觀彙總。

BitVM 的架構基於欺詐證明和挑戰-響應模型，其中“證明者”可以做出聲明，而“驗證者”可以執行欺詐證明以懲罰做出虛假聲明的證明者。

Linus 解釋說，比特幣在目前的形式下，僅限於基本操作，例如簽名、時間鎖和哈希鎖 — 但現在可以通過 BitVM 擴展，Linus 說這可以計算出許多有趣的應用。

“潛在應用包括象棋、圍棋或撲克等遊戲，特別是在比特幣合約中驗證有效性證明。”

“此外，可能有可能將 BTC 橋接到外部鏈，建立預測市場，或模擬新穎的操作碼，”Linus 說。

Linus 說該模型的一個限制是它限於一個由證明者和驗證者組成的雙方環境，並且需要大量鏈下計算和通信才能執行程序。

Linus 說下一個“里程碑”是完全實現 BitVM，以及 Tree++ — 一種用於編寫和調試比特幣合約的高級編程語言。

BitVM 是由 2021 年 11 月進行的 Taproot 軟分叉啓用的。

Linus 引用了以太坊對樂觀彙總的研究以及對默克爾樹的研究，爲這篇八頁的白皮書做出了貢獻。

比特幣愛好者對 BitVM 的反應

知名比特幣用戶 Eric Wall 在 X（推特）上發佈，表示 BitVM 白皮書中列出的概念“很靠譜”，並且對從中產生的現實世界實驗“謹慎興奮”。

比特幣分析師 Dylan LeClair 也對 BitVM 的白皮書印象深刻。但比特幣核心貢獻者 Adam Back 建議人們不應該對這一發展過於興奮。

對於那些（過於）興奮的人來說，這很酷，但實際上是一個雙方遊戲的概括 - 在摘要中就說得很清楚 - 所以這有點像 Greg Maxwell 在 2016 年實施的 ZKP 有條件支付示例 https://t.co/OeHRsbFjud

— Adam Back (@adam3us) 2023年10月9日

區塊鏈領域的一位建設者“dotta”指出，GitHub 上已經有了一個概念驗證。

另一位 X 用戶 Sam Parker 試圖通過解釋 BitVM 不會強迫比特幣“鎖定”在這些合約中，來解決比特幣極端主義者的普遍恐懼。

“最後，這是自願的。如果你不信任你的幣被鎖定到某個圖靈完備合約（完全合理），那麼就不要將它們鎖定到圖靈完備智能合約中。UTXO 系統的美妙之一是安全沙盒。”

其他人，例如“psage”，表示 BitVM 增加了在下一個牛市中推動比特幣價格上漲的因素。

關於 #Bitcoin 的看漲消息正在不斷增加，雖然許多是有爭議的，但我可以快速列出一些：- BitVM- 序數- 多位總統候選人討論此事- ETF- 減半- 隱私改進- 指數級哈希率增加- 國家挖礦 ....

— psage (@perspiringsage) 2023年10月9日

Cointelegraph 聯繫了 Linus 以獲取評論，但沒有立即收到回覆。

雜誌：全街的狼擔心比特幣達到100萬美元的世界：烈焰大廳