×
Array
(
[fid] => 6974
[description] => 专注于币圈最新最快资讯，数字货币应用及知识普及
[password] =>
[icon] => b1/common_6974_icon.png
[redirect] =>
[attachextensions] =>
[creditspolicy] => Array
(
[post] => Array
(
[usecustom] => 1
[cycletype] => 1
[cycletime] => 0
[rewardnum] => 5
[extcredits1] => 1
[extcredits2] => 1
[extcredits3] => 0
[extcredits4] => 0
[extcredits5] => 0
[extcredits6] => 0
[extcredits7] => 0
[extcredits8] => 0
[rid] => 1
[fid] => 6974
[rulename] => 发表主题
[action] => post
[fids] => 32,52,67,447,1120,1151,1156,6750,6762,6763,6766,6769,6772,6773,6787,6796,6808,6809,6810,6813,6814,6820,6829,6830,6846,6856,6864,6865,6827,6930,6931,6776,6858,6880,6764,6932,6871,6758,6905,1116,6788,6812,6798,6736,6759,6842,6966,6767,6828,6924,6935,6936,6938,6940,6941,6826,6909,6803,6919,6911,6908,6881,6920,6912,6913,6921,6925,6922,6789,6818,6819,6872,6928,6969,6889,6888,6917,6939,6947,6961,6937,6943,6970,6869,6900,6902,6783,6817,1111,6870,6821,6876,6952,6954,6960,6942,6910,6949,6962,6963,6964,6927,6926,6973,6728,6929,6874,6894,6896,6885,6857,6868,1113,6778,56,6844,6878,6802,6933,6811,6923,6877,6875,6918,6892,6757,6832,6833,6795,6793,6848,6837,6849,6850,6851,6852,6853,6854,6863,6882,6836,6790,6838,6794,6791,6873,555,6934,6958,6944,6945,6907,6779,6886,6950,6904,6956,6862,6957,6855,6955,6959,6914,6965,6971,6972,6953,6976,6824,6815,6891,6866,6979,6977,6765,6903,6948,6980,6981,6983,6799,6982,6951,6984,6975,6895,6845,6879,1121,6974
)
[reply] => Array
(
[usecustom] => 1
[cycletype] => 1
[cycletime] => 0
[rewardnum] => 0
[extcredits1] => 0
[extcredits2] => 1
[extcredits3] => 10
[extcredits4] => 0
[extcredits5] => 0
[extcredits6] => 0
[extcredits7] => 0
[extcredits8] => 0
[rid] => 2
[fid] => 6974
[rulename] => 发表回复
[action] => reply
[fids] => 32,52,67,447,1120,1151,1156,6750,6763,6766,6769,6772,6773,6787,6796,6808,6809,6810,6813,6814,6820,6829,6830,6846,6856,6864,6865,6827,6930,6931,6776,6858,6880,6764,6932,6871,6758,1116,6788,6812,6798,6736,6759,6842,6966,6767,6828,6924,6935,6936,6938,6940,6941,6826,6909,6803,6919,6911,6908,6881,6920,6912,6913,6921,6925,6922,6789,6818,6819,6872,6928,6969,6889,6888,6917,6939,6947,6961,6937,6943,6970,6869,6900,6902,6783,6817,1111,6870,6821,6876,6952,6954,6960,6942,6910,6949,6962,6963,6964,6927,6926,6973,6728,6929,6874,6894,6896,6885,6857,6868,1113,6778,56,6844,6878,6802,6933,6811,6923,6877,6875,6918,6892,6757,6832,6833,6795,6793,6848,6837,6849,6850,6851,6852,6853,6854,6863,6836,6790,6838,6794,6791,6873,555,6934,6958,6944,6945,6907,6779,6886,6950,6904,6956,6862,6957,6855,6955,6959,6914,6965,6971,6972,6953,6976,6824,6815,6891,6866,6979,6977,6765,6903,6948,6980,6981,6983,6799,6982,6951,6984,6975,6895,6845,6879,1121,6974
)
)
[formulaperm] => a:5:{i:0;s:0:"";i:1;s:0:"";s:7:"message";s:0:"";s:5:"medal";N;s:5:"users";s:0:"";}
[moderators] => 实习版主1
[rules] =>
[threadtypes] => Array
(
[required] => 1
[listable] => 1
[prefix] => 1
[types] => Array
(
[1590] => 论坛公告
[1752] => 公司优惠
[1603] => 虚拟币交流
[1753] => 数字钱包
[1754] => 虚拟币存提
[1755] => 交易所
[1655] => 虚拟币资讯
[1756] => 银行卡
[1757] => 第三方支付
[1760] => 币圈大佬
[1758] => 科技前沿
[1759] => 天策嗨聊
[1661] => 入驻合作
)
[icons] => Array
(
[1590] =>
[1752] =>
[1603] =>
[1753] =>
[1754] =>
[1755] =>
[1655] =>
[1756] =>
[1757] =>
[1760] =>
[1758] =>
[1759] =>
[1661] =>
)
[moderators] => Array
(
[1590] => 1
[1752] =>
[1603] =>
[1753] =>
[1754] =>
[1755] =>
[1655] =>
[1756] =>
[1757] =>
[1760] =>
[1758] =>
[1759] => 1
[1661] =>
)
)
[threadsorts] => Array
(
)
[viewperm] => 9 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 31 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3 7 8
[postperm] => 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[replyperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[getattachperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[postattachperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[postimageperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[spviewperm] =>
[seotitle] =>
[keywords] =>
[seodescription] =>
[supe_pushsetting] =>
[modrecommend] => Array
(
[open] => 0
[num] => 10
[imagenum] => 0
[imagewidth] => 300
[imageheight] => 250
[maxlength] => 0
[cachelife] => 0
[dateline] => 0
)
[threadplugin] => Array
(
)
[replybg] =>
[extra] => a:2:{s:9:"namecolor";s:0:"";s:9:"iconwidth";s:2:"60";}
[jointype] => 0
[gviewperm] => 0
[membernum] => 0
[dateline] => 0
[lastupdate] => 0
[activity] => 0
[founderuid] => 0
[foundername] =>
[banner] =>
[groupnum] => 0
[commentitem] =>
[relatedgroup] =>
[picstyle] => 0
[widthauto] => 0
[noantitheft] => 0
[noforumhidewater] => 0
[noforumrecommend] => 0
[livetid] => 0
[price] => 0
[fup] => 6729
[type] => forum
[name] => 虚拟币讨论大厅
[status] => 1
[displayorder] => 3
[styleid] => 0
[threads] => 27127
[posts] => 429374
[todayposts] => 260
[yesterdayposts] => 746
[rank] => 2
[oldrank] => 1
[lastpost] => 2756521 大爷大妈杀进币圈：比特币是金，狗狗币是马斯克的 1755838415 德罗星
[domain] =>
[allowsmilies] => 1
[allowhtml] => 1
[allowbbcode] => 1
[allowimgcode] => 1
[allowmediacode] => 0
[allowanonymous] => 0
[allowpostspecial] => 21
[allowspecialonly] => 0
[allowappend] => 0
[alloweditrules] => 1
[allowfeed] => 0
[allowside] => 0
[recyclebin] => 1
[modnewposts] => 2
[jammer] => 1
[disablewatermark] => 0
[inheritedmod] => 0
[autoclose] => 0
[forumcolumns] => 3
[catforumcolumns] => 0
[threadcaches] => 0
[alloweditpost] => 1
[simple] => 16
[modworks] => 1
[allowglobalstick] => 1
[level] => 0
[commoncredits] => 0
[archive] => 0
[recommend] => 0
[favtimes] => 0
[sharetimes] => 0
[disablethumb] => 0
[disablecollect] => 0
[ismoderator] => 0
[threadtableid] => 0
[allowreply] =>
[allowpost] =>
[allowpostattach] =>
)
[虚拟币交流]
BitVM 引热议，比特币网络可以实现图灵完备？（转）
[复制链接]
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 7217 小时
本月在线: 16 小时
|
|
BitVM 像是在人人可以用移动终端的时代里，构建了一台比房间还大的巨型计算机。
5 H6 T- P3 L4 ` `7 q( d
" j7 T: g4 j' ]" [: z6 X
. `! z8 K% Q+ x撰文：Haotian
0 l* S, _! n% p& v
* m9 U$ ^% O! ^( C
1 t% ^" J* }: `; N. R0 b
4 A' E7 ]' J. z& N" g一篇题为《BitVM：Compute Anything On Bitcoin》的白皮书引发了开发者热议，似乎意味着比特币网络实现图灵完备合约了，可以执行任何可计算的函数？. H$ ~; N- m$ ~8 U0 m8 [
, @: C$ ]' ^4 z; |" l! f$ }, b
( x7 r0 f8 T* o. \" w- a2 y0 {' h2 S2 Q4 d/ l' B* ?+ \5 c
这意味着比特币网络可以复现以太坊等生态的一切叙事？而且不需要改变现有比特币共识，甚至不需要任何升级，仅依托当下比特币的基础 op_code 就可以赋予比特币网络「复杂」的可编程能力，让比特币网络可以图灵完备计算一切？
) N5 [+ ^# s7 z/ _# q3 a5 v+ k: u r$ t
2 D; |( s3 x4 z0 h+ `5 ~. i G: {' n1 _4 K' I
Wait，先别展开美梦了，先探讨下 BitVM 的构想路径怎么回事。Script 空间如何执行复杂编程？Optimism Rollup 思想指的是什么？Fraud Proof 欺诈证明原理是什么？BitVM 落地实现存在哪些障碍？接下来带大家逐步分析下它的大致逻辑框架，便于大家通俗理解。（不过多探讨具体技术实现细节
( d# Q- S4 d4 O' q& }9 e0 p4 g/ \/ J$ k' ^1 G6 D
# Q* M: s/ _7 r* n# V4 h! j; F0 ~: E( l* c8 a
如何实现复杂可编程特性？
" o$ @8 I/ S& |3 [/ _! m7 l2 m. P3 z$ B$ r4 v
; b2 i0 H& L3 e6 a# I' k, G5 @0 t由于，比特币的编程能力非常有限，仅在 script 脚本上支持简单的逻辑和有限的操作码，因此无法在比特币网络上开发复杂的智能合约。BitVM 提案脑洞大开的核心点就是，通过 taproot 地址矩阵或者说 taptree 实现了类似二进制电路的各类程序指令，组合起来就相当于完整的合约执行了。8 x& O1 |* m4 h3 N
, {5 J/ c: }5 h6 H0 Y% F( G# P( }2 v4 ]! b$ y; Q1 ^
0 @1 p" R$ M0 f6 C6 x3 l
具体而言，我们可把每一个 Script 脚本中的 UTXO 花费条件指令当成一个程序最小单元，一个脚本执行无非 true 和 false 两种结果，若在 taproot 地址中输入一定的代码就能得到一个确定性的 0 或者 1，若把大量的 taproot 地址组成矩阵就能构成一个有序的 taptree，而执行的结果就有大量 011001 之类的二进制电路文本效果，就可以被视为一个可执行的二进制程序。程序的复杂性取决于组合的 taproot 地址多少，地址越多，在比特币框架范围下每个 Script 预置的指令越丰富，整个 taptree 可以执行的程序就越复杂。Maker Sense 吧？
5 k0 L1 E+ h. K9 A% e ], M R d6 Z/ I2 B' V0 {$ R5 }
5 s0 W' u- `) c! E2 B& p* p3 K5 S6 S' \$ N7 d$ n4 |6 }+ Y
这脑洞着实够大。不过按照这个逻辑，最小单元指令确实由比特币全节点完成，而且无限叠加 taproot 地址，无限组合的可能性可以叠加很多复杂计算。某种程度上，说它为图灵完备机不为过。但无限叠加 taproot 地址只会增加成本消耗，理论上是可以图灵完备实现一切，但却不切实际。
8 J' [ m* ^& p; N2 y4 S# [5 C( k7 t& ]
8 k- R3 T) O+ X) l7 p3 `
6 _, c' p6 b! e7 n5 E1 o; H
所以，白皮书中提到的图灵完备只是极端理想情况下的说法，有点「偷换概念」之嫌，连以太坊号称超级计算机都无法完全实现图灵完备，何况仅依托 script 的比特币网络呢？. |& O; z" Z0 D4 S
( n7 w) u0 p4 H1 g
7 r3 I& y& V: ~4 b7 G; h3 s% f& q3 g4 t- |7 `1 _1 t) u0 C
若干复杂概念浅析6 W4 p* b, D( q) J7 w; {6 z, Y
, ?* N. ? K3 P" L( a
# E7 `* e! y1 A/ ~# s% Z5 y* V& r
基于上述核心框架理解，再去看白皮书中提到的 Optimism Rollup 和 Fraud Proof 以及 Bit commitment，Logic Gate 为何物了？由于，单个 taproot 空间和可执行代码逻辑有限，在链下执行复杂程序，只把关键验证环节放到链上，不就是一种 Rollup 的思想吗？
1 B* C( m! G. F7 f/ {" p# f8 [
; B; A, Q- N0 b0 T
5 R6 Q4 u& f* l! I4 e; M' v" w3 v& G/ N1 F( L( {
而 Fraud Proof 可以这样理解，Prover 和 verifier 双方先编译一个巨大的二进制电路，比特币网络在执行电路时，有一个前提是 Prover 要预签名 且要质押一定的比特币资产，若 Verifier 验证出来 Prover 有作恶之嫌，就可以同理向链上发送交易以触发链上 taptree「程序」的 UTXO 解锁条件，成功的话，verifier 就可以罚没 prover 的抵押资产，等于就是一次欺诈证明过程。
* Q# }4 J" k! F. a$ h( S) Z2 P% ]' p: K: j5 K
% h: W; w$ b' X2 b' R }
( j$ h ~; D7 R" v. Y/ O+ B这个逻辑里，我们就不难理解为啥 BitVM 只适用于两个有约定共识的 parties，即必须执行前共享总电路图，必须在有效期内执行欺诈者证明程序，必须质押一定资产且预签名。若双方没有在链下配合搞一套约定的共识，仅靠比特币网络有限的链上执行环境，很难促成一次真正的「合约」执行。
) M- D: h) S# Z, W& I9 a: r% G, ?9 L3 }4 X! T$ L9 U
, t# }. T; [) W9 Z( u/ t( V, D# @3 x, h W1 s" ?
BitVM 落地会存在哪些障碍？
+ r% @0 h3 W- b( w6 t" ?4 [ B( A9 k4 Q* A) h$ n8 ?6 C
% q+ A) d! X) i# c, Y1 n. W) B
1）BitVM 目前只适合两个约定共识的 Parties 之间实施链上操作，链上环境只是公开透明化执行合同的过程。目前也仅能实现两个约定主体之间，若实现 N-N 需要更复杂的技术逻辑设计。
& H8 r: A o+ F5 ?5 n0 k: V, ~6 A
5 V4 j2 F& r( z$ Q9 d b R
8 B y# h/ T9 [; s# o W
: O- |3 o- b# u" j0 i! D2）BitVM 如何应用单个 taproot 地址的脚本实施最小编程单位，不能超出比特币的执行逻辑框架比如 hashlock、timelock 这些，不能超出限定的存储条件，乐观情况下 一个 taproot 地址可以编程上百个逻辑门，更多就得组合大量地址进行 taptree 构建了。问题来了，taproot 地址预设解锁条件的执行需要付矿工费，地址组合越多要花费的成本也越大。未来也许靠闪电网络的双向通道技术可以降低成本，但总得来说要靠比特币网络执行逻辑门电路，不仅慢不说，想想就是个高花费的事儿。; s" ^- y4 x1 E0 d. l% a& w
* l8 B! o4 R6 q7 |- @& Z9 N% b; m, @4 W1 c" J2 g. C |7 B; O# ?
; ~# x) s8 Y& f4 \) B6 ?. C$ U
3）BitVM 理想状况下支持的场景很有限，比较适合重链下计算，只有部分共识和资产转移需要依赖链上的场景，比如游戏的资产处置环节等；# ^! i9 C' a: M) `- }0 _
: C( f5 R) r* C* H' h S$ U( ^+ j; m- ]8 b$ U% @8 L2 Q
" M+ ~6 Y4 e( d4 @) u* E0 c总的来说，BitVM 是个脑洞大开且极具创意的构想，但按照它的落地实现技术框架，就知道它短期大概率会限于白皮书构思阶段了，长期的应用场景探索，落地应用还面临极大的挑战。用个很通俗的例子来形象说明：BitVM 像是在人人可以用移动终端的时代里，构建了一台比房间还大的巨型计算机。- F1 L I$ F+ `9 k \- q. a" x
; z# F9 {+ E! H |
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13274 小时
本月在线: 62 小时
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 3 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 2 小时
本月在线: 0 分钟
|
|
|
你的理论打法不错的呀，赢钱了应该是打法对你有用哦~来收藏下了解下了 |
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 127 小时
本月在线: 4 小时
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 34 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 34 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 8 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 26 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 168 小时
本月在线: 0 分钟
|
|
|
游戏最后一段话觉得是有感觉的，但是在我面前就难以实现，毕竟运气太差了。 |
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 275 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 1 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
|
