根據 CoinDesk 報導，本週發表的一篇研究論文概述了一種名為 BitVM 的新範式，旨在將以太坊式的智慧合約引入比特幣網路。這篇論文的作者是 Robin Linus，他是 ZeroSync 的核心貢獻者，ZeroSync 是一個開發在比特幣上使用零知識證明的工具的專案。 BitVM 的目標是實現圖靈完備的比特幣合約，而不會讓網路對其他用戶來說變得更加複雜。計算將在鏈下執行，然後在鏈上進行驗證，類似於以太坊上的樂觀匯總機制。
該協議涉及兩方：「證明者」和「驗證者」。證明者聲稱特定函數在給定某些輸入時會產生特定輸出。他們預先簽署一系列交易，從而在兩人之間進行挑戰-回應遊戲。然後，他們將鏈上存款存入比特幣地址，啟動合約，並開始交換鏈下數據，如果提出任何不正確的主張，驗證者可以取得證明者的存款。 Linus 寫道，這應該意味著攻擊者總是會失去他們的存款。
然而，BitVM 的提議得到了不同的回應，一些評論員指出了其局限性。匿名比特幣作家 Shinobi 指出，鏈下資料管理的成本“巨大”，並且僅涉及證明者和驗證者兩方的協議也是一個“很大的限制”。 Ordinals 市場 Bioniq 的執行長 Bob Bodily 將 BitVM 與以太坊虛擬機 (EVM) 的早期有限版本進行了比較，但也承認這是一個令人驚嘆的突破，可以解決問題。他說：“在接下來的幾個月裡，我預計其中許多漏洞將得到填補，屆時我們將擁有更強大的比特幣腳本，而無需進行比特幣升級。”
在比特幣網路中實施智慧合約功能的努力並不新鮮。由於與以太坊或 Solana 等區塊鏈相比，其腳本語言更簡單，開發人員一直在嘗試尋找解決網路限制的方法。去年 12 月，區塊鏈專案 Stacks 發布了一份白皮書，介紹其數位資產「Stacks 比特幣」（sBTC），宣傳其是將智慧合約引入比特幣的一種方式。
