Hi 游客

更多精彩,请登录!

比特池塘 区块链前沿 正文

FLP定理与热力学第二定律的等价性

matsumi74
329 0 0
FLP 不可能原理
, q4 a1 v2 X: ~: q
" c0 V2 v) D0 T) X- YFLP 不可能原理:在网络可靠,但允许节点失效(即便只有一个)的最小化异步模型系统中,不存在一个可以解决一致性问题的确定性共识算法(No completely asynchronous consensus protocol can tolerate even a single unannounced process death)。
. g" E1 H7 l( C# T& P3 z) K1 m0 _" s8 Q0 g1 g* D6 b9 f
提出并证明该定理的论文《Impossibility of Distributed Consensus with One Faulty Process》是由 Fischer,Lynch 和 Patterson 三位科学家于 1985 年发表,该论文后来获得了 Dijkstra(就是发明最短路径算法的那位计算机科学家)奖。1 B* i4 W8 L, a
. X8 p9 j! W. ?4 @+ `
FLP 不可能原理告诉我们,不要浪费时间,去试图为异步分布式系统设计面向任意场景的共识算法。
3 e0 j& o" D* s; [2 N, o" |0 a, G! T: v4 }0 F- F* E$ E% F' U2 _
如何理解要正确理解 FLP 不可能原理,首先要弄清楚“异步”的含义。5 h9 B- @4 e. e. J5 k; c$ K% w1 m# r+ i
+ {* v, q2 n% A; J; R/ n/ H
在分布式系统中,同步和异步这两个术语存在特殊的含义。
& `$ }7 V" ]( F8 K6 C5 X; B- Z* ^: y( H& U2 e% ?8 P6 V
同步,是指系统中的各个节点的时钟误差存在上限;并且消息传递必须在一定时间内完成,否则认为失败;同时各个节点完成处理消息的时间是一定的。因此同步系统中可以很容易地判断消息是否丢失。
6 N; o/ Z$ \% Z: @
5 \6 Y. `0 @6 g( ~, k: d; U+ k6 G异步,则意味着系统中各个节点可能存在较大的时钟差异;同时消息传输时间是任意长的;各节点对消息进行处理的时间也可能是任意长的。这就造成无法判断某个消息迟迟没有被响应是哪里出了问题(节点故障还是传输故障?)。不幸地是,现实生活中的系统往往都是异步系统。
9 y. H& b7 x0 m4 ^: |; Y/ h6 s  s- Y6 v% u" m
FLP 不可能性在论文中以图论的形式进行了严格证明。要理解其基本原理并不复杂,一个不严谨的例子如下。- D1 c; d5 Y/ a  U

% K  U9 a" S+ U/ F- R% [, }三个人在不同房间,进行投票(投票结果是 0 或者 1)。彼此可以通过电话进行沟通,但经常有人会时不时睡着。比如某个时候,A 投票 0,B 投票 1,C 收到了两人的投票,然后 C 睡着了。此时,A 和 B 将永远无法在有限时间内获知最终的结果,究竟是 C 没有应答还是应答的时间过长。如果可以重新投票,则类似情形可以在每次取得结果前发生,这将导致共识过程永远无法完成。+ |/ E0 k/ O' o6 y  C+ Q

) @+ P  I+ L1 l" t8 T- H4 DFLP 原理实际上说明对于允许节点失效情况下,纯粹异步系统无法确保共识在有限时间内完成。即便对于非拜占庭错误的前提下,包括 Paxos、Raft 等算法也都存在无法达成共识的极端情况,只是在工程实践中这种情况出现的概率很小。3 k. [) ~8 c- a0 [

/ s  X1 G" O9 K1 p7 O那么,这是否意味着研究共识算法压根没有意义?# C8 R' {& P4 s+ @$ T2 e$ \5 w

2 V) w: K9 F% k% @; ^, ^不必如此悲观。学术研究,往往考虑地是数学和物理意义上理想化的情形,很多时候现实世界要稳定得多(感谢这个世界如此鲁棒!)。例如,上面例子中描述的最坏情形,每次都发生的概率其实并没有那么大。工程实现上某次共识失败,再尝试几次,很大可能就成功了。
- L$ I5 G' w4 r
( C$ h% E: O# `  D科学告诉你什么是不可能的;工程则告诉你,付出一些代价,可以把它变成可行。% j! @* ~4 B3 G7 r
9 g# J1 Y, S. G3 C& C5 @  |
这就是科学和工程不同的魅力。FLP 不可能原理告诉大家不必浪费时间去追求完美的共识方案,而要根据实际情况设计可行的工程方案。
0 }" u2 Y7 y" ]. C6 }& U
4 ]' b. C* I4 l% h那么,退一步讲,在付出一些代价的情况下,共识能做到多好?& f, e, W% r; ?1 y0 M/ B1 _

4 Q0 M4 i+ T& q8 l( ]) I4 @回答这一问题的是另一个很出名的原理:CAP 原理。
- }$ n/ H& }9 R& ~7 H* B/ q$ F, }5 X( l8 u* p9 a
注:科学告诉你去赌场是愚蠢的,因为最终总会输钱;工程则告诉你,如果你愿意接受最终输钱的风险,中间说不定能偶尔小赢几笔呢!
/ t& g$ H6 K8 O1 P* J3 T2 s& C) A! B& T1 \
无论是在现实生活中,还是计算机世界里,达成共识都要解决两个基本的问题:
0 @; P# O  a5 o6 N' x( Z
" _5 C7 p6 M$ z, P  F+ O首先,如何提出一个待共识的提案?如通过令牌传递、随机选取、权重比较、求解难题……等;( r+ b% z, m7 y. r5 \% f& K

