优惠论坛

标题: BitVM 引热议,比特币网络可以实现图灵完备?(转) [打印本页]

作者: 人生如赌    时间: 2023-10-11 17:12
标题: BitVM 引热议,比特币网络可以实现图灵完备?(转)
BitVM 像是在人人可以用移动终端的时代里,构建了一台比房间还大的巨型计算机。! l& M& ~4 q( A1 ?4 v; o" b' c
: T% y; S8 i$ E" n. T0 s9 s

' O( S9 x: ~8 v撰文:Haotian: V( g" p4 c3 u) W  [3 S- y
- |* ^5 |: e+ z

, G" S- W+ _0 A* Z, p) S8 d) N  J. M* r/ R- C7 Y# |: `- n
一篇题为《BitVM:Compute Anything On Bitcoin》的白皮书引发了开发者热议,似乎意味着比特币网络实现图灵完备合约了,可以执行任何可计算的函数?# a& D) R8 e* M! y2 h8 r. a  R

4 c# x8 b0 ]3 P' F8 c/ K
/ ~1 b; J* n! ?# A* l* s. L
% Y  }$ K- p+ G9 ~' n& X# x- p这意味着比特币网络可以复现以太坊等生态的一切叙事?而且不需要改变现有比特币共识,甚至不需要任何升级,仅依托当下比特币的基础 op_code 就可以赋予比特币网络「复杂」的可编程能力,让比特币网络可以图灵完备计算一切?
" }  X" T2 b! @' \
3 x$ ]. A' z8 T% [4 t$ W' y7 J4 v3 a) P$ s3 f( n

: V: T2 H5 l7 d, q. E7 T& t0 l, BWait,先别展开美梦了,先探讨下 BitVM 的构想路径怎么回事。Script 空间如何执行复杂编程?Optimism Rollup 思想指的是什么?Fraud Proof 欺诈证明原理是什么?BitVM 落地实现存在哪些障碍?接下来带大家逐步分析下它的大致逻辑框架,便于大家通俗理解。(不过多探讨具体技术实现细节8 f. L) d& l! A# k8 ~' H' F9 l1 N

+ C$ T) A7 l& T% M% n2 \( D( @" T( X( L2 v( @; h" Y+ l
0 v7 r/ V* m( p; R) t0 I
如何实现复杂可编程特性?; X5 Z* Y4 z9 j% S+ M9 Z( s* t3 D/ C
9 z, i7 a2 o: l! w

7 v7 N' ?# p( K# @4 G8 B' k由于,比特币的编程能力非常有限,仅在 script 脚本上支持简单的逻辑和有限的操作码,因此无法在比特币网络上开发复杂的智能合约。BitVM 提案脑洞大开的核心点就是,通过 taproot 地址矩阵或者说 taptree 实现了类似二进制电路的各类程序指令,组合起来就相当于完整的合约执行了。
  B  j2 _( Q& z2 G2 F
7 P* p( B$ u8 ?, O8 o: K' E, Y3 T. ]4 h+ a  |0 X! @. S2 X: S
- M2 _; O. N; }0 z$ g
具体而言,我们可把每一个 Script 脚本中的 UTXO 花费条件指令当成一个程序最小单元,一个脚本执行无非 true 和 false 两种结果,若在 taproot 地址中输入一定的代码就能得到一个确定性的 0 或者 1,若把大量的 taproot 地址组成矩阵就能构成一个有序的 taptree,而执行的结果就有大量 011001 之类的二进制电路文本效果,就可以被视为一个可执行的二进制程序。程序的复杂性取决于组合的 taproot 地址多少,地址越多,在比特币框架范围下每个 Script 预置的指令越丰富,整个 taptree 可以执行的程序就越复杂。Maker Sense 吧?% s( V  t( p7 s0 u4 O
1 W5 W" X; |$ F; M3 C" D7 q5 Z  t
2 }/ `2 b$ x  B  a

% P( K4 b1 v# o, V& M这脑洞着实够大。不过按照这个逻辑,最小单元指令确实由比特币全节点完成,而且无限叠加 taproot 地址,无限组合的可能性可以叠加很多复杂计算。某种程度上,说它为图灵完备机不为过。但无限叠加 taproot 地址只会增加成本消耗,理论上是可以图灵完备实现一切,但却不切实际。
$ K' d3 u* q7 V$ h8 L$ ]
4 C% e2 n4 j4 M3 w* O
: z+ U$ \8 Y) k7 G& c7 q
. d, ^! I7 Y# f( k+ e; I& W2 e; A$ k所以,白皮书中提到的图灵完备只是极端理想情况下的说法,有点「偷换概念」之嫌,连以太坊号称超级计算机都无法完全实现图灵完备,何况仅依托 script 的比特币网络呢?
0 _- V3 K" n5 r. A; B+ [0 O
3 D0 x# P- `3 Z0 l4 {6 R( o" C
- |2 ^" Y7 D5 w" a" X
' F* b8 t: P/ ~若干复杂概念浅析
% N% T$ |2 O) l9 m/ T& g& X8 B2 u2 E4 S$ l
, a- B5 W- S4 I, L' ]) v
基于上述核心框架理解,再去看白皮书中提到的 Optimism Rollup 和 Fraud Proof 以及 Bit commitment,Logic Gate 为何物了?由于,单个 taproot 空间和可执行代码逻辑有限,在链下执行复杂程序,只把关键验证环节放到链上,不就是一种 Rollup 的思想吗?8 q/ w1 @& m8 i- i5 P7 \0 g' N, r2 \
  F& H9 x2 _) ]3 k; D
- z/ `. k) b7 g/ F  ]: h3 w

8 [/ A" q. }8 V& m( Z而 Fraud Proof 可以这样理解,Prover 和 verifier 双方先编译一个巨大的二进制电路,比特币网络在执行电路时,有一个前提是 Prover 要预签名 且要质押一定的比特币资产,若 Verifier 验证出来 Prover 有作恶之嫌,就可以同理向链上发送交易以触发链上 taptree「程序」的 UTXO 解锁条件,成功的话,verifier 就可以罚没 prover 的抵押资产,等于就是一次欺诈证明过程。4 z9 C( Z% l. V' B

( ?* N  ^& K9 W5 c; ?4 u( b1 {( `( b2 R/ i
0 f. ~! H: O. s0 E& y3 H
这个逻辑里,我们就不难理解为啥 BitVM 只适用于两个有约定共识的 parties,即必须执行前共享总电路图,必须在有效期内执行欺诈者证明程序,必须质押一定资产且预签名。若双方没有在链下配合搞一套约定的共识,仅靠比特币网络有限的链上执行环境,很难促成一次真正的「合约」执行。
9 H% M- @/ o- [" p' e* W/ ]( t+ q. Y8 L: B* w& o! E2 |& q$ W

! M; C+ G) h; D& Y7 p# K' ]
, l' {2 {3 y/ |: vBitVM 落地会存在哪些障碍?9 N, g. h4 K; l2 g% [' T
7 F% z0 I3 f. N. I2 F4 o
/ ^- z2 F  x: y( f3 R
1)BitVM 目前只适合两个约定共识的 Parties 之间实施链上操作,链上环境只是公开透明化执行合同的过程。目前也仅能实现两个约定主体之间,若实现 N-N 需要更复杂的技术逻辑设计。. ^# d! Q1 P$ F

; e% f" \! Y# Y; n# c3 w! L1 o2 E; H* @

. [1 j; R" G1 z/ @5 j0 u7 Z+ \5 G" t2)BitVM 如何应用单个 taproot 地址的脚本实施最小编程单位,不能超出比特币的执行逻辑框架比如 hashlock、timelock 这些,不能超出限定的存储条件,乐观情况下 一个 taproot 地址可以编程上百个逻辑门,更多就得组合大量地址进行 taptree 构建了。问题来了,taproot 地址预设解锁条件的执行需要付矿工费,地址组合越多要花费的成本也越大。未来也许靠闪电网络的双向通道技术可以降低成本,但总得来说要靠比特币网络执行逻辑门电路,不仅慢不说,想想就是个高花费的事儿。, S. g) d9 o- }" e/ `3 x% A

5 a8 J0 R, p1 d( w2 l" f: d4 ^3 _
( R! I2 N$ P! }( ?% I, P: p7 E) E5 O6 b; v& z1 T
3)BitVM 理想状况下支持的场景很有限,比较适合重链下计算,只有部分共识和资产转移需要依赖链上的场景,比如游戏的资产处置环节等;2 P" B8 _% O& f& N2 D$ U
3 l+ I: a$ ~4 X: ?" G

  Y: P. Q% Y+ M- \- ?' D$ \' d( e& _+ n5 e, ?- r
总的来说,BitVM 是个脑洞大开且极具创意的构想,但按照它的落地实现技术框架,就知道它短期大概率会限于白皮书构思阶段了,长期的应用场景探索,落地应用还面临极大的挑战。用个很通俗的例子来形象说明:BitVM 像是在人人可以用移动终端的时代里,构建了一台比房间还大的巨型计算机。
' d$ [6 U7 Y6 J& \2 S8 s! ]
# ^$ r+ u# p3 ?) h3 J  i( r
作者: 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://tcelue.com/) Powered by Discuz! X3.1