BitVM很火，但它能跑《毀滅戰士》嗎？

近日，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 的架構、輸入輸出、限制和展望等方面的內容。

相關閱讀：《要在比特幣上計算任何內容，資深開發者們怎麼看 BitVM？》

BitCoin 社區技術編輯 Shinobi 也在社區平台上發表了自己對 BitVM 相關技術構想的觀點並指出，目前在 BitVM 上構建事物的效率水平相當糟糕，但這是比特幣歷史上的一個重要時刻。BlockBeats 現將原文編譯如下：

近期，一個相對較新的全自動化公共領域人物橫空出世，他提出了一個瘋狂的想法，而令人驚訝的是，我們甚至無需對比特幣進行任何更改或硬分叉，就可以立即實現這個構想。

儘管我認為關於這個想法的諸多炒作情緒已經變得非常誇張，與現實脫節，但我依然堅信這是比特幣歷史上的一個重要時刻。在 BitVM 上構建事物所達到的效率水平，無論是在所需的 taproot 樹的大小還是預簽名交易的數量方面，都相當糟糕。至少對我來說，這是一個非常明顯的問題：究竟有哪些實際用例能夠接受這種低效率，以換取它所提供的保證。然而，這種架構所能實現的功能確實是非常巨大的。

目前提出了兩個具體的想法，儘管在 Taproot 樹中的預簽名交易和腳本的大量離鏈成本方面存在一定問題，但實際上，為了獲得 BitVM 所能提供的信任保證類型，支付這些數據成本可能是有意義的。

首先，引入一種創新的雙向錨定機制，即「Sentry Peg」。這種機制允許建立一個由聯邦管理的側鏈，聯邦將債券存入一個執行側鏈邏輯的 BitVM 合約中。在處理每筆提款時，聯邦必須向 BitVM 提供證明，以確認這是一筆合法的提款。若未能提供證明，一組充當瞭望塔功能的驗證器便可在 BitVM 中沒收聯邦的債券。

這種機制帶來了一個有趣的可能性：在側鏈上保管資金的實體必須向外部方證實其行為的合法性，否則資金將被沒收。與傳統的可懲罰債券方案相比，這裡的新動態在於，決定何時實施懲罰的邏輯可以更為複雜，而且實際執行是通過驗證過程，而非依賴於巧妙的密碼學技巧或額外的信任層。

接下來介紹 UTXOracle。雖然這是一種非常出色的方式，可讓您通過自己的節點無需信任地計算比特幣對美元價格的計價，但實際上並沒有辦法將這些數據「輸入」到比特幣腳本中，以便在智能合約中無需信任地使用。而 BitVM 為實現這一目標提供了一種方法。

通過構建一個邏輯門電路，對比特幣區塊（僅限工作證明）進行 SPV 驗證，實際的完整區塊可以被輸入到 BitVM 中。然後，通過足夠長的字符串，您可以在 BitVM 內部實際運用 UTXOracle 邏輯，將合約的結果與從區塊鏈上無需信任地獲取的價格數據綁定在一起。

對於高價值合約或側鏈，為了提供這種保證，支付數百兆字節甚至一兩千兆字節的離鏈數據可能是值得的。總之，儘管 BitVM 不會在短時間內使比特幣變得與以太坊相媲美，且其發展可能會相當緩慢且具有實驗性質，但它確實為如何利用比特幣開啟了一個全新的範式。

原文連結