撰稿：Jaleel，BlockBeats
昨夜，ZeroSync 專案負責人發布了一篇名為「BitVM：在比特幣上計算任何內容」（BitVM: Compute Anything on Bitcoin）」的白皮書引起了熱議。
在這篇由Super Testnet 和Sam Parker 審查的白皮書中可以看出，BitVM 是Robin Linus 在Zero Sync 設計的一種新型計算範例，融合了Optimistic Roll Up、Fraud Proof 詐欺證明、Taproot Leaf 和Bitcoin Script。
BitVM 允許在不改變比特幣網路共識規則的情況下表達圖靈完備的比特幣合約，可以執行任何可計算的函數，進行離線計算，而不會在鏈上留下任何痕跡。白皮書也介紹了BitVM 的架構、輸入輸出、限制和展望等方面的內容。
白皮書發出後僅一小時就達到了11 萬瀏覽量，截至撰稿時的瀏覽量已經達到了182 萬，在英文社區的討論異常熱烈，佔據了加密圈近段時間以來的最大熱點之一。 KOL @LeonidasNFT 認為這是一個令人期待的創新，於是將BitVM 的論文刻在了比特幣銘文上，用更Native 的方式讓其永遠存在。
比特幣開發者怎麼評？
今年的比特幣生態格外熱鬧，Ordinals 市場衍生出了許多比特幣的擴展敘事，比特幣開發者們也熱鬧非凡。
目前專注於Ordinals marketplace 和launchpad 的BioniqMarket 執行長@BobBodily 一直在建立工具以幫助開發人員在比特幣上進行建置。他在自己的社群媒體上表示：「BitVM 並不是一勞永逸的解決方案。BitVM 並不像EVM 那麼好，它更慢更貴更複雜。BitVM 的核心優勢是我們現在就可以在比特幣上獲得額外的可程式性，而無需升級。不需要新的op_codes。無需軟分叉。現在就可以使用。」
同時BobBodily 也表示：「BitVM 容易實現的潛在用例包括去中心化目前依賴中心化服務的各種應用程式的部分，包括DLC 預言機、擁塞控制/coinjoin 聚合器和側鏈法定數。此外，BitVM沒有解決側鏈的無信任橋接問題，可能需要契約。BitVM 嚴格優於Greg Maxwell 2016 年的ZKP 有條件付款範例。BitVM 非常複雜，理解和實施都很困難。透過一個op_code 升級比特幣可以實現相同的事情。」
比特幣不需要進行任何改變
相關研究員Sam Parker 認為BitVM 提供的在不修改比特幣協議的情況下實現更多程式設計能力的潛力，以及這種能力如何幫助去中心化和消除對信任第三方的需求。同時，他也提到這是一個可選的功能，比特幣社群和用戶可以選擇是否和如何使用這種功能。
在長推內容裡Sam Parker 寫到：「再強調一遍，如今比特幣就像其他任何鏈一樣具備圖靈完備性，而這不需要對比特幣進行任何改變。目前一些比特幣最大主義者在「指點江山」時的一部分經典觀點的是：圖靈完備=壞，我覺得顯得很愚蠢。首先，由於圖靈完備的技術定義實際上要求一個無限的運行時間，在我們的現實中永遠不會有任何事物真正達到圖靈完備，因為我們沒有無限的空間和時間來容納這一點。 」
針對BitVM 白皮書內容，Sam Parker 說：「在這個過程中，一個小團體的腳本黑客，例如@robin_linus 和@super_testnet，已經找出如何將我們想要的來自通用計算機的所有功能都編入比特幣極其有限的操作代碼集的方法，因此，阻止比特幣的虛擬機器（VM）像以太坊那樣具備圖靈完備性的唯一事情不是表達能力的問題，而僅僅是運行時間的問題，其中最嚴格的限制是堆疊大小的限制。
BitVM 所做的全部就是允許我們將某些邏輯的運行時間，該邏輯超出了單一交易的範圍，分散在多個交易中。就這樣。我們沒有添加任何新的語義特徵，我們只是指數級地增加了我們可以運行的程式的長度。因此根據技術定義，比特幣實際上並沒有比以前更具圖靈完備性，它只是在我們可以合理地說其“對於我們實際想要執行的任何程序都足夠圖靈完備”的程序中被賦予了一個運行時間。
這是自願的，如果你不信任你的幣被鎖定到某個圖靈完備的合約中（完全合理），那麼就不要把它們鎖定到一個圖靈完備的智能合約中。 UTXO 系統的一個優點是安全沙盒化。如果人們確實強烈認為比特幣不應該擁有這個功能，也許是由於激勵或其他什麼問題，那麼這應該是一個值得討論的問題，但基本上這將需要擺脫Taproot，而這在這個時候看起來非常愚蠢。 」Sam Parker 這麼寫道。
「BitVM 讓我有謹慎的興奮感」
身為另一種比特幣擴充協議Drivechains 的極大支持者，Simp DAO 創辦人兼加密資深研究員Eric Wall 被社群成員邀請表達對BitVM 的看法，Eric Wall 表示：「我剛讀完這篇白皮書，所有的概念對我來說都是合適的。我天生對那些在設定階段需要進行非常大量的預簽名交易交換的方案不太感興趣——我不知道這樣的方案可能產生哪些問題。額外資源消耗（overhead ）和權限（permission）兩個大問題。」
現在他對BitVM 保持著謹慎的興奮感，等待實際實驗會帶來什麼。也許這個方案的兩方限制有優雅、微不足道的解決方案，也許沒有。也許對於特定類型的計算，例如zk 證明，開銷是可管理的。如果BitVM 在其中運作良好以驗證zk 證明，那就有趣了——BitVM 將會充當他之前討論過的zkwasm 層的角色。
「作為一個旁注，我對當人們意識到攻擊模型與驅動鏈（Drivechains）相當類似時會發生什麼感到好奇。礦工可以透過與證明者合謀並審查挑戰來盜取BitVM 的全部餘額，這種情況可能持續的時間比在驅動鏈中更短。」Eric Wall 這麼寫道。
透過允許在比特幣網路上表達圖靈完備的合約而不留下鏈上痕跡，BitVM 提供了一種全新的方法來探索複雜的區塊鏈計算，同時維持比特幣網路的原則和安全性。這也讓比特幣得以在不需直接修改核心協議的情況下，擁抱更廣闊的使用案例和創新可能性。
不可忽視的是，BitVM 引發了許多關於比特幣的設計和進化的深入討論，未來它會以怎樣的方式在比特幣網絡中得以實現和發揮作用，將是一個極其吸引人的科技探索之旅。這也會引發一個關鍵性的問題：我們是否準備好，將比特幣從一個主要用於儲值和交易的數位貨幣，擴展為一個可以進行更廣泛、更複雜計算的全球性平台？由此也推動著我們更深入地思考我們想要的比特幣的未來形態，比特幣是否應該添加更多的「原生」可程式性或應該繼續保持簡單、安全和不可變性？
參考內容
1. BitVM 白皮書
