清华大学密码学博士吴彦冰带你揭开区块链密码学神秘面纱，了解区块链技术原理
, K3 Z! p' a! h$ e7 Y, M. I3 K9 M# I1 E& K, E
& f; F% U* D. ]8 `* c+ Y4 O) Z6 g
2 r' G7 q# q% {( z4 W3 J" q2 J7 b
# a1 d4 `9 q, x8 U; Y
1 n# P* |% i) n. f: u. ^ r主持人
% a5 g: s2 {+ R/ B+ @+ s我们从中本聪开天辟地之前聊起。我们都知道区块链诞生于比特币，而比特币诞生于密码学。那么纵观密码学发展历史，经典密码学和现代密码学的区别是什么？工作原理是什么？吴博士* x* i! D$ h: w
经典密码学和现代密码学区别还是非常大的,比如说经典密码学里面最典型代表比如拿凯萨密码来说。我们现在来看他是非常的简单,就有一个相当于是密码表进行置换。我们可以在里面进行一个置换可以将字母A换成C，可以将b换成D,进行一个混淆。解密的时候也是同样的原理，根据密码表反向回来就可以了。凯赛密码，我们是可以通过统计学分析出来的。比如说统计人类最常用的字母是o，假设密文里出现的最多的字母是r，我们就可以很大程度认为o被置换成了r。但是现代密码学就非常的不同，密码的安全性不是想传统密码一样依赖于加密解密的流程，而是依赖于密钥。现代密码学基本上是非常科学的，是基于一些,数学难题或者是数学体系,进行设计的。就比如说RSA就是基于大整数难分解问题设计。椭圆曲线签名就是基于离散对数问题设计的。
& R4 u6 x3 X8 C O2 `$ r2% [9 x! U- T. F* p, i
主持人- E2 A( {' J$ v$ a
中本聪并不是第一个尝试将密码学加入到货币中的人。在他之前有一些密码学学者有过尝试，比如PMoney等，那么之前关于密码学的加密货币尝试为什么会失败？# Z- r3 r p& b7 W7 L
3 h4 a, W( l4 h- y0 c/ X吴博士
6 C r& n0 T4 P9 T# S最早将密码学用于货币中的应该算是大卫乔的ecash。他使用到了密码学里面的盲签名技术。盲签名通俗的来讲就是签名人不知道自己签名的内容是什么，银行通过盲签名技术来完成铸币工作。ecash之所以失败主要是,最早不能解决双花问题有很大的关系，还有与ecash的性能和可用性上有一些关系。6 m/ K$ t( |" W" }; `
32 ?9 f( V8 m0 Z- Z3 @
, l- }5 @0 L, x$ _. @4 G E主持人; T7 x* L9 s. f3 C) q( i+ i7 Y
) |6 l4 e# C" K' ^* U) T! S
2 G% t* G3 W0 _
刚说到双花的问题，我想问问为什么会出现双花？比特币是怎么规避双花问题的？; P, I& n" w+ m' y; G; m
! N8 v% y& W. h: A- t8 t吴博士" Z* U/ Y$ t% P4 w$ N: j
1 N$ v7 ?* o- [" ~4 g8 K
9 [0 C @) _% J: n! }* Z
) K+ n9 F2 ~1 S* Z& ]# @: Q双花，即一笔钱被花了两次或者两次以上，也叫双重支付。ecash是通过设计了一种可撤销匿名性的盲签名来解决双花问题的。
7 }# F' d6 k. W* w1 Z8 g
" T$ f6 ~8 O4 Y9 b3 U在比特币中，双花攻击一般会和51%攻击一起使用。那是怎么实现的呢。比特币会选取最长的一条链来当做主链，我们可以在一个包里打包一个交易比如说我在一个区块里进行一笔交易，这笔交易是转给a的。我拥有了百分之五十一的算力,可以使这个区块进行分叉，我在分叉的区块里进行了另一笔转账，将同样的币转给了b，这样同一个币就花了两次。防止51攻击非常困难，就像互联网中防止DDOS攻击是一样的,但是进行51％攻击的难度也非常大。& b, P$ M$ ~6 `9 p& @$ o! n( m
8 y4 ]+ \. U6 F1 e" @) t
. D9 S1 u, Z& y' c! E# Z- O( s4 G+ N
4
$ b9 E6 b" I5 n- j3 o
5 n7 i* y0 }% ^) I. G% @0 t主持人
& M8 J) j# o$ `# b N& q" p" a
( s1 i" t5 E* |8 H/ c0 g- m+ o8 l7 i+ F$ H' @4 M
除了双花之外，大家说起比特币，还常提到拜占庭将军问题。所以也想请您给大家科普一些PBFT共识的知识，比特币是如何解决拜占庭将军的问题？- p8 P/ {/ s. w) h* E
+ C. w2 ~% J! @ r' M4 ?6 }' q
吴博士2 h( v5 C. B. r8 E
: k9 \; \9 M0 X' ~7 R( C
6 H6 Y1 |8 \( ?' u0 \; QBFT这个问题是在区块链没有产生之前就已经有了,是兰帕德提出来的，是拜占庭将军问题的一个解决办法也是解决计算机中一致性问题的一个解决方案。4 L+ E9 @1 ^1 l6 p) V, T* `3 K& q
6 }7 M" J c, `+ W
那么什么是拜占庭将军问题，其实拜占庭将军问题是兰帕德的讲的一个故事。古代的拜占庭帝国,他们的军队非常多但是不能集中在一个地方,他们分别住在不同的地方，他们要去发起进攻的时候要同时发起进攻,不然的话就会战败。拜占庭将军问题就是解决驻扎在不同地方的将军如何形成统一的进攻或撤退指令。
2 f, S9 @; W# F B5 {
$ ?5 M; q; K' ]8 f1 M$ }主持人这里提到的PBFT，P就是现实可用的，也就是实际可用的拜占庭将军问题解法，因为在PBFT之前提出过很多BFT的解法，但是都不是多项式时间的算法。IBM主导的超级账本中就有使用PBFT作为共识，但是PBFT随着节点的增加，通信成本会大大增加，所以PBFT通常用在联盟链中。
+ `" C h/ }5 u& s
7 K1 s9 _ ^' V _3 g' i- f具体的关于这个拜占庭将军问题我在抖音里面有录三个小视频具体的讲他是怎么解决这个问题大家如果感兴趣可以关注我的抖音wuyanice。 Z( ]6 J; P. {" d. x6 Y
( n' t5 }- J6 a! A: L那么比特币是怎么解决这个拜占庭将军问题的呢，就跟上面我们回答的问题是一样的。比特币通过POW共识来解决这个拜占庭将军问题,相当于有这么多个将军，这些将军共同去计算一道难题，然后谁率先解决出这个问题的答案谁就可以发号施令，大家都要听这个将军的。1 M; N* R- m" o- ]0 m
8 S& V* G' S$ v6 p3 Q
/ k$ R I- E% A$ r5 n; S/ N; [0 E
3 s( @/ R1 t; `* V# {6 r1 `6 y主持人! r' G) P- r! L4 D' [; a5 d) }
我以区块链特性来理解故事中拜占庭帝国将军驻扎的形式就是分布式驻扎所以其实共识是解决问题的关键的。
0 V. ?( \% T- |( f) y2 u* y# J0 X5
: e. f3 b* I+ o7 {0 m! ~" Q$ U7 h5 M8 S, L
主持人+ ]2 x8 G- ~0 v. p4 x- ?
目前区块链中POW,POS,DPOS共识算法的区别，能不能通俗形象的给大家解释一下？2 y) p" u9 n2 T% y
7 n# t2 E1 Z. e4 F3 w2 T0 h, ?2 X; I
吴博士+ T% B" y. r( l5 S! V! k
共识算法最开始是为了使区块链的账本达到一致,最开始中本聪使用的POW这个共识算法,在之前有用过比如像处理垃圾邮件问题里面。POW也叫工作量证明的方法。可以举个简单例子什么是POW,POW就好比是去计算一道数学难题，比如说一加一是难题，我们在规定时间内谁先计算出这道数学难题谁就会获得打包权，谁就可以打包区块，之后可以广播给其他人。POS是什么呢，做一个简单的举例，POS就好比是股份制的公司然后谁拥有的币越多就相当于拥有的股份越多。拥有股份越多就相当于对这个区块链掌控度越高。比如说拥有了百分之八十的币,相当于区块链上的打包百分之八十都听这个节点的。ＤＰＯＳ是什么呢，我们也举一个简单的例子,ＤＰＯＳ就相当于是民主制的选举，最典型的应该就是ＥＯＳ使用的ＤＰＯＳ,每次社区会选举二十一个超级节点，这些超级节点来管理这个链。
8 X: G; G4 I/ c. C8 w
2 f' C0 V3 @" ]. P$ A+ U# n! P主持人
0 S$ X+ V) r6 R. u8 r3 u# X那我简单总结一下，POW工作量证明就是谁速度最快谁获胜，POS机制是谁实力最强谁获胜，而DPOS机制是谁获得的社区支持更多谁获胜。
% K- H g: a; \ o' o6
6 l* u% \9 A0 u
4 k6 {& J0 U# p, ^! ?. q主持人7 x* y/ U# X9 m8 n
那么除了上面提到的几种共识方式之外，有小伙伴对零知识证明也很感兴趣。什么是零知识证明呢？
7 q: h) h- P( t6 _: Z- S3 L2 {
7 A; f0 ^4 O; L2 S吴博士
. m1 `( C0 y: R
8 T+ J, p: y& `5 K" C# E/ ?& _1 y: o
零知识证明,具体的来讲其实应该叫做零知识的知识证明。我们就要讲什么是知识证明，知识证明就是相当于,我知道一个知识，我要去向你证明我知道这个知识。那么什么是零知识证明，就相当于是在证明知道这个知识的时候,我没泄露任何关于这个知识的信息，只是想你证明我知道这个知识，但你不知道是什么，你还能相信我是知道的。2 H: Z @: a2 p; x) D
% w5 z, W7 _* K0 a F/ b9 x5 G举个简单的例子来说什么是零知识证明，就比如说阿里巴巴知道开门的咒语但是他要去向强盗证明他知道这个,但是不能把这个咒语告诉强盗，这个就需要用到零知识证明。阿里巴巴会对强盗说你们离我一箭的距离，用弓箭指着我，你们举起右手，我念咒语打开石门，举起左手，我念咒语关上石门，如果我做不到或逃跑，你们就用弓箭射死我。这样强盗就不知道开门的咒语但是又能相信阿里巴巴知道咒语4 A% e$ q) G+ o- z) c1 I6 s) b3 T
' \$ Q1 J( }: _4 y" S
% o) ^9 k+ G) X; p0 b7* C3 t3 X8 ]( ~1 k4 e5 Q9 A
7 A9 K- r( }1 u, t# Y `( Q
主持人; |5 ^5 E1 E) M- C9 K& O, p z
% B' f2 T5 W4 a d Q( [0 C2 c% c6 c: r4 O* o: U1 a
吴总给我们的分享确实是少见的通俗易懂，那么我们在许多介绍零知识的文章里都能看到完备性、可靠性、零知识这样三个特性，但是少有文章给我们解释背后的深意，它的可靠性和面临的挑战又有哪些呢？
# g/ ~; w5 ?( z
y. J( ^- p1 A% J$ X5 Q; v( P+ n8 q吴博士1 z8 d9 {$ k, R5 e, g4 R _' [0 U
f l( d3 u4 _% K% |! s- C+ c+ R: M u
完备性其实是在数学里面给出了很规范的定理。这里我就通俗的解释下什么是完备性，完备性就是说这个证明通过一定的步数之后是可以给出最终答案的，要不接收这个证明，要不然否定这个证明。可靠性就很好理解了，就是说这个证明协议是可靠的，知道知识的情况下可以给出证明，不知道证明的情况下是无法给出证明的。
/ y- x# h$ d4 ]7 Z5 c
7 i9 O: m5 w0 n7 E零知识性我上面就有提到，就是在给出证明的时候不会泄露任何与知识有关的信息。像zcash就使用了零知识证明来保证匿名性。面临的挑战就是性能和可用性的问题，目前用在匿名上的零知识在产生证明上非常慢。所以无法保证在实际中是可用的，就是说交易的时间会特别长
# j' f( q+ T5 _" Y3 ~1 o
$ o. A ?6 g E
: h# W9 N3 i! g4 n0 v% F' t6 w8
2 G2 S, ]! F! o0 n, e U
5 T1 i* a0 v$ u+ O" _) w u+ a主持人
6 R% c4 m* w5 ^3 n1 M" k( R8 n& H8 a/ p' }
- F7 E1 J' D) I, {
说到匿名性，我想到了隐私保护，也想请问区块链技术和密码学是如何实现隐私保护的？
4 \7 u+ c# ~) O& @6 Y
, }; g; X$ w L- I$ y8 Z吴博士
# z, ~- D" |* S# m! @; y: e3 A$ ]0 T4 M4 z
6 O( W5 c( N8 |8 m# g. o' m6 ~9 D最开始的时候比特币被认为是匿名的，但是后来通过一些手段可以分析出来某个地址对应的人是谁，这样比特币就失去了他的匿名性就成为了一个伪匿名的。后来通过密码学手段上有三种方法来实现匿名性，一种方法是通过混币的方式进行的，就是讲所有交易杂糅在一起，最简单的混币就是把币冲进交易所再提到一个新地址。第二种方法就是使用零知识的方法,一个使用零知识证明的最典型的就是zcash。第三种方法就是通过环签名的方式进行匿名，最典型的就是门罗币。
" t& H' N! |# l$ h) [7 s' M4 Z3 Y7 ? q6 I4 \. Q0 j
& c0 v7 x6 l$ |3 e" k$ I; x
9
" g9 {0 n1 N* Z' ^
' {0 c( t6 W, k2 _/ k3 U主持人( D# N) ]3 _0 X
! N. e; Z/ O- p, U" O1 D3 c! a" x
众所周知，区块链是依赖于哈希算法和其他加密术，在现有算力下是难以破解的，不过近几年有量子计算机对区块链的影响这个话题一直围绕着我们，看了很多相关的文章说面对量子计算机，现有加密技术面临被破解的危险，那么我也想问问您对量子计算机可能给区块链技术带来的冲击怎么看？
6 p$ V* v) d* v2 m! ]6 _: n2 \5 e9 \
吴博士
" L) m, `3 y) p
: F" L8 {% o, ^4 l* F0 i {" d0 D6 q8 |8 z* x7 D$ O. N, y
量子计算机会给现有的非对称密码带来很大的冲击，因为现有的公钥密码体系都是建立在困难的数学问题上的，量子计算机能在很短的时间内破解这些数学难题。在区块链里主要是交易签名这块。不过已经有很多学者在研究抗量子密码这方面了。7 V, [$ W) h4 H2 g% s0 U
9 M( |* T+ x* D0 G
9 }7 ]5 I N6 L3 ?10
! Q- S0 s4 C8 [* K( z v6 b
+ I7 z# K6 N d5 p- E9 B+ d主持人
" D# K S8 _9 m" B' _6 x( f8 R& f9 ^5 b1 O
1 q/ x4 y: F o& r也就是说这个冲击是巨大的，那量子计算与区块链之间的关系是挑战还是抹杀？它们各自的优劣势都有哪些？能协作共存吗？" g0 N. U- A1 r5 B. B
4 {2 K7 p- @. Z4 w; G
吴彦冰8 h, G5 D E$ f% C7 c9 V( s6 c/ w
) l- `* F1 _' L: ~$ B: w$ P' I% i3 n- {0 Y8 W" x& p
就和我上面说的一样，现在很多学者都在研究抗量子的密码算法，有基于格基的。现在的抗量子密码算法中私钥过长，地址也会非常长。但是我相信之后的抗量子密码肯定会用在区块链上，所以大家不用很担心。# z: R# T- B* {
' M% Z$ ]; f" L1 Z4 W
) C& \& f1 B! {4 L+ O11
9 p/ j: Y6 e5 D8 G. J. r3 t0 f( ]% G& b# W, S8 A- M& I! ?
主持人
& y" j( T9 ]4 e [/ A
3 G- ^+ j/ @2 g: F
Y8 Z7 f2 Q1 x& y0 ^; C5 R我还有最后一个问题，在区块链这一行，一直有两个圈子，一个是币圈，一个是链圈，币圈通证派的观点认为通证是区块链的灵魂，而链圈的观点认为区块链技术只是去中心化公开透明的账本，安全加密，无需代币，您是怎么看待这个问题的？6 ?& L# e% [. E2 C
, H1 {+ c. [# z- r" T& B' W吴博士
I7 V6 _6 H8 m* h9 ~" E1 b' y! r" }0 B
, C$ U( y& P$ g7 O无币区块链就相当于是分布式账本吧在上面没有任何激励，比如说像IBM提出的超级账本,比如说像一些联盟链中使用的分布式账本。其实这个B在区块链中作用还是非常大的，他相当于是进行一个激励,可能没这个激励的话，这个系统非常非常难以进行运转。但是可以用在一些联盟链中,由特定的节点负责这个链的运转。
- s; ~7 [# J5 ?$ M3 C; {. i d* A
3 u6 @9 r0 @" m" @; p$ m
|
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2020-3-24 09:40:02