比特币上验证的可计算函数--比特vm如何提升BTC的智能合同游戏

BITVM是在最近的一份白皮书中提出的。它允许通过欺诈证据和双方之间的质疑反应协议来表达完全的比特币合同。虽然一些人认为这个模式有局限性,但其他人说它为复杂的比特币交易铺平了道路。

BTVM操作时,验证者声称程序对特定的输入和输出运行正确。验证者可以用一系列简明扼要的欺诈证据来质疑这种断言,如果他们的断言是不真实的,则惩罚证明者。

通过将程序编码为二进制电路,并在一个主根地址中逐点地对其进行提交,验证者和验证者都可以在最小的上链足迹下执行复杂的计算。根据白皮书,这允许在比特币上验证任何可计算的函数。然而,BITVM目前仅限于验证者和验证者之间的双方设置。

本文指出了双方在计算上存在的不足之处。然而,它将BIT定位为一个新的方法,以扩大比特币的功能,而不做任何协议更改。这意味着没有必要修改通过软叉或硬叉设定的协商一致规则。

一些开发人员已经批评了模型的当前效用。"酷但有效地推广了两党的游戏,"博克流首席执行官亚当?领先的开发者尼基塔·赵沃隆科夫将其标记为"酷,但夸大其词",称Bitvm无法"有效地乘以数字"。"开发商补充说:

绝对不是比特币上的EVM。'

尽管如此,BITvm的基本框架暗示,有朝一日有可能促进比特币上更复杂的智能合约。双方的约束意味着像令牌交换这样的功能还不可行。

山姆帕克评论了社交媒体平台X,注意到Bitvm在不改变协议的情况下增强了能力,减少了骨化风险。密码分析师桑恩法令写到,"新的比特币白纸能够使比特币上的所有替代币公用事业",并强调"不需要软叉。"

"我最兴奋的是能够在Bitvm中实现一个ZK验证器,"比奥尼克公司的首席执行官鲍勃·卡尔说。"我们仍然不知道这种情况会发生在哪里,何时发生,或者是否会发生,但是如果你能在比特vm中实现一个ZK验证器,那么你就可以直接在比特币上解锁L2S的全部功率。不可信的桥接,更大的吞吐量,更多的隐私,更便宜的事务,无限的可编程性,更大的规模等。也不需要更新比特币。"

白皮书将比特汇率模型描述为比特币合约和脱链计算的"新设计空间"。随着研究的进展,它的使用可能会扩大到充分突出比特币固有的计算能力。短期内,比特币可以让验证者和验证者通过比特币当前的防欺诈系统执行转换完整的程序,验证结果,从而在不改变协议的情况下拓宽了智能合同的前景。

除了白皮书之外,该项目还收到了对文件底部一个地址的捐款。捐款地址"BC1QF"收到0.18555681BTC,按当前汇率计算,价值略高于5万美元。