SatoshiVM发布SVMZK工具包，旨在提升比特币Layer2交易验证效率

BlockBeats 消息，1 月 26 日，比特币 Layer2 项目 SatoshiVM 发文介绍了其非交互式零知识证明工具包——SVMZK。SVMZK 允许证明者在给定 [a]、[b]、[c] 等承诺后，向验证者证明各种关系，如加法、减法、乘法、除法或它们之间的比较。为了解决 Layer2 区块中交易顺序调整的可能性，SatoshiVM 引入了 SVMZK，以便有效地将简洁结果提交到比特币网络。通过 SVMZK 中的减法和比较算法，可以通过比较顺序器和验证器内存池中的交易数量来验证 Layer2 区块中打包交易的合法性，SVMZK 的特性还能防止证明者和验证者之间的串谋。作为整个框架的关键组成部分，SatoshiVM 本次开源了 SVMZK 的算法实现细节。然而，SVMZK 与比特币 Taproot 的集成仍在开发中，这部分代码将在未来某个时候开源。