一文看懂SatoshiVM框架
作者:SatoshiVM,翻译:比特币买卖交易网xiaozou
The author translated bitcoin trading network. 比特币今日价格行情网_okx交易所app_永续合约_比特币怎么买卖交易_虚拟币交易所平台
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块中交易包的合法性。
注册有任何问题请添加 微信:MVIP619 拉你进入群
打开微信扫一扫
添加客服
进入交流群
1.本站遵循行业规范,任何转载的稿件都会明确标注作者和来源;2.本站的原创文章,请转载时务必注明文章作者和来源,不尊重原创的行为我们将追究责任;3.作者投稿可能会经我们编辑修改或补充。