×
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] => 19773
[posts] => 283770
[todayposts] => 0
[yesterdayposts] => 293
[rank] => 2
[oldrank] => 2
[lastpost] => 2648669 内存池( Ethereum )(转) 1715270237 935a
[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 引热议,比特币网络可以实现图灵完备?(转)
[复制链接]
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6712 小时
本月在线: 9 小时
|
|
BitVM 像是在人人可以用移动终端的时代里,构建了一台比房间还大的巨型计算机。 H2 s1 w& L/ a
% m Q. o8 P% }, ], H O/ J7 h
% Y4 K1 U1 ^% Z) \1 {" C% K& S1 L( l撰文:Haotian
7 [9 q3 k3 ^9 C0 d" C( X. h E$ z/ p8 o4 C* w5 s" {! J9 i
( U: X6 ]# F( A# Q& ^9 u( g
6 f8 y6 D9 S3 g2 @$ x) _* G. n% n
一篇题为《BitVM:Compute Anything On Bitcoin》的白皮书引发了开发者热议,似乎意味着比特币网络实现图灵完备合约了,可以执行任何可计算的函数?& ^3 `1 z7 ^' z+ u6 k5 V1 m2 d
& C2 `' w! K9 C: N
! r4 L9 O* j( _6 o2 [3 V1 @, c- [; E- t2 V' x- y1 E6 q
这意味着比特币网络可以复现以太坊等生态的一切叙事?而且不需要改变现有比特币共识,甚至不需要任何升级,仅依托当下比特币的基础 op_code 就可以赋予比特币网络「复杂」的可编程能力,让比特币网络可以图灵完备计算一切?6 ^' Y- H+ z2 G' | U$ r
; p. `0 s2 }3 H: M9 `1 C9 R( f# M( {9 U' o# t
" o9 D! C9 ?4 i7 o+ H0 a7 [Wait,先别展开美梦了,先探讨下 BitVM 的构想路径怎么回事。Script 空间如何执行复杂编程?Optimism Rollup 思想指的是什么?Fraud Proof 欺诈证明原理是什么?BitVM 落地实现存在哪些障碍?接下来带大家逐步分析下它的大致逻辑框架,便于大家通俗理解。(不过多探讨具体技术实现细节- u. s* v. y! P
( M3 m' t4 \, g, n+ q( }
( K. e) l. a7 b- L, s T' [
4 r: T& g s' ], s l+ W如何实现复杂可编程特性?4 ~& E$ p+ I; M' Y$ ?
8 O! k' N" K! \& ^8 Y' C
3 F* E4 N( X3 g! k) a
由于,比特币的编程能力非常有限,仅在 script 脚本上支持简单的逻辑和有限的操作码,因此无法在比特币网络上开发复杂的智能合约。BitVM 提案脑洞大开的核心点就是,通过 taproot 地址矩阵或者说 taptree 实现了类似二进制电路的各类程序指令,组合起来就相当于完整的合约执行了。* \. `( S( M, N! q" u. {+ \* t
, P$ |* ]! G* u6 X, v) C
- J9 v3 H0 R. Z$ j7 K- U# x% P/ w; W$ k; g+ k1 W! ?
具体而言,我们可把每一个 Script 脚本中的 UTXO 花费条件指令当成一个程序最小单元,一个脚本执行无非 true 和 false 两种结果,若在 taproot 地址中输入一定的代码就能得到一个确定性的 0 或者 1,若把大量的 taproot 地址组成矩阵就能构成一个有序的 taptree,而执行的结果就有大量 011001 之类的二进制电路文本效果,就可以被视为一个可执行的二进制程序。程序的复杂性取决于组合的 taproot 地址多少,地址越多,在比特币框架范围下每个 Script 预置的指令越丰富,整个 taptree 可以执行的程序就越复杂。Maker Sense 吧?
$ ~: I5 M- k" U3 V6 j3 U: T
4 S7 D5 F) u9 Q$ B' q) j; h) K4 h" u1 m' C) t
7 O# M/ j* Y. v/ V4 ]这脑洞着实够大。不过按照这个逻辑,最小单元指令确实由比特币全节点完成,而且无限叠加 taproot 地址,无限组合的可能性可以叠加很多复杂计算。某种程度上,说它为图灵完备机不为过。但无限叠加 taproot 地址只会增加成本消耗,理论上是可以图灵完备实现一切,但却不切实际。
' D8 h0 C! ~4 ?- e0 A: q. ?) ^
5 P. ~2 T) s- j* b. c# U) Y
8 L9 v- G1 U2 \- Z; X' t1 Z* `& U( C7 T2 q
所以,白皮书中提到的图灵完备只是极端理想情况下的说法,有点「偷换概念」之嫌,连以太坊号称超级计算机都无法完全实现图灵完备,何况仅依托 script 的比特币网络呢?* ~2 g( }7 {5 a" X4 U# a7 ]
# t- m! V0 X+ F4 J" q# o# g5 t
9 d; F5 x$ G7 _) |# n' g) U3 E: Q
若干复杂概念浅析
) ?( D2 h/ A2 U; ^% R
3 O* X8 W: Y f6 {$ ^
$ N6 u( N3 [) U% R基于上述核心框架理解,再去看白皮书中提到的 Optimism Rollup 和 Fraud Proof 以及 Bit commitment,Logic Gate 为何物了?由于,单个 taproot 空间和可执行代码逻辑有限,在链下执行复杂程序,只把关键验证环节放到链上,不就是一种 Rollup 的思想吗?. l1 p% E: ~; e6 {3 Y
. }; [9 ]2 g2 s7 h$ x. f
; Q* r; I- x# j5 e- I7 q; }3 L9 D9 S; q& ~
而 Fraud Proof 可以这样理解,Prover 和 verifier 双方先编译一个巨大的二进制电路,比特币网络在执行电路时,有一个前提是 Prover 要预签名 且要质押一定的比特币资产,若 Verifier 验证出来 Prover 有作恶之嫌,就可以同理向链上发送交易以触发链上 taptree「程序」的 UTXO 解锁条件,成功的话,verifier 就可以罚没 prover 的抵押资产,等于就是一次欺诈证明过程。
1 J+ s* D+ D4 U/ P, g4 l" g+ b- V( d3 X; \ ?
{. l8 m% F* y+ r' S# W3 c6 k) i, k5 P! j6 j+ Q/ ~) }3 s
这个逻辑里,我们就不难理解为啥 BitVM 只适用于两个有约定共识的 parties,即必须执行前共享总电路图,必须在有效期内执行欺诈者证明程序,必须质押一定资产且预签名。若双方没有在链下配合搞一套约定的共识,仅靠比特币网络有限的链上执行环境,很难促成一次真正的「合约」执行。
& f9 A1 C8 x# q# y; X
1 u: b/ V3 V1 M M: f" m" I# O
; @! M0 l; T6 R1 r' K, a$ k8 Y6 T4 V2 h3 F ]6 K# Q# f# |$ j
BitVM 落地会存在哪些障碍?
A% `4 I" R* P) F+ z2 O& n- J
6 _8 b2 W, b) J2 J
2 J+ ]0 J0 J8 l3 G$ x9 u1)BitVM 目前只适合两个约定共识的 Parties 之间实施链上操作,链上环境只是公开透明化执行合同的过程。目前也仅能实现两个约定主体之间,若实现 N-N 需要更复杂的技术逻辑设计。6 f" E8 p% A& f5 a
6 n. [- J4 R5 Q2 f, F# T3 t1 S3 I& Y" ^7 o4 V- u
. K3 k5 S0 K- t: t0 ^
2)BitVM 如何应用单个 taproot 地址的脚本实施最小编程单位,不能超出比特币的执行逻辑框架比如 hashlock、timelock 这些,不能超出限定的存储条件,乐观情况下 一个 taproot 地址可以编程上百个逻辑门,更多就得组合大量地址进行 taptree 构建了。问题来了,taproot 地址预设解锁条件的执行需要付矿工费,地址组合越多要花费的成本也越大。未来也许靠闪电网络的双向通道技术可以降低成本,但总得来说要靠比特币网络执行逻辑门电路,不仅慢不说,想想就是个高花费的事儿。
, N( R- @/ `0 `5 M* M% l% Y I+ O: ~6 X, o6 n
6 S# T# ?# Q( m( P9 T$ @' p
2 N; v/ u* ?0 s3)BitVM 理想状况下支持的场景很有限,比较适合重链下计算,只有部分共识和资产转移需要依赖链上的场景,比如游戏的资产处置环节等;
v5 A; D) q: j" G! M) M. d E/ M7 m+ i9 E! f! O- r$ o
3 c, w2 Y. e& \7 e3 e' v; X) l- G4 B9 ]$ Y
总的来说,BitVM 是个脑洞大开且极具创意的构想,但按照它的落地实现技术框架,就知道它短期大概率会限于白皮书构思阶段了,长期的应用场景探索,落地应用还面临极大的挑战。用个很通俗的例子来形象说明:BitVM 像是在人人可以用移动终端的时代里,构建了一台比房间还大的巨型计算机。; z, X' N9 ?3 @ @- j
( E$ }1 g2 a' O U: u6 K
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11503 小时
本月在线: 32 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 3 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 2 小时
本月在线: 0 分钟
|
|
你的理论打法不错的呀,赢钱了应该是打法对你有用哦~来收藏下了解下了 |
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 38 小时
本月在线: 2 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 34 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 34 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 8 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 26 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 168 小时
本月在线: 0 分钟
|
|
游戏最后一段话觉得是有感觉的,但是在我面前就难以实现,毕竟运气太差了。 |
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 275 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 1 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|