/ x0 j# b: n( ?其次,如何让多个节点对该提案达成共识(同意或拒绝) ,如投票、规则验证……等。
4 _# d, U& @4 H5 x) }; b3 ~  }& Q; D9 b) n
理论上,如果分布式系统中各节点都能以十分“理想”的性能(瞬间响应、超高吞吐) 稳定运行,节点之间通信瞬时送达(如量子纠缠) ,则实现共识过程并不十分困难,简单地通过广播进行瞬时投票和应答即可。可惜地是,现实中这样的“理想”系统并不存在。不同节点之间通信存在延迟(光速物理限制、通信处理延迟) ,并且任意环节都可能存在故障(系统规模越大,发生故障可能性越高) 。如通信网络会发生中断、节点会发生故障、甚至存在被入侵的节点故意伪造消息,破坏正常的共识过程。一般地,把出现故障(Crash 或 Fail-stop,即不响应) 但不会伪造信息的情况称为“非拜占庭错误(Non-Byzantine Fault) ”或“故障错误(Crash Fault) ”;伪造信息恶意响应的情况称为“拜占庭错误”(Byzantine Fault) ,对应节点为拜占庭节点。显然,后者场景中因为存在“捣乱者”更难达成共识。
5 x# |7 [, \- h% u) k
- C1 ~8 Y0 A$ f2 t+ V! s此外,任何处理都需要成本,共识也是如此。当存在一定信任前提(如接入节点都经过验证、节点性能稳定、安全保障很高) 时,达成共识相对容易,共识性能也较高;反之在不可信的场景下,达成共识很难,需要付出较大成本(如时间、经济、安全等) ,而且性能往往较差(如工作量证明算法) 。4 P5 i: A6 P# }' D3 q2 `

' k4 A! S( k3 j* A: T注:非拜占庭场景的典型例子是通过报数来统计人数,即便偶有冲突(如两人同时报一个数) 也能很快解决;拜占庭场景的一个常见例子是“杀人游戏”,当参与者众多时很难快速达成共识。
; J* J: H3 B% a0 M9 T  }
: ?. w0 z; n; M) k9 P3 R) \2 j常见算法  _# N! l- l: `" D5 q1 q# m9 M
0 t+ S, [6 Q& h  c4 N0 G# Q7 b: F" c, ]
根据解决的场景是否允许拜占庭错误情况,共识算法可以分为 Crash Fault Tolerance (CFT)和 Byzantine Fault Tolerance(BFT) 两类。对于非拜占庭错误的情况,已经存在不少经典的算法,包括Paxos(1990 年) 、Raft(2014年) 及其变种等。这类容错算法往往性能比较好,处理较快,容忍不超过一半的故障节点。对于要能容忍拜占庭错误的情况,包括BFT(Practical Byzantine Fault Tolerance,1999年) 为代表的确定性系列算法、PoW(1997 年) 为代表的概率算法等。确定性算法一旦达成共识就不可逆转,即共识是最终结果;而概率类算法的共识结果则是临时的,随着时间推移或某种强化,共识结果被推翻的概率越来越小,最终成为事实上结果。拜占庭类容错算法往往性能较差,容忍不超过1/3 的故障节点。7 y4 M% N7 `! {7 B1 `, a
2 I& b  @6 L, z0 D/ q% y8 ]( E
此外,XFT(Cross Fault Tolerance,2015 年) 等最近提出的改进算法可以提供类似 CFT 的处理响应速度,并能在大多数节点正常工作时提供BFT 保障。Algorand 算法(2017 年) 基于 PBFT 进行改进,通过引入可验证随机函数解决了提案选择的问题,理论上可以在容忍拜占庭错误的前提下实现更好的性能(1000+ TPS) 。注:实践中,对客户端来说要拿到共识结果需要自行验证,典型地,可访问足够多个服务节点来比对结果,确保获取结果的准确性。+ U4 }$ y% B" F' D7 Q

' G2 z( `, @) ~8 E理论界限科学家都喜欢探寻问题最坏情况的理论界限。那么,共识问题的最坏界限在哪里呢?很不幸,在推广到任意情况时,分布式系统的共识问题无通用解。这似乎很容易理解,当多个节点之间的通信网络自身不可靠情况下,很显然,无法确保实现共识(例如,所有涉及共识的消息都丢失) 。那么,对于一个设计得当,可以大概率保证消息正确送达的网络,是不是一定能获得共识呢?6 C% M* E2 q2 d/ M8 E: Z" m; P
- c" ^8 X+ B; C7 A0 J# v. L
理论证明告诉我们,即便在网络通信可靠情况下,一个可扩展的分布式系统的共识问题通用解法的下限是* n* e$ ^$ t/ i/ B$ w  R$ v% h6 u
' z5 `, ?( I3 V
——没有下限(无解) 。% A& R) s, C: c) I

) L7 w  X$ @: q5 i6 Y8 K) l1 u这个结论,被称为“FLP 不可能原理”。该原理极其重要,可以看做是分布式领域里的“测不准原理”。( `" A7 u9 _* `
; t; l9 c# |7 w# Q3 G
注:不光分布式系统领域,实际上很多领域都存在类似测不准原理的约束,或许说明世界本源就存在限制。( l: M$ u* p' ~* D8 y1 D9 N
: g0 \- ^$ P6 ]4 Y* G) R
以上内容摘自《区块链技术指南》
0 @, G8 d' ]* f5 a& k/ N- H; X* U* I- \$ W# ?" N  z  G, x
张首晟:In Math We Trust  h) x+ L* ]0 f# b
  e' _: r" M8 x* Y" I
