昨夜，BitVM 發布了一篇白皮書引起了熱議，自稱 BitVM 可以讓任何可計算函數在比特幣上驗證。白皮書發出後僅一小時就達到了 11 萬瀏覽量，截至撰稿時的瀏覽量已經達到了 182 萬。

在這篇由Super Testnet和Sam Parker 審核的白皮書中可以看出，BitVM 是Robin Linus 在Zero Sync 設計的一種新型計算範例，融合了Optimistic Roll Up、Fraud Proof 詐欺證明、Taproot Leaf 和Bitcoin Script。

BitVM 允許在不改變比特幣網路共識規則的情況下表達圖靈完備的比特幣合約，可以執行任何可計算的函數，進行離線計算，而不會在鏈上留下任何痕跡。白皮書也介紹了 BitVM 的架構、輸入輸出、限制和展望等方面的內容。

KOL Leonidas（@LeonidasNFT）認為這是一樣令人期待的創新，於是將BitVM 的論文刻在了比特幣銘文上，用更Native 的方式使其永遠存在。

比特幣開發者怎麼評？

BioniqMarket 的 CEO Bob Bodily（@BobBodily）一直在構建工具以幫助開發人員在比特幣上進行構建，目前專注於 Ordinals marketplace 和 launchpad。

Bob Bodily 在自己的社群媒體表示：「BitVM 並不是一勞永逸的解決方案。BitVM 並不像EVM 那麼好，它更慢、更貴、更複雜。BitVM 的核心優勢是我們現在就可以在比特幣上獲得額外的可編程性，而無需升級。不需要新的op_codes。無需軟分叉。現在就可以使用。」

BitVM 容易實現的潛在用例包括去中心化目前依賴中心化服務的各種應用程式的部分，包括DLC 預言機、擁塞控制/coinjoin 聚合器和側鏈法定數。此外，BitVM 沒有解決側鏈的無信任橋接問題，可能需要契約。 BitVM 嚴格優於 Greg Maxwell 2016 年的 ZKP 有條件付款範例。 BitVM 非常複雜，理解和實作都很困難。透過一個 op_code 升級比特幣可以實現相同的事情。

比特幣不需要進行任何改變

相關研究員Sam Parker 也發表了自己的觀點在長推內容裡：「再強調一遍，如今比特幣就像其他任何鏈一樣具備圖靈完備性，而這不需要對比特幣進行任何改變。目前一些比特幣最大主義者在「指點江山」時的一部分經典觀點的是：圖靈完備=壞，我覺得這顯得很愚蠢。

首先，由於圖靈完備的技術定義實際上要求一個無界的運行時間，在我們的現實中永遠不會有任何事物真正達到圖靈完備，因為我們沒有無限的空間和時間來容納這一點。

在這個過程中，一個小團體的腳本黑客，例如@robin_linus 和@super_testnet，已經找出如何將我們想要的來自通用計算機的所有功能都編入比特幣極其有限的操作代碼集的方法，因此，阻止比特幣的虛擬機器（VM）像以太坊那樣具備圖靈完備性的唯一事情不是表達能力的問題，而僅僅是運行時間的問題，其中最嚴格的限制是棧大小的限制。

BitVM 所做的全部就是允許我們將某些邏輯的運行時間，該邏輯超出了單一交易的範圍，分散在多個交易中。就這樣。我們沒有添加任何新的語義特徵，我們只是指數級地增加了我們可以運行的程式的長度。因此根據技術定義，比特幣實際上並沒有比以前更具圖靈完備性，它只是在我們可以合理地說其“對於我們實際想要執行的任何程序都足夠圖靈完備”的程序中被賦予了一個運行時間。

「這是自願的，如果你不信任你的幣被鎖定到某個圖靈完備的合約中（完全合理），那麼就不要把它們鎖定在一個圖靈完備的智能合約中。UTXO 系統的一個優點是安全沙盒化。如果人們確實強烈認為比特幣不應該擁有這個功能，也許是由於激勵或其他什麼問題，那麼這應該是一個值得討論的問題，但基本上這將需要擺脫Taproot，而這在這個時候看起來非常愚蠢。」Sam Parker這麼寫道。

「BitVM 讓我有謹慎的興奮感」

作為另一種比特幣擴展協議Drivechains 的極大支持者，Simp DAO 創始人兼加密資深研究員Eric Wall 被社區成員邀請表達對BitVM 的看法，Eric Wall 表示：我剛讀完這篇白皮書，所有的概念對我來說都是合適的。我天生對那些在設定階段需要進行非常大量的預簽名交易交換的方案不太感興趣——我不知道這樣的方案可能產生哪些問題。開銷和權限是兩個大問題。

現在他對 BitVM 保持著謹慎的興奮感，等待實際實驗會帶來什麼。也許這個方案的兩方限制有優雅、微不足道的解決方案，也許沒有。也許對於特定類型的計算，例如 zk 證明，開銷是可管理的。如果 BitVM 在其中運作良好以驗證 zk 證明，那就有趣了——BitVM 將會充當他之前討論過的 zkwasm 層的角色。

「作為一個旁注，我對當人們意識到攻擊模型與驅動鏈（Drivechains）相當類似時會發生什麼感到好奇。礦工可以透過與證明者合謀並審查挑戰來盜取BitVM 的全部餘額，這種情況可能持續的時間比在驅動鏈中更短。」Eric Wall 這麼寫道。

雖然沒有太多結論，但這些對話對社群來說是寶貴的，像BitVM 的白皮書類似的敘事和話題引發了許多關於比特幣的設計和進化的深入討論，由此推動著我們更深入地思考我們想要的比特幣的未來形態，比特幣是否應該添加更多的「原生」可程式性或應該繼續保持簡單、安全和不可變性？

參考內容

1.BitVM 白皮書：https://bitvm.org/bitvm.pdf< /blockquote>

歡迎加入律動 BlockBeats 官方社群：

Telegram 訂閱群：https://t.me/theblockbeats

Telegram 交流群：https://t.me/BlockBeats_App

Twitter 官方帳號：https://twitter.com/BlockBeatsAsia