作者：Muneeb.btc，比特幣L2方案Stacks共同創辦人；譯：金色財經cryptonaitive
BitVM是一項有趣的研究實驗（或有限的證明者），但它不是虛擬機器（VM），比特幣L1在這裡並沒有進行任何驗證。 BitVM使用比特幣L1作為資料平面，然後兩方可以交換離線和線上（比特幣L1）資料來互相進行遊戲。
在這兩方相互進行的遊戲中，一方是證明者，另一方是驗證者；證明者試圖證明某些計算。
BitVM與在以太坊或Solana上的完整VM非常不同：
(a) 在完整的VM中，以太坊L1或Solana L1驗證計算。在BitVM，比特幣L1以外的第三方用戶在驗證（比特幣L1只儲存資料）。
(b) 在完整的VM中，任意數量的使用者可以參與。 BitVM僅限於兩方需要事先認識並進行大量離線和準備工作。
(c) BitVM使用低階NAND電路來表示程序，而不是高階語言，這是非常低效且不切實際的。在兩方之間執行基本操作甚至需要大量離線通訊和大量資料。
我對在比特幣L1上進行實驗表示支持，認為BitVM作為一個利用現有比特幣操作碼進行研發的嘗試是令人興奮的。我不會稱之為”BitVM”，而更應該稱之為”BitProver”。我還要澄清的是，在BitVM，比特幣L1並沒有進行任何驗證。比特幣L1沒有操作碼來進行任何複雜的驗證。這更像是兩個人使用比特幣L1進行遊戲的玩具。它可能會發展出解決一些意想不到的重要用例（一些偉大的技術始於簡單的玩具）。然而，我不會將其宣傳為”比特幣可以驗證任何計算”；它甚至不能與像EVM或Solana VM這樣的VM相比，而比特幣L1在這裡並不是驗證者。
人們應該將BitVM視為具有額外步驟的DLC（而不是VM）。一個實用的比特幣Rollup或L2將具有完整的VM，全局狀態（無離線通訊），用於發布複雜智能合約的高級語言，並允許任意數量的用戶輕鬆與這些合約進行互動。這些東西在今天已經是基本要求，考慮到開發者已經熟悉的以太坊和Solana等系統。與這些相比，BitVM離這些要求還有很大差距。有人問BitVM與Stacks相比如何，Stacks L2上的Clarity VM與EVM在功能上是可比的（BitVM不是）。
身為比特幣生態系統中的開發者，我們在行銷方面需要小心。大多數使用者不是技術人員，可能會得出錯誤的結論。在Taproot的情況下，我們看到了類似於”比特幣L1 DeFi終於來了”這樣的營銷信息，而實際上Taproot離一個完整的VM還差得遠。
我們應該避免在BitVM上犯類似的錯誤；它不是一個VM，也不會在比特幣L1上啟用智能合約。它是一個可能導致我們尚未考慮的比特幣L1新用例的研發證明工具。讓我們清楚地區分有限的實驗與像EVM這樣的商業上成功的完整VM。
話雖如此，看到比特幣L1上的更多實驗是很棒的。我很感興趣追蹤BitVM的努力，並看到它如何發展！
