根據 Cointelegraph 報導，比特幣開發者提出了一種新方法，無需軟分叉即可為比特幣（BTC）帶來更具表現力的鏈下智能合約。在ZeroSync 專案負責人Robin Linus 於10 月9 日發表的題為「BitVM：在比特幣上計算任何東西」的白皮書中，BitVM 在不改變比特幣共識規則的情況下實現了圖靈完備的比特幣合約。圖靈完備系統理論上可以提供任何計算問題的答案。
使用 BitVM，比特幣合約的「邏輯」將在鏈外執行，但驗證將在比特幣上進行，類似於以太坊的樂觀總和。 BitVM 的架構是基於詐欺證明和挑戰回應模型，其中「證明者」可以提出主張，「驗證者」可以執行詐欺證明，以在提出虛假主張時懲罰證明者。 Linus 解釋說，比特幣目前的形式僅限於基本操作，例如簽章、時間鎖和哈希鎖，但現在可以透過 BitVM 進行擴展，Linus 表示 BitVM 可以計算許多有趣的應用程式。
Linus 表示，該模型的限制在於，它僅限於具有證明者和驗證者的兩方設置，並且需要大量的鏈下計算和通訊來執行程式。 Linus 表示，下一個「里程碑」是除了 Tree++（一種用於編寫和調試比特幣合約的高級程式語言）之外，還全面實作 BitVM。 BitVM 由 2021 年 11 月發生的 Taproot 軟分叉啟用。
