近日，ZeroSync專案負責人Robin Linus發表了題為《BitVM：Compute Anything On Bitcoin》的白皮書，提出了一種在不改變比特幣網路共識的情況下圖靈完備的比特幣合約解決方案。 BitVM 利用比特幣腳本和 Taproot 實現樂觀總結。 基於 Lamport 簽名，在兩個比特幣 UTXO 之間建立鏈接，以實現有狀態的比特幣腳本。 透過在 Taproot 地址中提交大型程序，運營商和驗證者可以進行廣泛的鏈下交互，從而減少鏈上足跡。 如果雙方合作，可以執行任意複雜的、有狀態的鏈下計算，而不會在鏈上留下任何痕跡。 如果雙方不配合，當發生爭議時，就需要鏈上執行。 因此，BitVM 極大地拓寬了比特幣的潛在用例，使比特幣不僅可以作為貨幣，還可以作為各種去中心化應用和複雜計算任務的驗證平台。 然而，BitVM技術仍處於早期階段，在效率和安全性方面仍存在一些問題。 本文提出了一些最佳化思路，以進一步提高BitVM的效率和安全性。
