优惠论坛
标题:
BitVM 引热议，比特币网络可以实现图灵完备？（转）
[打印本页]
作者:
人生如赌
时间:
2023-10-11 17:12
标题:
BitVM 引热议，比特币网络可以实现图灵完备？（转）
BitVM 像是在人人可以用移动终端的时代里，构建了一台比房间还大的巨型计算机。
1 U9 z; n6 w1 w. ^5 @
2 k |0 H( c; Z5 m
! W+ t. z9 a: W+ P3 A; Q1 D/ _$ Q
撰文：Haotian
* y% X2 n6 Q: ~
; X0 {6 ^' J i9 d' O
. b9 w- y3 f9 {$ R; C
; [5 W. H- u+ t9 W- B5 m: @
一篇题为《BitVM：Compute Anything On Bitcoin》的白皮书引发了开发者热议，似乎意味着比特币网络实现图灵完备合约了，可以执行任何可计算的函数？
* o* h% o E2 F8 t4 w3 ?" g* u7 {
. |3 L9 i! B2 X1 E
8 e: O( v( D0 B+ C1 ^+ h7 L4 l
6 t# J( e; T* }3 a ~
这意味着比特币网络可以复现以太坊等生态的一切叙事？而且不需要改变现有比特币共识，甚至不需要任何升级，仅依托当下比特币的基础 op_code 就可以赋予比特币网络「复杂」的可编程能力，让比特币网络可以图灵完备计算一切？
( B3 {5 T L, b% G& E5 l
r, J) Z" E, ?/ R; h) b
% e/ M+ N3 f m. d/ U+ E5 Z- z. g: }1 z
3 n) C' v$ K5 F$ ` Y% Y% e
Wait，先别展开美梦了，先探讨下 BitVM 的构想路径怎么回事。Script 空间如何执行复杂编程？Optimism Rollup 思想指的是什么？Fraud Proof 欺诈证明原理是什么？BitVM 落地实现存在哪些障碍？接下来带大家逐步分析下它的大致逻辑框架，便于大家通俗理解。（不过多探讨具体技术实现细节
, k' M; M/ e! F6 A
6 E7 k( n7 D7 n4 @6 c* y
8 [% ]3 c0 X" |0 e: j$ t
: J6 u& e5 X+ D2 z9 W
如何实现复杂可编程特性？
( P9 C2 E; A% x" h
2 p( Q. t9 d0 V( k
+ V* B) ]2 I! m* x# I
由于，比特币的编程能力非常有限，仅在 script 脚本上支持简单的逻辑和有限的操作码，因此无法在比特币网络上开发复杂的智能合约。BitVM 提案脑洞大开的核心点就是，通过 taproot 地址矩阵或者说 taptree 实现了类似二进制电路的各类程序指令，组合起来就相当于完整的合约执行了。
7 v1 f' l/ a) I% e) h
. I6 m: \) w4 m- f" J
/ I3 _+ l; h2 Q% j4 l7 ^
# `" M0 v4 ? A! _9 I
具体而言，我们可把每一个 Script 脚本中的 UTXO 花费条件指令当成一个程序最小单元，一个脚本执行无非 true 和 false 两种结果，若在 taproot 地址中输入一定的代码就能得到一个确定性的 0 或者 1，若把大量的 taproot 地址组成矩阵就能构成一个有序的 taptree，而执行的结果就有大量 011001 之类的二进制电路文本效果，就可以被视为一个可执行的二进制程序。程序的复杂性取决于组合的 taproot 地址多少，地址越多，在比特币框架范围下每个 Script 预置的指令越丰富，整个 taptree 可以执行的程序就越复杂。Maker Sense 吧？
8 T9 ~& S1 o! ]2 r$ n; L
. E6 V& P: P/ Q
) [2 z" |- B q/ w! l" h& V
' O9 ~" t0 L$ o5 S% z
这脑洞着实够大。不过按照这个逻辑，最小单元指令确实由比特币全节点完成，而且无限叠加 taproot 地址，无限组合的可能性可以叠加很多复杂计算。某种程度上，说它为图灵完备机不为过。但无限叠加 taproot 地址只会增加成本消耗，理论上是可以图灵完备实现一切，但却不切实际。
* R+ r5 A* J6 S" z }' f
6 D% t0 h- _& L# a& x
: F" N, o3 L* R& q2 Y7 S1 @- j
8 l3 C3 C) I0 ^- [ Z% X
所以，白皮书中提到的图灵完备只是极端理想情况下的说法，有点「偷换概念」之嫌，连以太坊号称超级计算机都无法完全实现图灵完备，何况仅依托 script 的比特币网络呢？
0 p8 W* {2 M% N
; m/ s1 x* {- H) v9 J
, N6 Y: ]% ]; p( S/ ^
. y8 j# l& ?4 l9 x- b
若干复杂概念浅析
: p$ W3 W( S6 A. ~" x3 n" H
; f6 |! u) H/ B' `- I1 A2 t
0 e+ Q9 t+ t7 O4 Y' k8 A% s5 J
基于上述核心框架理解，再去看白皮书中提到的 Optimism Rollup 和 Fraud Proof 以及 Bit commitment，Logic Gate 为何物了？由于，单个 taproot 空间和可执行代码逻辑有限，在链下执行复杂程序，只把关键验证环节放到链上，不就是一种 Rollup 的思想吗？
/ n1 ^; v* |4 O( O% E) a
, o: _: ]: t) G2 D t0 ~
c3 L& F* `- W( m5 H( |
# I5 h l% y. E. X1 \
而 Fraud Proof 可以这样理解，Prover 和 verifier 双方先编译一个巨大的二进制电路，比特币网络在执行电路时，有一个前提是 Prover 要预签名 且要质押一定的比特币资产，若 Verifier 验证出来 Prover 有作恶之嫌，就可以同理向链上发送交易以触发链上 taptree「程序」的 UTXO 解锁条件，成功的话，verifier 就可以罚没 prover 的抵押资产，等于就是一次欺诈证明过程。
# Q" Z7 Q N3 e7 v' g% w
4 K5 s! B5 S( j" R% f$ H
, Z) Q7 Q; f# r1 S4 L7 `$ J# |# v
" ?, x4 o- l2 _9 b/ R! J. |6 O/ f
这个逻辑里，我们就不难理解为啥 BitVM 只适用于两个有约定共识的 parties，即必须执行前共享总电路图，必须在有效期内执行欺诈者证明程序，必须质押一定资产且预签名。若双方没有在链下配合搞一套约定的共识，仅靠比特币网络有限的链上执行环境，很难促成一次真正的「合约」执行。
" |3 D- F3 D1 z8 n2 {/ Y
4 @5 P \- Q8 q: V
" K" H8 f0 \$ g! ~1 ^
! E# |& B/ e; u$ J% d" F
BitVM 落地会存在哪些障碍？
, z' j) |4 W W
9 V: j9 v( Y# `3 i W
# w4 r/ \3 ?2 R* q& M6 @
1）BitVM 目前只适合两个约定共识的 Parties 之间实施链上操作，链上环境只是公开透明化执行合同的过程。目前也仅能实现两个约定主体之间，若实现 N-N 需要更复杂的技术逻辑设计。
0 I7 H {) \+ K: h9 O
/ ~3 T8 z5 n A2 L8 O! |6 a$ \
) f& I8 ^# [- S7 T7 F" D' y2 D6 B
0 f- ]6 w' U/ R H6 I% J! B
2）BitVM 如何应用单个 taproot 地址的脚本实施最小编程单位，不能超出比特币的执行逻辑框架比如 hashlock、timelock 这些，不能超出限定的存储条件，乐观情况下 一个 taproot 地址可以编程上百个逻辑门，更多就得组合大量地址进行 taptree 构建了。问题来了，taproot 地址预设解锁条件的执行需要付矿工费，地址组合越多要花费的成本也越大。未来也许靠闪电网络的双向通道技术可以降低成本，但总得来说要靠比特币网络执行逻辑门电路，不仅慢不说，想想就是个高花费的事儿。
4 j4 y1 ?% @1 w- x# l( Q
* F8 J1 s6 i0 ~* l0 y0 d
( J# r( E7 |, g/ T* y$ @% a
( ^6 f( h% x: v6 u! B" g# |( n7 y; h
3）BitVM 理想状况下支持的场景很有限，比较适合重链下计算，只有部分共识和资产转移需要依赖链上的场景，比如游戏的资产处置环节等；
; M+ ^$ x g- V
& \# `9 a% d3 L( G. m; s8 U
5 L/ `' v2 h5 q- I4 ^& `& u, i
/ n# K/ Y8 {1 E6 g4 ?3 i- K8 W( M
总的来说，BitVM 是个脑洞大开且极具创意的构想，但按照它的落地实现技术框架，就知道它短期大概率会限于白皮书构思阶段了，长期的应用场景探索，落地应用还面临极大的挑战。用个很通俗的例子来形象说明：BitVM 像是在人人可以用移动终端的时代里，构建了一台比房间还大的巨型计算机。
" ^5 @4 J2 o% Q# }/ J* p
+ u3 \4 ~1 |! t( @1 G0 A |
作者:
22301
时间:
2023-10-11 17:29
比特币还是相当的牛逼的了啊。
作者:
不洗脸都帅
时间:
2023-10-11 19:52
我的成果的功劳都是老哥像这样的理论分享。
作者:
中大奖
时间:
2023-10-11 19:57
这次游戏在论坛的运气还是值得肯定的.
作者:
春娇与小智
时间:
2023-10-11 19:57
有盈利的时候就该收手，全部游戏长玩就是完了
作者:
wodezhuanyong
时间:
2023-10-11 19:57
具体的理论打法还得让老哥来解答啊
作者:
gkfbuw
时间:
2023-10-11 20:02
理论了解一下，肯定都是不会吃亏的。
作者:
ouliangzhong
时间:
2023-10-11 20:03
理论全体毛病不大，重点掌握的好了
作者:
老龙口
时间:
2023-10-11 20:04
你的理论打法还是蛮好啊，来学习下了解下了
作者:
百战
时间:
2023-10-11 20:05
看了这个游戏我感到也是需要游戏起来了的哦。
作者:
stareshiny
时间:
2023-10-11 20:08
这个游戏能自己好好把握，也是很好的。
作者:
jslinen
时间:
2023-10-11 20:08
这样的理论还是可以多多学习一下。
作者:
一路顺风
时间:
2023-10-11 20:12
游戏最后一段话觉得是有感觉的，但是在我面前就难以实现，毕竟运气太差了。
作者:
小希哥
时间:
2023-10-11 20:12
这样的理论打法是十分科学好有道理哦，我也来收藏
作者:
不要脸最大
时间:
2023-10-11 20:13
这个游戏有赢钱还是最好的结果了呀。
作者:
老衲来了
时间:
2023-10-11 20:14
学习理论再加上自己改正才能变得更棒！
作者:
越前龙马
时间:
2023-10-11 20:17
今次游戏也的确很好的胜率来的啊
作者:
hong29
时间:
2023-10-11 20:22
今次游戏能够赚到一天的生活费我也满足了。
作者:
一帆风顺发
时间:
2023-10-11 20:22
这个理论打法是需要向这个楼主多学习一下的。
作者:
赌神归来
时间:
2023-10-11 20:23
各种游戏也是值得去看看关注下的啦。
作者:
南相楚
时间:
2023-10-11 20:28
楼主的理论打法，玩起上来确实能控制振幅
作者:
wuzhaoshichao
时间:
2023-10-11 20:29
基础理论也是要看看的了呢
作者:
洋森
时间:
2023-10-11 20:30
你的理论打法不错的呀，赢钱了应该是打法对你有用哦~来收藏下了解下了
作者:
心随你动
时间:
2023-10-11 20:30
理论用得好，赢钱的时机就来了。
作者:
lvaeyou
时间:
2023-10-11 20:31
这个理论应该是大家累计的效果。
作者:
徐子
时间:
2023-10-11 20:32
你估计也是一个理论很内行的玩家，谢谢楼主的分享。
作者:
丁小荷
时间:
2023-10-11 20:37
我现在还是研究一下理论打法，感激楼主的分享，我也来学习
作者:
小夏Sherry
时间:
2023-10-11 20:37
每一种游戏的吧也是关心一下了
作者:
不傻不成气候
时间:
2023-10-11 20:38
理论尽管看起来很利害，或许我还是不会
作者:
大吉大利
时间:
2023-10-11 20:38
老哥的理论打法也是有在记录中的呀?
作者:
anzizhong
时间:
2023-10-11 20:41
谢谢楼主的理论分享，也是可以学习到许多的。
作者:
xiaoyi
时间:
2023-10-11 20:49
这个理论打法说起来是绝对有效果的，我也来收藏
作者:
rainwang
时间:
2023-10-11 21:42
说实在的，这里所有的词汇都不懂意思
作者:
爱美的女人
时间:
2023-10-13 20:14
实现图灵完备是要在看明白啊
作者:
赚钱小样
时间:
2023-10-16 13:02
那是不错的一个游戏 的了吧
作者:
yubuluowang
时间:
2023-10-16 19:42
这方面的消息也是比较关注的
作者:
爬格子的瘦书生
时间:
2023-10-17 17:25
比特币网络，也是要有新动作
欢迎光临 优惠论坛 (https://www.tcelue.cc/)
Powered by Discuz! X3.1