关于比特币上图灵齐备的智能合约,推特用户 @robin_linus 提出了一个新的建议——BitVM。
他宣称能够实现这一方针,而且无需对比特币的代码进行任何更改。
由于比特币的原生脚本语言适当有限,这也是为什么咱们需求经过各种 layer 去扩展比特币。
这些不同的 layer 充当着各种构建模块,最终将更多功用引进比特币。而今日咱们有了一个重要的突破口:智能合约。
今年,咱们看到关于比特币上关于Rollups的讨论急剧增加,最常见的几个话题是主权、零知识证明以及 Optimistic Rollups。
这些扩展解决方案在 L2 上运行,但最终仍经过加密的方法又回到主链上。
什么是 BitVM
BitVM 运用的技能类似于Optimistic Rollups。
Optimistic Rollups 通常假设买卖是有效的,但会分配一定的时刻段用于争议处理。
假如产生争议,Rollup 将返回到先前的状态。
BitVM 的实践智能合约核算产生在一个单独的 layer 上,一旦出现争议,这些争议会“保存”在比特币的主链上。因而,一切 BitVM 活动都产生在链下。
(译者注:主链上保存一份公共的、不可篡改的记录,能够用于解决争议。假如没有争议,一切的 BitVM 活动都将在链下进行,也便是在比特币主链之外进行。这种链下的活动能够更快速地进行,并且经过运用比特币的主链作为安全性和可信度的根底来保证买卖的有效性。)
BitVM 主要依赖于四个组件
-
哈希锁
-
时刻锁
-
默克尔树
-
多重签名
哈希锁
哈希锁是由建议买卖的人生成的加密隐藏 key,这个 key 保证只要在得到建议者的批准后,买卖才干最终完结。
时刻锁
在时刻锁下的买卖,必须要在特定日期、时刻或区块高度之后才干履行。
默克尔树
默克尔树分支运用密码学方法将履行脚本的成果记录到区块链中,而不是记录脚本或许的一切履行方法。
这极大地减少了买卖占用的空间,尤其是更杂乱的买卖!
(译者注:以往为了验证一笔买卖的有效性,需求记录下一切或许的履行途径和成果,这会占用很多的存储空间。而运用默克尔树分支,咱们只记录实践履行的成果,这种优化使得买卖处理更高效,同时也减少了区块链的存储需求。)
多重签名
多重签名通常答应多方共享对单个钱包的控制权。在 BitVM 的设计下,你会具有一个由证明者和验证者组成的两部分多重签名。
那么 BitVM 是怎么作业的呢?
证明者和验证者首要会将智能合约编译成一个 if-then 句子映射,这个映射会包括一切的或许成果。
为了节省空间,咱们选用默克尔格式保存在链上。
两边还必须一起预签名一系列应战与应对买卖,这些预签名买卖能够在产生争议时运用!
完结这些前提条件后,他们能够将比特币存入 Taproot 地址,这将激活智能合约,并答应两边在链下或单独的层上开端交流数据。
验证者能够运用时刻锁来强制证明者在规定时刻内做出决议计划。
假如证明者提出错误的声明,验证者能够对此建议争议,并拿回他的存款。
这保证了任何攻击者都会失掉他们的存款,并鼓舞杰出行为。
BitVM 的用处
现在咱们对 BitVM 合约的结构有了根本的了解,咱们能够略微深化一些关于它的用处。
现在有三个“Commitment”:
-
位值许诺(Bit Value Commitment)
-
逻辑门许诺(Logic Gate Commitment)
-
二进制电路许诺(Binary Circuit Commitment)
位值许诺
这使得批准者能够在不同的脚本和未运用买卖输出(UTXO)中设置一个 bit 值为“0”或“1”,从而使得一个脚本能够跨多个买卖运行,这些二进制的0和1是一切核算的根底
(译者注:经过控制 bit 值,能够实现条件判别、逻辑运算等各种核算操作。这种灵敏性使得BitVM能够愈加强壮地支撑杂乱的智能合约功用。)
逻辑门许诺
这答应运用与非门(NAND gate),并实现 AND、NOT 和 OR 等句子的功用。
与非门根据两个输入(比如两个位值)的状态生成一个输出。
(译者注:逻辑门许诺机制经过引进与非门,为BitVM提供了更灵敏和强壮的功用,使得智能合约能够支撑包括逻辑运算的杂乱核算。)
二进制电路许诺
一旦定义了各种逻辑门,你能够运用二进制电路来构建更杂乱的数字体系。
能够将其视为多个 NAND 构建模块形成的完整智能合约结构。
(译者注:在BitVM中,类似地,咱们能够将多个逻辑门组合起来形成一个完整的智能合约结构,就像多个与非门构成一个具体的模块化实现一样。这种模块化的构建方法使得智能合约的设计愈加灵敏和可扩展。)
其它参阅资源
这便是咱们现在能够讲解的技能细节了,假如你想深化了解或愈加专业地了解 BitVM,还有很多额定的资源可供查阅。
以下是一些值得参阅的资源:
https://twitter.com/casperdefi/status/1711409019196244150
https://twitter.com/brian_trollz/status/1711481519758516371
https://twitter.com/super_testnet/status/1711395898368856488
https://twitter.com/BobBodily/status/1711581484254192013
情绪的改变
经过调查,咱们发现了一个风趣的现象:
人们关于经过 BitVM 在比特币上构建应用程序的情绪,产生了巨大的改变。
关于将智能合约引进比特币这件事,不少人此前都反应冷淡,乃至揭露反对,但是现在他们都开端表示支撑,这个现象是令人鼓舞的!
此时快讯
【美CFTC起诉Voyager Digital前CEO实施大规模商品池欺诈计划】金色财经报道,美国商品期货交易委员会(CFTC)宣布在美国纽约南区地方法院对田纳西州居民Stephen Ehrlich提起诉讼,他是现已破产的实体Voyager Digital的前首席执行官。该投诉指控Ehrlich在Voyager数字资产平台和Voyager未注册商品池的运营方面存在欺诈和注册失败行为。Ehrlich和Voyager错误地将Voyager平台吹捧为“避风港”,以赚取高收益回报,以诱导客户购买和存储数字资产商品。
在针对Ehrlich的诉讼中,CFTC寻求赔偿、没收非法所得、民事罚款、永久交易和注册禁令,以及针对进一步违反《商品交易法》和CFTC法规的行为发出永久禁令。