SatoshiVM可驗證任何比特幣執行跟蹤函數，擴展比特幣的可用性，同時仍然使用比特幣的共識效力。下面，讓我們深入來看SatoshiVM框架。從零開始的創新總是充滿挑戰，SatoshiVM也不例外。然而，我們欣賞BitVM的創新，特別是其PoC部署—Tapleaf電路。正是由于這些創新，SatoshiVM的愿景才得以成真。
BitVM表示，任何函數執行的合法性都可以在比特幣上實現。這涉及到兩個角色：prover(證明者)和verifier(驗證者)。prover提交函數的輸入和輸出，驗證者通過欺詐證明來確定prover的正確性。這一切都在比特幣上進行。
每個函數最終都可以使用最基本的邏輯門(logic gates)來實現，Tapleaf電路(Bifrost形式)使用了布爾(boolean)電路。它們在比特幣上轉換為Taproot腳本，最終驗證函數的執行。
基于上述思想和機制，SatoshiVM引入了一種更有效的解決方案。它將驗證過程減少至兩個可以按時間順序執行的事務：bit承諾和驗證。這就需要使用時間鎖腳本來度量驗證過程中的時間差，最終從整體上考慮驗證結果的有效性。
在實際執行中，可以通過觀察哪一方最終支付了相應的taproot UTXOs(未花費交易支出)來確定prover是否有惡意行為。只有當與bit承諾和驗證相對應的UTXOs都被prover支付時，一個驗證才被證明是合法的。
由于這些驗證過程在比特幣上是透明的，每個最終驗證結果都可以由第三方群體確認。結果被提交給需要驗證的相應源，從而允許后續操作。在解決了比特幣交易執行合法性的驗證之后，另一個挑戰是排序器在L2塊內是否可重新排序交易。所以，我們引入了SVMZK，一個用于非交互式零知識(NIZK)證明的工具包，以促進向比特幣高效提交簡潔結果。
SVMZK是整個框架的關鍵組成部分。使用SVMZK中的減法和比較算法，可以通過比較排序器和驗證者內存池中的交易數量來驗證L2塊中交易包的合法性。
鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播更多信息之目的，如作者信息標記有誤，請第一時間聯系我們修改或刪除，多謝。
