作者：SatoshiVM，翻譯：金色財經xiaozou
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區塊中交易包的合法性。