用自然科学的观点看区块链% w9 X3 f" ?8 Z- T- y5 h* g
* [% @( y  `, M( C/ I; ?  x0 @/ K
我们先从自然科学的角度来理解什么是货币。
0 Q2 `: Z: F$ f  M/ u
% Z8 ?9 a) n1 v" l0 i货币是一个交换价值的媒体,这跟物理学中“场”的概念非常相似。高中物理讲到,同性相斥、异性相吸,虽然两个电荷并没有互相接触在一起,但也有一个相互作用力,使他们相互作用。这和日常生活的体验好像不太一样。日常生活当中要有一个力,一定要相互接触。9 V; l) \7 [; ^; z+ q
2 [6 _$ ?( d7 Y
于是有了“场”的概念,一个电荷产生了一个电场,而这个电场又能够作用在另外一个电荷上。因此我们只要研究N个电荷和电场的相互作用,而且是近距离的相互作用。这是物理学的一个概念上的突破:本来是要研究电荷和电荷相互之间的作用,现在只要描写电荷和场的相互作用。
( l) d% w8 Z$ W
& N: u* K) g% g4 u$ ~, i% v$ y: [这和经济学里面货币的产生是非常类似的。人类文明一开始,是以物换物的时代。以物换物的模式,有点像电荷和电荷之间的相互作用。
+ A2 h9 {% @5 c8 S- Y: j" ~+ N; S( a" o( u3 W) C3 v& `
但是以物换物是非常不容易成交的,必须你正好需要我的鱼,我正好需要你的苹果,数目也要相对应,才能成交。后来,我们开始引进货币作为价值交换的媒介,这就是货币的产生。' |- h8 v( y# o0 s& _
' E. I- }  j' G) o3 X
到了货币的时代,把物品换成一个货币,然后用货币再换成另外一个物品,就像电荷产生一个场,场再作用在另外一个场的身上。  y+ n/ ^2 Z" ?3 Q6 W
+ |- r- }. ?5 y9 p8 L, b- }. d9 j' q
一开始,大家认为场的概念是虚拟的概念,并不是一个真正的物理的实体。9 f' H) {" ^$ c+ v6 j6 P& A

2 G3 H% }4 t! K$ i2 M物体存在的价值到底是什么?在自然科学里面,唯一衡量标准是能量。引进“场”在一定程度上方便了数学描述,但其本身没有能量。2 t+ G& I; y% ^7 [" G* Y: v. s
) R* a4 X1 ]) x/ u! x& e
其实这个问题和今天大家有关区块链的疑问很类似,就像当年有很大一部分物理学家认为电场这个概念完全是虚无缥渺的数学概念,并不是一个真正物理存在的概念。引进场作为交换媒体,大家如果不认可,其就没有价值。直到爱因斯坦理论的出现,场的概念才真正成为物理实体,我们才可以精确衡量其价值。3 k0 d$ j1 t. ?2 [1 ~
0 E/ {6 E: R# S! r$ J# g
达成共识,就是认可价值9 [, W$ [2 C* l) I. ^( T- p

6 V# I# ?. X/ T+ K6 o说回货币。货币本真的价值到底是什么?为什么人类历史的进程中,某些物品有货币的属性,其他物品却没有货币的属性?& r( G+ X- K7 x3 I  T

  j0 I. P+ o1 W4 ?/ W真正的区别在于“共识”。对价值的共识。
  \! v4 i0 _# _( c* j7 a2 w
" ^9 t' K6 ^9 M' a/ t如果我们考虑将苹果作为交换的媒介,我们对其价值的理解是一个非常宽广的分布。苹果有红的、绿的、熟的、生的,每个人对苹果价值的认识都不一样。尤其是在经济行为当中,有些人生产苹果,有些人消耗苹果,但绝大部分人又不生产苹果又不吃苹果,大多数人对于一个苹果的理解肯定没有那么深,因为他根本不能区分出来不同苹果的价值。
6 o) ~) e& h. r* X
" J( o7 F$ G% y& ^但是金子不一样。我们对一盎司金的理解是非常精准的,共识性是非常强的,其价值共识曲线的分布非常非常窄。) X: }0 R: e/ T7 q; B$ S- N
9 {0 W0 ~# z4 o7 l. Q
为什么对金有那么大的认识呢?主要是两位著名的物理学家的贡献。- o0 G- `9 f9 w

: b- y3 X. X$ P- N; x+ f一位是希腊物理学家阿基米德。有一天国王给他一个皇冠,并让他回答“工匠在打造皇冠的过程中是不是偷偷用便宜的金属取代了黄金”的问题。
$ \/ s* l6 U8 \9 Y! C  Q- H/ }" g+ @& C& x! K- n" H
阿基米德想了半天,终于在要交差的最后一天,在洗澡的时候大叫了一声Eureka!他想出一个非常巧妙的办法,在一个天平秤左边放皇冠,右边放黄金,使得天平正好平衡,然后把这个天平秤放到水里面去,发现不再平衡:皇冠的重量虽然跟黄金一样,但是体积更大,而浮力跟体积有关系。
/ H+ F0 x) ?) h! x- S! u9 d# q# Y9 `: A0 o) s8 X1 y0 g. R
基于阿基米德的方法,我们能测出来一盎司的黄金是不是真正的一盎司黄金,故而对什么叫一盎司的黄金有非常精准的理解。
% `% v+ P# e; m; ~
9 M% w+ e; v" {3 [7 Y! v' H后来人们比较偷懒,不在每次交换金币的时候都精准测量,所以在经济交换的过程中存在很多作假的行为。偷偷在金币边缘磨掉一点,磨了一百次以后,就会产生一个全新的金币。这样金币的价值就不好衡量了。$ A1 N$ Q1 [7 l4 H- a( A

, c1 B: m6 w- T/ ~" `3 r解决是这一问题的是牛顿。牛顿是一位非常伟大的理论物理学家,当他成名之后,英国的女王给了他一个肥差,成为英国皇家铸币厂的厂长。他发明了避免金币造假的方式:在金币的边缘刻上一道一道锯齿状的刻痕,这样如果磨掉一点,马上就能看出来。: ^$ c- C9 L' j" n$ ^
; _# ?/ V1 R( L1 i+ w9 j4 b5 U
这样一来,金币价值认同的曲线分布就非常窄。价值认同的曲线分布越窄,说明共识性越强。把物品作为一般等价物,首先,大家对物品的价值要有共识性。这是最核心的一个概念。7 I4 Q! o* t) @
# s5 b4 `' W, t: n
熵,自然界的共识机制在人类社会要达到共识是非常难的,好像只有中央银行才能做。但是自然界有没有达到共识的机制?
) o7 g8 z9 E: H$ d/ p7 P) t' X9 x9 e% b7 F3 t5 L
很多同学都会在冰箱上面用磁铁贴一张照片。磁铁为什么能够吸在冰箱上?不止是磁铁才有磁性,其实所有的物体都有磁性。所有物体都是电子组成的,每个电子就像一个小小的指南针,有一个北极,有一个南极。绝大多数电子的指南针所指的方向,完全是随机分布的,所以电子自旋加起来就没有总的磁性。
0 j( l# l* ?3 v; N: s& y- I
' I7 y1 m+ [  M3 [7 G. h( C但是自然界有一个非常非常奇妙的现象,在一种比较特殊的情况下,比如温度比较低,而且是在一些特殊的物体里面,所有电子都同时指向同一个方向,这就达到了共识。他们没有中心化的指挥,就说明他们是达到了共识。, o5 W, c4 t. T" o+ I: S
+ n( B0 N' \6 a' j0 U
共识是货币最核心的概念,就是说,我们一定要有共识,才能够用一个物品作为交换的媒介。但是在自然界,好像不需要一个中央的指挥,这些完全没有意识的电子就能达到共识。
  |) E6 A& a+ S
6 }. z5 I5 G- ~- w大家仔细想一想,达到共识必须要付出代价。
4 |) v5 s1 H2 ]  A: o* \
+ L2 Z  e# Q. j. r9 t  f我在教统计力学第一堂课的时候,总是引用一句文学大师托尔斯泰的话:5 a' C/ L/ s& I4 `

