金色財經報道，ZeroSync項目負責人Robin Linus近日發佈白皮書，宣佈BitVM可實現圖靈完備的比特幣合約，且無需改變比特幣共識規則。BitVM將使比特幣合約的邏輯在鏈外執行，驗證則在比特幣上進行，類似於以太坊的optimistic rollup。

BitVM架構基於欺詐證明和挑戰響應模型，證明者可提出主張，驗證者可執行欺詐證明，以懲罰虛假主張的證明者。Linus表示，比特幣目前僅限於基本操作，如簽名、時間鎖和哈希鎖，但藉助BitVM可實現更多有趣的應用程序。