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

原文編譯：Luccy，BlockBeats

BlockBeats 註：《毀滅戰士》（DOOM）是一款非常受歡迎的第一人稱射擊遊戲，首次發佈於1993年。遊戲以其快節奏的遊戲性、先進的 3D 圖形和網路多人遊戲功能而聞名。該遊戲常常被用來測試各種設備和平台的效能。

近日，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 不會在短時間內使比特幣變得與以太坊相媲美，且其發展可能會相當緩慢且具有實驗性質，但它確實為如何利用比特幣開啟了一個全新的範式。

原文連結

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

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

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

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