BitVM 引热议，比特币网络可以实现图灵完备？（转）

BitVM 像是在人人可以用移动终端的时代里，构建了一台比房间还大的巨型计算机。
, V( R4 S/ r1 E' V1 g

撰文：Haotian
) u( e7 m* ^( c" A: L8 i6 V
* B8 i5 w" X8 |- F/ a6 b2 Q4 t. w7 b

一篇题为《BitVM：Compute Anything On Bitcoin》的白皮书引发了开发者热议，似乎意味着比特币网络实现图灵完备合约了，可以执行任何可计算的函数？


3 |& l+ q; Y# b+ r1 k& _
$ t0 l; P- l* J- f0 b这意味着比特币网络可以复现以太坊等生态的一切叙事？而且不需要改变现有比特币共识，甚至不需要任何升级，仅依托当下比特币的基础 op_code 就可以赋予比特币网络「复杂」的可编程能力，让比特币网络可以图灵完备计算一切？
9 f: J. N: e9 [0 H' e9 @( j
, i( D0 |) Z' {2 X
; _6 z" C; v1 d: Q& W0 o
: h7 ^" H) c! q) t1 U* u* Q: jWait，先别展开美梦了，先探讨下 BitVM 的构想路径怎么回事。Script 空间如何执行复杂编程？Optimism Rollup 思想指的是什么？Fraud Proof 欺诈证明原理是什么？BitVM 落地实现存在哪些障碍？接下来带大家逐步分析下它的大致逻辑框架，便于大家通俗理解。（不过多探讨具体技术实现细节


! ?# d- \2 j+ v9 U2 Y* w+ r* P
) W& i7 K" Y6 y: y1 q如何实现复杂可编程特性？


. n% {2 ]9 s5 D6 g由于，比特币的编程能力非常有限，仅在 script 脚本上支持简单的逻辑和有限的操作码，因此无法在比特币网络上开发复杂的智能合约。BitVM 提案脑洞大开的核心点就是，通过 taproot 地址矩阵或者说 taptree 实现了类似二进制电路的各类程序指令，组合起来就相当于完整的合约执行了。
0 K4 c) u+ k8 c5 d4 T( w

) C) N* B# A7 F/ z+ s
/ O: b. K6 I: y具体而言，我们可把每一个 Script 脚本中的 UTXO 花费条件指令当成一个程序最小单元，一个脚本执行无非 true 和 false 两种结果，若在 taproot 地址中输入一定的代码就能得到一个确定性的 0 或者 1，若把大量的 taproot 地址组成矩阵就能构成一个有序的 taptree，而执行的结果就有大量 011001 之类的二进制电路文本效果，就可以被视为一个可执行的二进制程序。程序的复杂性取决于组合的 taproot 地址多少，地址越多，在比特币框架范围下每个 Script 预置的指令越丰富，整个 taptree 可以执行的程序就越复杂。Maker Sense 吧？



这脑洞着实够大。不过按照这个逻辑，最小单元指令确实由比特币全节点完成，而且无限叠加 taproot 地址，无限组合的可能性可以叠加很多复杂计算。某种程度上，说它为图灵完备机不为过。但无限叠加 taproot 地址只会增加成本消耗，理论上是可以图灵完备实现一切，但却不切实际。
1 p' H" n* @) x- ^6 W

$ ~! f1 h8 v* i) N
% g; U6 g8 ~- N! U! ]所以，白皮书中提到的图灵完备只是极端理想情况下的说法，有点「偷换概念」之嫌，连以太坊号称超级计算机都无法完全实现图灵完备，何况仅依托 script 的比特币网络呢？
" `8 ?4 P" @7 |
1 V: p2 u) N# Z+ ^6 X! }/ R

$ O0 f- L& Y+ w" u若干复杂概念浅析


