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