7 V) `" u. f# C) N“幸福的家庭总是相似的,不幸的家庭各有不幸。”
8 M5 T+ ?5 x! z
3 K8 M, w) o8 c! |) W比如同学们的寝室,绝大部分时间是很乱的。人类的语言非常简单,我们只用两个名词,整齐和乱,听上去好像50%的概率是整齐的,50%的概率是乱的。但是仔细想想,乱有很多方法,整齐只有一种整齐的办法。; Z; f  i9 q$ I# S3 y! w) J  G5 q  x

6 ?1 J4 N5 ]* A2 W+ _比如说寝室里面有一个牙刷、一双皮鞋、一只钢笔。整齐的办法是钢笔放在书桌上,皮鞋应该放在门口,只有这一种做法。乱的做法有很多,牙刷放在门口,皮鞋放在书桌上等等等等。乱的办法比整齐的办法多得多,久而久之,如果每种办法概率一样,乱的概率远远大于整齐的概率。$ w( H# ]7 X% ^3 e

/ F! k# t1 l: S大自然有一个必然的趋势,随着时间的推进,越来越无序。无序的办法有很多,有序的办法只有一种。
" U! ]& L; a$ Z3 [1 y+ x8 o
+ g$ A' Q1 `  v) Y8 c& Z大自然的趋势如果是越来越无序的话,为什么这些电子都要指向同一个方向?这就引进了“熵”的概念。
4 Y& M- b, g: k+ S$ C4 d  R
7 H. p- r, U" r( p" T熵等于是在衡量一种排列组合。自然界总是越来越趋向于无序,不能达到共识。达到共识唯一的办法,就是把周围搞得更乱一点,把自己搞得整齐一点。" f+ r1 m' r% {& G# n

% f7 `5 M3 ]. B" q' b生命就是这种现象,生命是高度有序的现象,但是生命必然会把周围搞得更加乱一点。
: p6 _; ?6 x0 w
6 Z2 R, x7 z* j- ^; ]( |) r2 `在有些系统里面,它可以自己变得比较有序,把熵排出去。总的熵还是在增加,但是自己的熵在减小,自己变得更加有序,达到了共识。, n$ i) S3 |) ]* Z0 ~