/ G/ a7 f! K- i9 P+ T基于上述核心框架理解，再去看白皮书中提到的 Optimism Rollup 和 Fraud Proof 以及 Bit commitment，Logic Gate 为何物了？由于，单个 taproot 空间和可执行代码逻辑有限，在链下执行复杂程序，只把关键验证环节放到链上，不就是一种 Rollup 的思想吗？
: P: O! ?- M9 r1 i9 o" O0 a) d9 n, H
+ n2 E6 g) ~1 |5 t' r) s* b
: o; r/ B- c- A9 R
, u- D& l+ E- d. F而 Fraud Proof 可以这样理解，Prover 和 verifier 双方先编译一个巨大的二进制电路，比特币网络在执行电路时，有一个前提是 Prover 要预签名 且要质押一定的比特币资产，若 Verifier 验证出来 Prover 有作恶之嫌，就可以同理向链上发送交易以触发链上 taptree「程序」的 UTXO 解锁条件，成功的话，verifier 就可以罚没 prover 的抵押资产，等于就是一次欺诈证明过程。
  d  Y. _0 N: Z( v/ a9 b; u

0 K0 d1 w% a  a5 }2 v
这个逻辑里，我们就不难理解为啥 BitVM 只适用于两个有约定共识的 parties，即必须执行前共享总电路图，必须在有效期内执行欺诈者证明程序，必须质押一定资产且预签名。若双方没有在链下配合搞一套约定的共识，仅靠比特币网络有限的链上执行环境，很难促成一次真正的「合约」执行。

" k: G* s% H7 `$ @$ [; D% W: x- j

BitVM 落地会存在哪些障碍？
  U: A$ j7 d' r) Q8 n% i, M
7 |& ?2 f" X2 i  S& T: j
, z, Y5 ~5 W# n( o6 P" x2 W1 J1）BitVM 目前只适合两个约定共识的 Parties 之间实施链上操作，链上环境只是公开透明化执行合同的过程。目前也仅能实现两个约定主体之间，若实现 N-N 需要更复杂的技术逻辑设计。

- r+ w8 i# B5 t2 v  w# R( f
6 u0 n# _" s0 a$ B  r
8 E) x! m, r% d- @% y3 ~+ l2）BitVM 如何应用单个 taproot 地址的脚本实施最小编程单位，不能超出比特币的执行逻辑框架比如 hashlock、timelock 这些，不能超出限定的存储条件，乐观情况下 一个 taproot 地址可以编程上百个逻辑门，更多就得组合大量地址进行 taptree 构建了。问题来了，taproot 地址预设解锁条件的执行需要付矿工费，地址组合越多要花费的成本也越大。未来也许靠闪电网络的双向通道技术可以降低成本，但总得来说要靠比特币网络执行逻辑门电路，不仅慢不说，想想就是个高花费的事儿。

3 q) ?- W7 r) E% v, m. P- U7 W

3）BitVM 理想状况下支持的场景很有限，比较适合重链下计算，只有部分共识和资产转移需要依赖链上的场景，比如游戏的资产处置环节等；

0 F7 @' @+ z9 m9 I8 |. V
) r! V; y' Z' z1 M. @7 T9 P" }0 e
6 p5 k& {  c+ D3 r# h8 \总的来说，BitVM 是个脑洞大开且极具创意的构想，但按照它的落地实现技术框架，就知道它短期大概率会限于白皮书构思阶段了，长期的应用场景探索，落地应用还面临极大的挑战。用个很通俗的例子来形象说明：BitVM 像是在人人可以用移动终端的时代里，构建了一台比房间还大的巨型计算机。
' x+ Y8 b7 u7 m/ g6 ?* k, H
9 ]* o, \3 i; V

比特币还是相当的牛逼的了啊。

理论了解一下，肯定都是不会吃亏的。

今次游戏也的确很好的胜率来的啊

你的理论打法不错的呀，赢钱了应该是打法对你有用哦~来收藏下了解下了

各种游戏也是值得去看看关注下的啦。

我的成果的功劳都是老哥像这样的理论分享。

具体的理论打法还得让老哥来解答啊

谢谢楼主的理论分享，也是可以学习到许多的。

每一种游戏的吧也是关心一下了

你估计也是一个理论很内行的玩家，谢谢楼主的分享。

楼主的理论打法，玩起上来确实能控制振幅

看了这个游戏我感到也是需要游戏起来了的哦。

游戏最后一段话觉得是有感觉的，但是在我面前就难以实现，毕竟运气太差了。

这个游戏能自己好好把握，也是很好的。

这个理论打法说起来是绝对有效果的，我也来收藏

有盈利的时候就该收手，全部游戏长玩就是完了