在比特幣上計算任何內容，开發者們如何看待BitVM？

2023-10-11 00:10:45

原文作者： 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 白皮書