: W5 z4 f8 D" g: l到了生物的世界,也有同样的现象。比如说单细胞的细菌,他们会同时做一些非常有趣的行为,比如说同时发出光来。一个细菌发出光来也不能看见周围,还要浪费掉很多能量,很不划算。所以看到周围细菌比较多的时候,大家一起发光。7 J( q5 M5 H3 I/ d2 l  ?
8 E5 G2 ?- ~6 H
细菌有一个相互交换的机制,每个细菌发出一些信息,周围如果收集到很多信息的时候,就代表周围的细菌比较多,大家马上决定,一起开始发光。这种机制在生物世界也有,物理世界也有,我们看到一个必然的趋势,使得我们知道有序是很有价值的。1 q8 L! I" V) O6 k; M4 J
& H1 L0 Q3 v1 N+ I& X9 p  D
达到共识必然造成熵减到了区块链的时代,首先大家碰到的一个问题,就是当电脑开始变得越来越多的时候,我们要形成一个网,就是一个分布式的计算机系统。比如说我们要有一个共同的数据库,然而到底谁有权来修改这个数据库?修改顺序是什么?2 k" E- c+ y9 d. u9 C
3 d# V4 h* m. M2 b
这些分布式的计算机,能不能有一个机制能够达到共识?大家首先想到的是,能不能有一个确定性的算法,来总指挥所有这些分布式的计算机,或者是做一些共同认可的事情。- r, s/ d4 A& m3 G; |) G
. C. l! {4 }3 u. c: @4 W
现在的情况就像当年的永动机,当年至少有1000多个专利研究永动机。后来你们也知道,还是没有研究出永动机。这个跟分布式的计算机碰到的问题一样,大家想找到一个确定性的算法,能够告诉所有计算机怎么来进行,后来大家搞了半天,没人做得出来。
4 m% w: \8 m/ j9 q/ R8 U& y9 R" m; c" m3 {8 R
这跟物理学的概念非常接近,如果在运动的分子中间做一个墙,隔成两半,开一个小小的洞,当看见一个特别快的分子过来的时候,就把门打开,看见一个特别慢的分子过来,就把门关起来。久而久之,这边温度非常高,那边温度非常低,一旦有了温差之后,就可以造机器,用它来做功。很显然,这是不可能的事情,一个完全稳定的状态,达到热平衡的状态,不能拿出来做功。' ~5 p. q5 o. _: N  ~) k
" {6 m" R1 ?6 @
类似的,不可能有一些中央指挥的机制,能用一个确定式的办法能够告诉这些计算机怎么来达到共识、不让把熵增得更大。
$ f7 N( q+ K" I# s
$ s/ Z. s5 M! a0 t7 ~) a最终不可能的原因,就是热力学的第二点:整个系统的熵永远是增加的。3 f3 `* @3 e3 G

# e+ g6 ]+ i. j- V; [% D, c科学伟大的东西总是不约而同的。热力学里面引进的熵的概念,计算机科学里面也引进了熵的概念。5 y& D8 J; Z0 Y, L1 c

. }2 G/ P, s4 n+ T  X/ r今天来到区块链的时代,大家要找到一个新的共识机制,这样的话,如果用高层次的原理来看的话,我们就可以看得非常清楚:( c6 ~: Q5 A% ~* o2 A8 T4 r5 m% s
$ u! \8 o; K# }0 i8 A/ K
要达到共识,必然是一个熵减的行为,必然要排出去一部分熵。: ]- D& |' ^: K2 v/ y5 t) _0 V
( y& t2 Y8 k2 J
今天的比特币区块链系统至少在定性上是完全满足这点的。& D% n$ `$ H8 `- N7 p
( e$ [$ A# Z7 r/ A6 K2 I1 G
一旦有了账本,就等于有了货币,但是这必然会有代价,就是周围的熵也要增加。所以在比特币的系统里面,我们要算哈希函数,计算过程当中,熵就产生了。产生之后,就会达到子系统的共识,熵减,但是总的系统的熵是在增加。' A2 N" Y6 e: X
7 T5 n- G4 P3 @7 d0 T) v
这是一个定性的结果,而不是一个定量的结果,要达到一个单位的共识的话,必然需要消耗掉一些熵,但是比特币是不是熵消耗得太多了?. D5 S/ `+ g# q. {
! a9 L) w" X7 e3 ~
这是一个非常非常有趣的问题。有没有一个熵的下限,也就是达到单位共识必然最少需要消耗多少熵,然后可以把现在比特币所消耗的熵跟最低的标准进行对比,看看是不是这个系统里面可以进化。# T8 o9 U6 m+ N
' H& i8 {$ Z/ i5 Y9 a% h+ E: R: F
计算机科学里面有一个类似的结果:做一个比特的运算消费的能量是室温的温度转化成能量单位。但是现在所有的计算机,每做一个比特的运算所消耗的能量是这个结果的一百万倍。就此看来,计算机今后能耗越来越低是非常有可能的。) B9 {6 R+ u( B$ v# K4 r* T
( {( V' H( \6 K+ l; N
在区块链系统里面,我们面对同样一个问题,大家不要认为区块链只是发一些币,其实里面有非常非常深刻的学问在里面,大家如果真是一个聪明的学生,能不能尝试证明一下里面最低的下限,即达到共识一定要花费多少能量。4 I7 ?! H/ d8 l  E3 O0 T$ l/ c  _

* T- @. r* e( q: F区块链里面也是一样的。大家在试图从理论上证明达到共识一定要花费多少能量,有没有一个下限。如果证明了,说不定也能把比特币的能耗降下来。2 x# Q1 W4 P3 r% ^: S/ g( c0 ]+ h# B8 U7 o

0 U$ w# H, w- J/ D/ p  M, n& Z: P现在整个计算机系统里面,浪费的最多资源,其实是储存的资源。我在家里买了硬盘,10TB大小,但是我的照片只占用了1TB的空间。至少在很长的时间里面,剩余的这部分硬盘空间是没用的。8 v% a1 i' k% K/ t/ Y5 N1 E, h
. V+ C9 }7 X) t7 Q* t$ q
现在有一个办法是在硬盘里面撒种子一样撒很多的随机数,如果每个人都买一个硬盘,只要来比较一下,新产生出来一个随机数,跟在座各位硬盘上所储存出来的随机数,谁最接近谁有权投票。这是一个非常聪明的办法,是真正的绿色的虚拟货币。
4 w8 d3 |) v8 g! a  k# @, J5 L0 i: B- |, D2 r% Y
从AT&T到Google再到区块链,合久必分
, S. i: U, W" \. r) {4 ~) q5 d% Q0 f9 g4 K  J
再来跟大家分享一下区块链世界和网络世界历史的潮流。就像人类的历史一样,网络的历史也可以用“分久必合,合久必分”来概括。
* O# q4 a9 Q+ ~) M% [. M6 W( i+ c" d! M5 ~
我1983年去美国留学的时候,有一个巨人叫AT&T,好像是永远不会倒的,而我当时最大的梦想,并不是毕业之后到大学里面做教授,而是去贝尔实验室工作,因为这里曾产生30位诺奖得主。AT&T花这么多钱养出这么多诺奖级的科研人员,就是为了垄断,它垄断了所有的网络资源。& S' y; ?$ n( y: y. m( l5 y
5 G- A# C" ]8 T' x$ s$ ]
慢慢地就出现了一个新的协议——网络协议。它完全是一个去中心化的协议,可以使点和点之间完全可以随意的交流。我可以走这条路,也可以走另外一条路,条条道路通罗马,最后都能达到结果,不再需要中心的垄断。一夜之间,我以为永远不倒的公司,消失掉了。AT&T的垄断完全被破坏,这叫合久必分。曾经也是在竞争之后出现了AT&T,但当一个新的网络技术出现的时候,就是合久必分的时候。) g9 z" o9 f" a1 ]; [* V5 h
! i3 \3 d+ J/ b4 e% ?1 l3 e
这个合久必分的时代也不那么长,如果人人可以交流,人人都可以创造出交流的内容,这个内容广泛地撒在外围的互联网上,那么我要去找一个信息,就会变得非常非常不方便,所以在这个情况下,分久必合,出现了一些非常中性化的新的垄断平台,在美国就叫Google和Facebook。, V! O  ?( ]/ G+ y9 F

6 d- Z, i" a+ k7 `5 `: r  K% g其实Google和Facebook做的事情,就是把每个人的信息重新组合一下。大家仔细想想,人类历史上所有伟大的公司,做的事情必然不是自己创造一些东西,而是把已有的东西做一个重新的排列组合。, D; m' h3 Y; m

9 e; O6 H& p$ H  U* b2 B3 E比如说石油公司、化学公司,它们做什么事情呢?原油是原子组成的,直接可以从地下挖出来,它们做的唯一的事情,把这些原子重新排列一下,变成别的化学品,比如说已经被提炼过的油。
2 l6 {& ~* Y* f; e0 A  X" q& a7 E- |5 Z- _
Google和Facebook这些垄断的平台做的是什么事情呢?是把每个人的信息重新排列组合一下,比如说Google最开始做的唯一的事情,就是做了一个排列,使我们找信息找得非常容易。这些中心化的平台做的事情,就是把我们撒布在网络上的内容,中心化地重组一下。
' V" G  D- Y. a! W3 Q6 {. X3 Q
* ?5 Z5 A& H0 D" r4 L5 T/ x" ~这是分久必合的时代,因为新的网络协议,AT&T倒了,出现了思科,又出现了网络资源分散的情况,又出现了巨大的平台,巨大的龙头。- F  X  K; n5 ?

! R4 `9 s3 d+ ?& _% c今天出现的区块链的技术,也会导致新的时代。这个时代的革命的强度可能是互联网革命的十倍百倍。这个新的时代使得所有我们产生的信息,又可以自己个人拥有。互联网的时代只是信息交换的时代,而区块链的时代有了价值的交换,我们可以产生数据的市场,每个人拥有自己的数据,然后在交换的过程中产生新的价值。
5 X) t9 p0 Z# p6 z# h7 n
' f4 F: G/ W- f* v& y9 ~; {9 p信任机制建立在数学上这个伟大的时代,我用一句话的口号来描写,就是In Math We Trust。3 M, k, c5 N9 @( O6 X

7 W" z3 w9 J1 e我们都理解货币的价值在于共识。那么问一个问题,人类所有的知识当中,哪一个大家最容易达到共识?显然不是经济学,不是法律学,不是政治学,不是化学,不是生物,甚至也不是物理,最容易达到共识的是数学。
% {$ B% `8 S9 V4 Z$ \9 u8 d5 B0 Y" q' t' m3 F
用数学作为信任的机制,是最自然的做法。5 o4 O6 O3 I# y4 ~6 y, z5 ^( f

$ f: W0 W. ?( q( Z! d7 M" ?真正的区块链的时代,就是使得我们相互间的信任建筑在数学的基础上。5 L/ v# r+ a* g7 I+ s  r0 m
- f( c, L% t$ f, [
如果我自己做出一个正方体的话,肯定是不完美的。但是如果作为一个数学的形态,正方体则是全对称的,每一个顶角都完全一样,每一条边都完全一样,每一个面也完全是一样的。数学的形态是最最精准的,在精准的意义下,也是最易达到共识的。
* r9 E8 \- N( w2 I0 x, ]# h- w
6 n: t9 _  X6 n7 o3 q如果你看整个宇宙最深刻的奥妙之处,那么物理学中关于整个宇宙的最核心的公式和标准模型,也是用非常非常精妙的数学来描写的,其中绝大部分的数学也是杨振宁先生所开创的。
$ t$ m, F/ E, @5 C& L- b7 r/ G! M  U/ s
9 r" c* L/ u# \8 t! m0 @4 W6 T% ^( ]! ~既然大自然最根本的规律是用数学来描写,我们是不是能够使得人类社会的规则和信任也建立在数学的区块上呢?; l+ h3 M; V( }: x
- \# h! `3 K% P1 i
那么到底是哪些数学呢?在座的各位,我希望大家去学习这些非常美妙的数学。9 I7 j3 P) F. [, t6 X

8 K! _% @3 s$ r8 h公钥和私钥的组合,就是建立在数论上面,而且是建立在一个更高层的数论上面,叫椭圆曲线。大家可能知道,数学里面曾经最大的一个猜想——费马大定律,最近被证明了,这个证明就是建立在椭圆曲线上。这个听起来是非常非常抽象的数学,但是今天我们每次网上购物的时候,就用到了奇妙的数学。
" k2 A* w, Q! h1 ~# h/ N2 v! q9 M3 ^1 C- T" g# O. h. C$ k- k" u
另外就是哈希函数。它有一个单向性,任何的东西进去,出来都是一串随机数。这跟黑洞很像,黑洞任意输进去,出来的都是随机数。
2 d4 R, i) f- ^4 P, q4 E' `; y8 }- L! Z
还有一个是零知识证明(zero-knowledge proof)。比如说我解了一个难题,但并不想把我的答案直接告诉你,却要使你相信,我的确把这个难题解了。这也是非常奇妙的数学问题,但是这是有解的。我可以给你一个比特的信息,我解了这个难题,但是不告诉你任何别的信息。这对整个数据的市场会是非常非常有用的,我可以一个比特一个比特把信息给出去,而不是一下把信息全部给出去。
% L" c: \4 B9 c" s$ v" A' D$ o: M, [) L% k
两个百万富翁,可能有一个人是千亿万富翁,有一个人是百万富翁,他们不想把自己的财产公布出来,但是却要知道到底谁更有钱。这用清华大学教授姚期智的办法就能算出来,只给出一个比特的信息,就可以知道谁更有钱。
  ~( |: U, D' a1 b, Y1 ?, U. a
/ A. ^2 N2 v0 N8 L% U$ q6 [数据自己拥有的话,我永远学不到大数据的智慧。可是我想了解统计数据,其他人却想保护个人隐私,所以有一个非常简单的办法——在个人隐私数据上故意加一些噪声,这些噪声使得你辨别不出来这个数据到底是不是你自己的个人数据。在收集到这些数据之后,在大数据的环境下,这些噪声就会相互抵消,我得出来的统计数据还是完全精准的,这个办法就叫差别隐私(differential privacy)。2 I6 t! q$ A2 |

/ f4 A2 p" H7 c+ @( Y9 X* k5 {最后一个概念叫形式验证(formal verification)。上世纪最伟大的数学发现是什么?是证明了数学的不完备性。如果我要给在座的同学推荐一本书的话,有一本我认为是千古奇书,它讲了数学不完备定理、艺术家的画和作曲家,三者之间的共同性。这本书是《哥德尔、埃舍尔、巴赫》(G.E.B)。7 b7 ^* m# U3 Q6 j. ?, o
) A# ]# l. U* K/ w) Y
这些奇妙的数学,都可以用在区块链上,可以用来做Formal verification。因为今天我们来到的是开源的时代,我们今天在区块链上的智能合约,完全是开源写出来的。但是开源写出来之后,一般人读不懂,甚至专家也不一定看得懂。那么有没有一种数学的程序,能够告诉你智能合约到底是不是吻合你的白皮书上想做的?这是一个非常奇妙的思想,用的是数学中的逻辑学。
* b: {) ^( c8 m0 M
0 Q3 n7 a' S2 n* H" v; l区块链带来社会公正计算机科学有两个重大的趋势,一个是AI,一个是区块链,这两者之间有一个必然共存的关系。我认为今天的AI发展的并不是那么好,为什么呢?
8 N3 W+ E/ @. ?
- }& \+ ^% W% {# I8 z1 ~AI需要由在座聪明的同学想出最新的算法,但是大家在大学里面碰到最大的瓶颈就是我们没有数据。我们有聪明的大脑,有聪明的算法,但是数据被垄断在中心的平台上,这样的话,AI就不容易学习。你想出了一个算法,也不知道数据在哪儿。但一旦有了区块链,有了数据市场,就回到了我刚才所讲的时代,我们能够把所有的数据个人拥有。  A( h# M5 Y# m- }
$ L; m7 R8 ?7 O0 L( Z
这样的话,我把部分的个人数据,在保护自己个人隐私的情况下贡献出来,在区块链的时代,就能够得到一定的回报,大家也就有了动力保护自己的隐私。有了隐私就有了价值,而一旦有了价值,我再把这个数据贡献出来让AI学习的话,必然会带来AI的突飞猛进的变化。: e" Y, W8 e8 t6 z. X7 Z
/ i1 W, j% v2 @7 r  r
除了给AI突飞猛进的变化,也能让社会突飞猛进。$ v5 L4 `8 d  P: o# n+ @5 [
5 A# {+ \; N/ `: Y, J
区块链对社会的贡献有什么?至少我看到它可以带来社会更大的公正。1 R3 m9 V" x1 p
! o+ ^& m" K0 o, h
这是什么机制呢?我们今天的社会之所以有不公正的地方,主要是因为我们对少数派的歧视,在当年的纳粹帝国里面,就是对犹太人的歧视。( `  ^/ P4 R) n
* x4 S8 t$ W; L. C. C0 d5 n
而如果我们来到了区块链时代数据市场,这个情况就会完全不一样。比如说我有一个AI的算法,已经是90%的精准了,我要让它变得更加精准,99%精准,就需要机器学习。那我需要做什么事情呢?6 a8 E2 G9 i0 l

" ?. x$ K& e% g首先我要学到的这些数据,就不能像以前学到的那些数据一样,如果以前是99%的数据的话,他们已经代表了大多数,但是要更精准,要99%变成99.9%的话,需要学习的就是那些跟以前完全不一样的数据。越跟以前不一样,越跟大众不一样,数据就越有价值。
0 q% |( g; l+ z4 {+ ]* m, Q$ G, a0 n6 y  r( }8 d0 [
所以如果在一个完全是数据的自有市场中,大家会对那些少数派的数据付出更多的代币,这样就会带来社会的公正,使丑小鸭变成白天鹅。因为丑小鸭并不是丑,它只是跟别人不一样,但是在这个世界里面,越跟别人不一样,它得到的就会越多。
$ W) n3 B5 p) A3 O0 w0 i9 d* [
% Z6 `, C7 j! V5 f( H2 ]2 v9 _' p另外一个非常伟大的理想,就是把所有个人的数据都归个人拥有。
6 J4 f) Z3 d2 M, u+ l4 o: _' c* I2 x3 s0 V- X% q& D1 p& G6 ?
个人最最最需要拥有的数据就是基因数据和医疗的数据。数据是个人拥有的,肯定是至高无上的标准,个人拥有数据之后,就担心算不出什么东西来,只是整天保护隐私,不能通过大数据和人工智能来学习基因数据背后的关切到底是什么。
  e+ @( U" o5 j+ |9 R) P( d  |3 m/ H5 ^  _! R! b' h7 v3 U! @9 y
比如说我们最想知道的,就是某些病到底是对应于什么基因的突变而形成的,但是一旦我们把所有个人的基因信息和医疗信息都让个人拥有,我们就产生了一个非常有效的数据市场。  t4 D* c: I/ J8 c

1 H9 E0 [0 M. x0 K6 z区块链和货币系统的一一对应$ R) [# j0 }& y2 g

1 i- f+ o4 I8 e- P整个区块链上的虚拟货币,可以和现在社会里的货币结构一一对应。现在的货币结构有M0、M1、M2、M3等等,在最底层上面可以不断建立衍生品。- h+ H* m! R; O

, f9 _$ N/ ^  }5 S0 Z. Y# _我认为像比特币这样的区块链,因为对应于黄金,对应于一个最最普适的价值,也就是M0的货币,相当于说,在这个系统下,世界上任何两个互不相识的人都可以形成交易。如果你我已经相识了十年,并不是两个互不相识的人,那么我们可以用M1进行交易。; P  J( G/ Z( N6 `& E
- M, m! r0 i" B) a* t
我觉得闪电网络就符合这类性质,我们两个人进行交易,互相之间有一定的信任,但还是需要信任机制来加强。我们签约后,把一些货币抵押在比特币、区块链上,之后的每一笔交易,定期(如每过一个月)到区块链上去公示一次就可以了。整个虚拟货币的发展,必然会像现在世界货币的发展一样,在M0,或者是比特币,或者是更加绿色的比特币上面,可以建立闪电网络,也会有预测市场。. r. J+ B% s1 u7 a( A
( |3 ~: x0 t3 g& J
我们现在的金融产品里,有一个是期货。期货就是对未来的预测,但现在期货都要通过法院才能够真正为我们做担保,而我们使用了区块链以后,可以让全世界的网民为我们作证。
8 X4 i  v  q# N4 r( T, Q& c/ a: b) J
8 S$ F. l) l+ n2 ?, g" Y: ^$ V所有这些网络的系统,彼此之间互相帮助,来使它变得更加有效,但是现在的计费系统还不是很有效,我给你提供了一些带宽,却没有得到足够的回报。有了区块链之后,可以做到非常公正并且比较精确的记录,这样的话,整个网络的运转就会越来越有效。我有一个预言,我们从4G的时代走到5G的时代,再走到6G的时代,其中必然会有网络的运转在里面。/ ^/ G: ?1 y9 C. j2 J9 O; \

' U' J1 K% R$ \8 c自然科学和社会科学大统一时代整个区块链时代,我认为最需要集大成的人才。区块链中,底层是数学,上层是法律,再上层是经济行为。
9 {- d1 L7 [5 ^/ I4 E) `5 Z# U+ _8 g9 P- I6 a2 C
关于区块链我想到几个口号。如果谈起法律的话,有一句话:“Code is Law”,原码就是法律。Code本来就有法典、法规的意思。而今天的世界,这个Code有了一个新的意义:电脑的编程,码农的码。现在码农成为了大法官。- o9 j4 o' a% `! j
( s/ Q& J& p* M% i% z: ?( Y3 `
我最喜欢牛顿的《自然哲学的数学原理》,我个人拥有这本书1723年出版的第一版。用数学的原理理解了所有的自然科学,这就是牛顿的伟大。: n" K! h: `. ^

! g8 C# c8 n5 W社会科学一直找不到根本的数学原理,可能的确是不容易找到,因为很多经济行为建筑在人的不理性上。到了区块链的时代,最根本的经济行为,就是信任的机制,建立在数学之上。
6 ~/ Y  R9 J8 {3 j* q8 r! w7 w
( h5 X% ]* F# L" k我们可以想像到整个经济秩序都会被改变,整个生产关系都会被改变,但是它的核心是要有一个基石,就是数学原理。
1 ^! e5 l2 e: j
  L  q9 g% N& K( C我看到一个新的时代,自然科学和社会科学大统一。我今天报告的风格,也是用自然科学的语言和自然科学的类比来理解区块链这个新生事物、这个新的时代。一旦有了数学,我们必然可以总结出来一个永恒不变的规律,使得我们的经济系统更加有效,使得我们的社会科学和自然科学能够达到大统一的境界。9 u, {: j% d$ G
1 j4 c6 s) G) r/ A) _
部分现场问答Q:您现在觉得加密货币当中最不安全的地方是哪里呢?A:是人为的熵,大家写程序的时候犯的错。本来写一个程序倒无所谓,但现在跟很多货币有关的话,是非常非常危险的,当然慢慢也会产生一些市场,自动地去堵这个风险。Formal verification能够自动检测智能合约是不是你想描写的那样,这里面的数学是非常奇妙的,就是我刚才讲的数学逻辑。
# a5 p. O- T; S/ _9 L, c% ^# s7 U: t. \' _$ K& S- d1 Y1 b1 T, j
Q:在区块链里面,时间的因素怎么和熵结合起来?A:这是一个非常好的问题。今天大家听我的演讲,可能会问这么一个问题,好像用物理学的理解方法帮助我们理解了区块链,但是能不能反过来,看懂了区块链,会不会对物理的根本概念有重大的影响?我最近在思考这个问题,我觉得是有可能的,核心就是大家对时间的概念。" _8 R8 j$ j3 y& w$ _! d
' d: l5 G. ]7 Q+ \" C0 N/ F; M" [
当年从亚里士多德到牛顿,认为时间就是天给的,没有什么好讨论的。爱因斯坦说,时间这个概念是到底你怎么测时间,而且在不同点测的时间也不一样。他用光速不变的原理,发现时间的概念是不一样的,不同的参照系里面,测出来的时间完全不一样。
0 ^. O8 h! J3 G- I( G! Y, A+ t/ _, n1 a0 ~# C( R
时间再深一层的核心就是因果关系。在区块链里面,要解决的就是因果关系,因为最核心的就是交易到底哪个先发生、哪个后发生,哪个是因、哪个是果。其实到了比较随机的系统里面,时间不是非常好定义,所以在某种意义下,区块链就是给出了一个时间的定义,或者是更精准的来讲,是给出了一个因果关系的定义。  h5 I! I, j5 G* S, ^) p

' z/ i. }+ [0 m, r) w' c而这个定义,往往跟物理世界可能是违背的。比如说我跟他发生一个交易,是先发生,但是我们的网络节点非常慢,你跟他交易发生的更晚,但是网络结点非常快,一下全世界就知道了。在区块链里面,时间不一定跟物理世界的时间是一样的。但是在一个随机的系统里面,要达到时间的共识,没有别的更好的办法,所以这个可能是物理学最最被忽略的一个问题,要达到因果关系的共识,可能一定要烧掉一些熵。7 u2 G  s% a1 n8 m* y

* G$ L/ e1 c7 M- ?. x* i看完这些复杂的背景知识,我们得到两个简洁的认知,区块链系统中的FLP不可能定理等价于一个系统中的热力学第二定律。要证明这个等价性,还需要更多背景知识来验证,期待有这方面兴趣的小伙伴一起探讨。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

matsumi74 小学生
  • 粉丝

    0

  • 关注

    0

  • 主题

    2