Hi 游客

更多精彩,请登录!

比特池塘 区块链前沿 正文

转型Pos的 Ethereum 你需要知道这些技术点

chalee
116 0 0
Casper将在以太上坊上实现POS(权益证明)协议。这篇文章首先回顾了POS的重要性及其存在的优缺点,并且对Casper进行了广泛的概述,澄清了与Casper相关的两个协议设计上的一些混淆。这两种提议在实现上使用了相同的核心设计原则:应用数字货币经济机制设计来保护网络,同时处理关于活跃度,安全性和同步假设上的挑战。这篇文章还概述了迄今取得的进展和未来的挑战。最重要的是,对于初学者,本文将各种有用的资源结合在一起,对关键概念进行了说明和定义。
1 |0 K& o0 Q- D" S) t9 W# b
# E; p- Y: G! Z; c& t" H! t: ]    Casper最早从2014年出现,并不能算是一个新的项目,所以幸运的在网上能找到很多有关于它的文章。虽然有关的信息非常多,但初学者却没有一个足够简明的学习起点来参与到这个项目中。这就是我写这篇文章的原因。
8 Y' R0 j' [: T1 g0 U0 i( C+ k/ {
    不同于其它的文章、视频和论文主要集中讨论有关Casper的规范、实施和验证。这篇文章着重介绍Casper的各种指导性设计原则;它与其它竞争替代方案的差异;以及为什么我们要关注它;如何为这个项目做出贡献等内容。# Z& Z, N/ Q+ r8 n: d3 ~* a
; H; ~7 u$ T$ w- W
    此外,Casper的保持着了非常开放和相互协作的文化,它由以太坊研究人员,开发人员和社区成员共同维护。我希望这篇文章可以继续保持这个传统,向你介绍Casper,并试图阐述Casper对于以太坊以及更大的公链生态系统的重要性。
) p0 E/ Y7 N' p1 H, V8 Y
$ j' A  a/ p( q. s    总而言之,这篇文章是:8 f. P) `  m' Q+ f3 q' e

1 W8 F7 ~5 \$ C, }: M; x3 O0 q; y    对PoS和Casper的快速和广泛的介绍。
- {6 e: I. w3 @4 B0 f! Y  A+ G( M0 d+ U9 x& `$ j& A, q4 |
    讨论为什么Casper重要,其设计原则及其面对的挑战。4 p0 A: ~1 [5 k: Z. K' F

, F3 R( d2 c/ U/ i9 W    能让你开始学习使用PoS和Casper的一系列关键资源和术语的列表。" T2 O! @/ {1 ?. E

% e) F; v, v, w. L) ^$ z% ]    而不是:
: i5 C5 ^2 V! r# k3 L
+ v* G9 [; |- W6 V: d- u9 E* |: [5 m    Casper的完整历史。% m  p& v' b' I3 h/ o+ x7 k

5 O- J  d: }7 X* G! c    Casper规范。* m- f( l/ M9 L4 z0 g! `
- T  J! {$ C5 u( f+ k9 t- z9 C# J3 d
    Casper的实现细节。: n6 f6 m/ }; j8 i
. W/ Z0 G" r3 w2 S
    Casper形式化验证。8 u% m1 c" v; \
8 F+ |. C3 C. v% p
    注意:文章中随处可见相关资源列表的链接。
7 [7 S8 w$ z/ z6 Z) W" R% z. E( S1 r, V1 O. }1 _- _
    通过这个,我希望你喜欢这个适合初学者的Casper的介绍:以太坊POS(权益证明)的研究和实现。
  Z4 h) P  u$ p6 S# z; ~
9 g# R8 B0 s. w) {# G* k    #权益证明
( ?  r5 h: y1 J1 ?& z4 ~
3 T3 {6 f% Z1 M- o7 d7 @9 E, @    (如果您已经对PoS了如指掌,请阅读下一节:“Casper是什么?”)
( v+ v7 x2 l  q$ [8 A/ v
  m( u0 i: v3 x) N. h    权益证明(PoS)是公链的一种共识算法,其实现依赖于验证人在网络中的经济利益。
7 u; s0 `9 j6 k6 S4 ~9 O; f
1 _) F6 e: i  H# R8 j    在基于工作量证明(PoW)的公链(如比特币和当前实施的以太坊)中,通过对解加密算数题的参与者进行奖励,来验证交易并创建新的块(即采矿)。而在基于PoS共识的公共块(如以太坊即将推出的Casper)中,验证人轮流提议新块并对下一个块投票,每个验证人的投票权重取决于其持币量的大小(即股权)。验证人对于区块链网络提供服务是有奖励的,而且这种奖励也实现了对攻击者的的经济制约。, V  G% h/ ~8 U; X

/ }* `# E8 [2 X4 @/ O' W0 U6 i0 p1 m    PoS的明确优点包括安全性、降低集权风险和提高能源效率。
  X( S0 B7 J/ ?: _$ u
3 e+ B+ U& |- p' A( n    #明确的经济安全+ Z# y; ?; ]- ^% Y9 b

, X& b  N( A9 u5 [% z3 N    PoW工作量证明受到你能承受多少电力成本和硬件折旧的限制,所以具有一个动态调整(通过10分钟出块的目标)的隐性成本。虽然PoS有自己的挑战(在后面有讨论),其主要优点之一是可以灵活地明确地设计对拜占庭行为(即不遵循协议)进行的惩罚。这使得协议设计者能够对网络中各种行为的不对称风险和收益回报情况进行更多的控制。安全性的另一个方面是对软件和网络精密性进行破坏的成本,因此具有明确惩罚(可能在比PoW更严重的级别上)的能力可以增加网络的安全性(意即经济安全)。
/ l3 w4 @5 Z( h; \9 F8 H8 f3 w
+ Q7 Q% n+ f7 q+ h    相关说明,Vitalik进一步认为,PoS具有更好的恢复属性。在PoW中,存在一个可以使块链不可用的“51%算力攻击问题。在PoS中,网络可以处罚没收攻击者的股权,防止重放攻击。经济分析进一步澄清了这一概念。重放攻击的边际成本与PoS的第一轮相同。而在PoW中,51%攻击期间另一轮的主要边际成本是电力成本(重放攻击引起的的硬件折旧和物理空间成本增加很小)。简明如VladZamfir所说,在PoS中重复的51%的攻击成本就好像每一轮都要“你的ASIC矿场烧毁”一样。
# L8 y% r# {7 {& }7 u) X3 i8 O* E+ n3 k8 K/ \+ P; \
    #减少集中化& I3 i2 B0 n& B! n
9 d: ]2 w& v: p+ X+ s' I
    为了达成共识,PoS权益证明减轻了规模经济的影响。在PoW工作量证明中,我们已经看到,为保护网络安全,相对集中的矿池(例如AntPool)比规模小的更受到信任。大矿池可以通过(1)在较大的运营中摊销固定成本,(2)通过运营较大的实体来提高议价能力,来降低其技术和运营基础设施(如数据中心成本,电力成本,人员成本)的单位成本。
# }. R$ Q" p- a; x; k1 V$ W; f5 b" ^  S: H* b1 z+ V& f. m
    这意味着两个成本相同的矿池,取得的算力会不一样,一个能实现更高的算力,并在网络上有更大的影响,即钱能生钱,例如,10,000名矿工单独挖矿,每个矿工花费1美元/分钟(8,860万美元/年)的成本,比一个同样花费10,000美元/分钟(尽管也花费了8760万美元/年)的矿池的算力要低得多。(进一步:量化PoW挖矿中心化的好处将是令人着迷的,即它是1bps,1%还是算力以投资每美元比率的倍数?)6 k+ h0 y9 m% j
1 Q+ b7 m$ N1 ?8 q7 W1 ?
    然而,在POS权益证明的情况下,一美元就是一美元。这样的好处是,你不能通过汇集在一起,使得一美元值得更多。您也不能开发或购买专用集成电路(ASIC),从而在技术上占有优势。所以,PoS不同于PoW挖矿收入的累计分配方式,采用了比例分配。(成熟的去中心化的声誉/身份管理服务为按比例分配收益成为可能)。4 u' j5 K0 u+ P  u, ^! B  J
& S% v0 {7 g% [, S: D
    #能源效率
/ ~) L5 T  v  d7 K' |
4 ]. F0 q+ _% U' [$ t5 B    PoW工作量证明机制通过浪费资源来保障网络。比特币目前每年使用超过20TWh的电力,这已经接近厄瓜多尔整个国家的电力消耗。为了使比特币在支付的规模上得到更广泛的使用,它必须浪费象更大的国家一样多的电力。根据这样的发展,我们就可以明白,工作量证明可能不是合适的发展方向。
, }. O' F( g4 S% N( W6 @
  d: j, ~, P* ?+ ^* |) E- C# _4 H; \    虽然比特币可能具有超过其财务成本和外部环境的重要社会功能(即NickSzabo的社会可扩展性论证),但PoS的支持者认为借鉴PoW块链的激励机制,而不用浪费太多的能量是可能的。或者,有些人可能认为存在负面外部性的代价,即社会可扩展性的好处甚至可能超过环境成本。
$ k- e5 V$ D: d- l0 C  \. ]3 x* ]$ O3 e, ~- n6 ~6 ~
    虽然确切的答案很难得到确定,但我认为整个数字加密生态系统有责任探索所有有希望的共识机制,衡量其利弊和可行性。(例如,其他项目正在测试各种形式的存储证明的好处和可行性等等)。
7 A3 b3 a0 J( c# S
8 g+ y/ W6 |2 k4 B8 {3 c    退一步讲,值得注意的是PoW的发行存在两种成本。内部成本,由矿工支付,并转交给货币持有人。外部成本,比如政府的环境成本和补贴(很可能以更便宜的电力)。在PoS中,共识成本较低(无电力和硬件成本),从而允许低发行量。随着网络的成熟,甚至可能会出现负发行(网络交易燃烧的,以及罚款和销毁的),并形成稳定的价格。
0 [" i+ Z, g- n0 ]3 k- ?) {2 U4 w, j* W7 m
    因此,不仅能降低环境的能耗,而且还能实现更简单的结构设计。这是因为较低的能源消耗允许将潜在的经济价值损失(即可信赖的未实现成本的风险)代替实际成本(电力和折旧成本是不可逆的),以确保网络的安全。这是PoS的一个关键的基本假设:实际成本和对亏损的预期可以激励参与者保护网络。因此,虽然困难-但是有可能(因此更好)通过避免损失来确保公链安全,这可以减少系统中的公共成本和无谓损失。
( g% Q0 A( i4 w5 [
4 e1 y1 p- B9 Z* v' W    #PoS总结
; u7 _7 r' A/ U' l7 H! F2 h' [8 E5 M+ S* t( B) }7 _8 P- }0 j' L
    这里总结了PoS的主要优点。虽然Casper为以太坊(以下讨论)提供了具体的好处,但其重要性的很大一部分是PoS带来的好处:明确的经济安全,减少集权和能源效率。) P* {0 D8 E: S* t6 K: X8 t
6 q7 u' R1 S7 L6 x
    所以,现在通过PoS,让我们来看看Casper。+ e, Z) M) B$ N) z  E$ q

4 ]& O5 v& z( B    #两个Caspers的故事
8 J) A5 S& D" {4 K, V1 j" H1 S& n# v& w' h9 V. h
    简单来说,Casper是以太坊的PoS权益证明实现的工作流。
5 V/ C. d: F3 L% R- R! Q4 E7 B4 Z: y. N6 d% o% r* s. A/ }3 Q
    Casper并不是一个具体的实现,它是实际上由以太坊团队正在积极研究的两个主要项目组成。非正式地,“Vitalik’sCasper”又称CasperFFG,还有“Vlad’sCasper”,又名CasperCBC(见下文说明)。细节部分只有到你开始深入了解Casper的在线资料才能明白,外行可能对这个非常不解(事实上,这就是写这篇文章的主要动力)。虽然他们是独立的实现,但他们有着一样的目标:将以太坊的工作量证明转到PoS权益证明。
5 c4 F: @* J9 C0 V( l  H5 b
" F- w  w, M. d( x' z( |% ?5 p    (尽管有一个令人惊讶的共同印象是,以太坊已经在实施PoS,但它仍然是一个PoW链(使用ethash挖矿算法),虽然比比特币更内存相关(挖矿的效率基本与CPU无关,却和内存大小和内存带宽正相关),更耐ASIC(即使用专门优化的芯片产生的挖矿优势尽可能的小),但是它们是PoW链无疑,并且在能源效率上具有相同的缺点。# Y; H& H% D- \' W3 F; J6 H# k. ^
& }; r; `/ e9 x+ E6 a9 K
    所以我们来简要的讨论这两个Caspers。
" V) x' B6 B. u. q$ i% |  w* o, ^3 x* b, J/ M+ }. q1 h
    ##FFGvsCBC  x% }# I3 Y/ X' b2 C6 @

! V* q8 T! Y5 c8 p: O& y' v8 @9 |8 l    注意事项:这两个项目将在Devcon3之后的几周内提供更详细的论文和概念证明,这里对其实现方法进行快速预览。
: l  r8 b1 v" z  B  H4 d9 |% q/ S, o+ o# b+ `+ S
    友好的终结工具Casper(“FFG”) -又名“Vitalik’sCasper”- 是一种混合PoW/PoS的共识机制,它是以太坊首个通向PoS权益证明的候选方法。更具体地说,FFG在工作量证明(如以太的ethashPoW链)的基础上,实施了权益证明。简单地说,块链将用熟悉的ethashPoW算法增加区块,但是每50个块有一个PoS“检查点”,通过网络验证人来评估区块的最终有效性。2 D- b5 ^5 t1 W7 h
  z9 }/ F3 f) d7 p7 A0 ~
    鬼马小精灵Casper(其名字源于上世纪90年代的一部电影《鬼马小精灵》):使用正确的建设(“CBC”) -又称“Vlad’sCasper”-与传统协议设计的方式不同:(1)协议在开始阶段是部分确定的(2)其余部分协议以证明能够满足所需/必需属性的方式得到(通常协议被完全定义,然后被测试以满足所述属性)。在这种情况下,得出完整协议的一种方法是实现所预计的安全性(一个理想的对手),或者提出合理估计的错误的例外,或列举潜在的未来错误估计。更具体地说,Vlad的工作侧重于设计协议,扩展单个节点对安全性估计的局限视角,以实现共识安全性。
! |) X, ?' w, B4 B3 [2 p; S+ M
% ^- O7 K2 W# U5 m9 y6 Z$ T    退后一步,FFG更侧重于通过多步骤过渡为以太网络引入PoS。通过准备的迭代实现,增加PoS在网络中的作用。(PoS将从较小部分的奖励开始)。相比之下,CBC着重于通过第一个原则“通过建设”得出安全证明的正式方法。尽管令人困惑,解决这个问题的不同方法创造了两个不同的工程。Casper的最终形式可能来自对FFG和CBC的互相学习。
! \$ ^* G0 x0 E, J' m; e. C; ?. Y. g
    ##下一步
* [* C  c3 v( v, J) }: b; q0 ]
+ G) H- w6 K( T+ l& }1 @( V( p    虽然取得了实质性进展,但是在高层的机制设计层面和底层编程实现层面的许多细节仍有待确定。维塔利克和弗拉德都公开承认了这一点,并且邀请更多的社区参与推动和讨论。总而言之,这两个研究项目都非常活跃,11月份Devcon3将有更多的更新。此概述的作用不包括更详细的内容,但请随时在以下链接中深入了解更多实施和设计细节(FFG和CBC论文发布后,本文档可能会更新或后续)。
2 }* }1 |8 k! [! c$ c: r. H
1 a1 V7 e9 C2 L2 F1 P4 }    #为什么Casper重要$ _; }9 s- o1 q' m. s, N

6 I( Z, Q4 k/ V' g$ G( p6 B    现在我们解码了这个神秘的Casper项目。让我们综合一下我们对PoS和Casper,来理解Casper的重要性。) ^  j" [3 o! [# D# y! X
+ p; g! I) z% Z3 U5 ~4 g
    简单来说:
# d4 s% d8 X7 q, u2 F! [
2 Z# {8 n: V  c& `$ W9 j; r7 W    去中心化(PoS)
3 T7 V0 m7 a7 ^6 k* v! w& [. {* h# Z3 G  k* G  `
    能效(PoS)( j* l% B. ~; f2 `3 s( a, T
% I0 D6 n( q! ~5 r# y$ I1 n* H# H. g0 a
    明确的经济安全(PoS)
! H3 I1 t' N. P" G  [8 j2 k0 a
4 P. J3 I  s( I1 D+ F    以太坊的扩展性" E0 d  A# P$ p3 q  l) S7 ?

; c- u3 T8 ]" l/ M& b    从PoW温和过渡
( ?1 h& v+ f- b6 o
- [  O2 O8 K7 }: M- R' S2 m    ##PoS方面的原因( K( U& m: M/ g9 Q5 I

8 M; w4 W9 j8 j7 _7 j$ d    前三点在“权益证明”部分中介绍过。不过值得一提的是,以太价格在280亿美元上下时,它是第二大的数字货币,约占总市值的18%。因此,任何增量的去中心化和能源效益的提高都可能产生不平凡的影响,并对未来产生非常重要的影响。
5 D. m4 V4 k2 J* Z9 r* q2 E) i
' A1 D( v" c: ~5 g: Y    作为回顾,5 w) E$ r7 o7 Y% c3 H7 a$ L, f- f
! V  z, |6 H, w
    (1)PoS具有较小的可用经济规模,因为-“美元兑美元”-一个矿工/验证人不能对网络产生巨大的影响。在PoW中,一个大型矿池可能比单个矿工获得每美元更多的哈希算力,而在PoS中,一美元是一美元,这可能会减轻挖矿的中心化。% H' ?+ V: {9 I

4 K+ t8 v' x/ B' W5 ^. }; \! d    (2)PoW的网络安全依赖于能源的浪费,PoS则依赖于保证金的损失。那么挑战就是
0 I" f+ A3 a- F5 ]1 f3 d$ P* i# M5 l0 \  \
    (3)我们如何模仿(和增强)PoW工作量证明机制)的优点,并通过经济机制设计来减少PoS的缺点。9 y; M1 x  E: E* H, |7 q
, {& c% x1 v# L5 R  Q% ?4 k
    ##扩展性的原因! D$ w- U3 M2 @: E/ [1 C9 l& i8 K

$ R! L/ n# {5 ?+ ]" ?$ X    接下来,让我们来谈谈一些新的东西:' K- f" `+ L! T( |9 B' l6 j
! L0 B% `* T2 @8 X" [  ~
    (4)扩展性。理解这一点的关键是双重的:(a)Casper关于建立明确的最终共识(而不是概率上最终共识),(b)明确的最终共识可以通过分片进行扩展来维护网络安全。
" P. N3 G/ q  E) H. L$ a% ~. a$ |  g" l$ ]
# q; _5 G+ H1 v" ~# Y    在PoW链中,最终共识是隐性的(如“游戏中的皮肤”特效是通过花费电力进行渲染)。当您检查交易在真实用例中的最终确定时,PoW链中的最终性的隐性是显而易见的。根据付款的金额大小和重要性,您可以等待额外的块确认(最长链中出现交易以来的区块个数)。例如,对于买咖啡,您可以使用较少的确认,但是为了购买汽车,您可能使用比平均确认数量更多的区块个数来确认交易。
& O$ F) h. d' W7 B* m+ g. v
5 L+ v1 [- t: X# o% _    相反,Casper提供了一个明确最终共识的概念。例如,CasperFFG开始将最终性依赖于在PoW链上。因此,基础链依然有一种隐性的方式来确定交易的最终结果。然而,CasperFFG在大约2.5个epoch时间窗口之后提供了明确的最终性(每个epoch是一个50个PoW区块,一个检查点是一个epoch的最后一个块,区块首先被合理的提出,然后被验证人确定,在上面链接的文章中或以后的文章中可以看到更多的细节。)
! o- \5 g( c2 s. s3 [. ?# R& I3 s' K: P# g( _9 v
    在这一点上,使用某些拜占庭容错假设,我们可以确定我们的假设是否被违反,或是检查点是最终的。既然我们也意识到验证人设定了先验(也可以是动态的),则不良行为者将通过分析故障归因而受到惩罚。
% I/ ?! d6 F% H! o  _+ \0 D" u& c# h* ]1 b" @
    那么这与分片和可扩展性有什么关系呢?具有这种明确的终结性提供了每个网络节点必须做的(更准确地说是更少的)工作的灵活性,有更多的定期明确的最终性允许进一步探索问题,如:如何处理如果不是每个节点都保存所有的状态或所有的交易?如果不是每个节点都必须验证每个事务怎么办?公链上有关区块的这些问题都在区块分片工作中解决了。
' T9 _2 E% y4 Y5 ^) Z) ~: z& e- c: z, D8 Q7 L- p8 Y
    所以要回到这一点,如果我们要网络中的每个节点“做得更少”或者“知道得更少”,那么只考虑过去几个epoch时间内的确定性比考虑创世块以来的整个区块链的确定性有巨大的好处。因此,在这个epoch时间间隔内,确定一个简单的交易实际上并不能提高最终性,因为确认次数比epoch时间少。相反,最终性将使公链扩展到比现在每秒至10个事务更大的数量级。
, s) v3 X$ u1 o+ [, u9 `8 o: J/ ?: T8 H4 ~, P
    因为以太值280亿
- R6 e+ a$ f; c  U- S3 V' I0 h, O
    最后一点是(5)从PoW平缓过渡。象我这样的新手需要了解的以下原委:以太的明确目标是在今年大幅度提高以太网的价值。该计划是在ethashPoW链的基础上混合PoS,然后逐渐转向纯粹的PoS实现。鉴于ETH网络价值的大幅增长,逐渐过渡到PoS是一种谨慎的策略,用于防止潜在的价值破坏,同时转移重要的以太坊基础设施。
0 ~8 P- u6 x9 D5 z3 [
! ]* k  n. f, _* E    #设计原则
2 D, p% |3 g, B% ^+ g' J; @4 V/ V/ b& c" S, P
    这是从Vlad和Vitalik发布的各种各样的文章中所收集的设计原则。当前,Casper的指导设计原则分散在各种资料间。希望能够整体阅读,提供更明确内容来概括设计原则的概念。, f" H( e( Z2 B1 o7 X  l) ~$ F& q( m
4 V: H: f* b/ R$ b2 P6 m
    1、经济学设计行为。明确的经济机制设计可以实现其他社会契约(如以工作证明方式的共识协议)中隐含的经济激励。如果你喜欢类比,在HistoryofCasperpart3中搜索“biggames”。4 k0 C; ^. T& g* i* n( a

/ F# n8 }% `$ _: P9 F" k& f    2、最大化攻击成本例如,攻击者可以对协议功能进行攻击的损坏程度应受到一些行为因素的约束“griefingfactor.”。为了造成100美元的损失,不应该花费0.01美元。也希望成本在100美元左右。换句话说,我们希望最大限度地减少用于攻击协议的每一块钱的“攻击利益倍数”(更多的是在另一篇文章中介绍)。7 E4 x4 _, M; c* T
0 Q* y) n4 ?  z( p8 Y% P
    3、公共成本效益,不只是私人的。在我们开始扩张公有链时,协议经济学应该考虑到社会(即“公众”)成本和利益(消极和积极的外部因素)。能源成本,环境影响和财富分配是一些显着的例子。
& G4 Q0 L; O$ m( C( C" ^
! O3 ~1 A% n8 f    4、防止规模经济.中心化削弱了公有链主要的价值。阻止规模经济能杜绝产生中心化要素,并能建立更安全的区块链。
7 x' `8 i) T# z) F3 A; |
0 [( X. _& p0 y+ Y- u% u, i; t    5、网络安全来源于“游戏中的皮肤”。简单而值得重申。你抵押愿意可能失去的越多,我们才可以更相信你作为一个验证人。虽然燃烧能源确保了pow的链安全,但“经济价值的损失”确保了POS链的安全。
; O- h% h% U2 c. T9 f
$ P4 V; D5 z/ {0 _. Y( ]    6、寡头垄断设计。合作博弈理论,是协议将无法完全减轻网络中固有的集权力(即规模经济)的博弈的名称。这意味着分析所有边缘案例影响着自利卡特尔行为。值得注意的是,协议应该能避免卡特尔验证人欺凌非卡特尔验证人(即“友好”)
; c3 Z9 H/ k. N" Y9 Z
  e+ h$ T7 q( v4 {7 p9 j    7、追责安全。设计应使得尽可能的能将故障归因于某个不良行为者。Casper依赖于削减归因拜占庭行为的能力。9 @& Q1 D' m4 E% [  ?! r, r

3 W# o1 M1 C9 C# T    8、合理的活跃度。设计不允许攻击者阻止区块链的不间断提议的发起和对检查点/区块块进行投票。这就是Casper与其他实现方式(如Tendermint)的区别,Tendermint如果没有同步实现安全性,它将“锁定”。
/ i/ a; }2 Q4 {4 I! r
' m- z( c  Z) Z    9、最小同步性假设。为了让其活跃和不阻断区块链增长,Casper具有最小的同步性假设。事实上,我们预计节点每几个月都不会频繁登录。0 V/ q. C( x' _" H# C" Q0 R3 z
+ i* [- b0 Z4 ^4 c
    10、去中心化的事物应该能够被重新生成。一个协议只有在能够从永久删除所有其他节点,从只留下一个节点中完全恢复才能算是去中心化。可用性,而不仅仅是一致性(同样,Tendermint很容易被“阻挡”,无法重新生成;每个分支的验证人集合将不断变的更小根据MatthewWampler-Doty和Vlad的观察)。& Y6 k# U  u, S1 P* Q

+ }$ a6 G4 e, `7 M: T    11、反审查。主要的权衡的是有一种新的攻击维度是验证人故意离线。不过,卡特尔的审查制度在这里是更大的罪恶。选择审查制度的相对成本与奖励和其他处罚(作为存款的百分比)将是获得这项权利的关键。4 s; K( s% r* Q2 w" V% P' u9 m& T
# O4 J8 N& V0 T: z- P7 f4 [
    ##POS的挑战& v# `) j, N% q9 {- ?
, b, @6 N$ z: k$ z
    无利害关系  -如果链进行了分叉,任何验证人的最优策略是在每个链上都进行验证,以便验证人获得奖励,而不考虑叉的结果。" t& p$ g& G; `- }
5 g, E9 v$ ^7 |3 I- O+ O. p; H. H1 \
    长程攻击  -与51%的攻击相同的机制(使得更长的链条以攻击者的方式重写账本),但不只是攻击了前面的6个区块,而是回朔到更早的链的历史中(比如6万个区块)。这是PoS的一个问题,因为它没有工作量证明重写一个很长的链。2 E! s/ Z" l1 b! I* n
% l. @7 Y9 {6 S% h
    解决这两个挑战的想法来自于slasher(以及其改进的变体)。要点是:" w* F% E  j  O0 `
& _0 Z$ D, Z* x; R
    (1)验证人是已知的,这允许在验证人级别的错误归因;% ^5 J3 }" I- c
" B! M4 j/ q. {! c/ a& H; Q
    (2)通过“削弱条件”强烈地抑制某些行为,可以减轻这些问题。; }& t  q# J' ?2 P5 B. R" i
; |' p( L. D. f9 u
    再次,这个例子对于了解Casper团队对共识算法设计的观点至关重要:我们可以将经济机制设计用于安全的分布式系统。
3 I( c0 e# j; r+ P% u6 O" v6 [+ U
3 V% P  X. @9 L    ##对POS的批评4 H! e, D/ U) O. b3 F# T

- |2 r5 q  H+ v, b1 O4 L    逆向选择—由于有潜在的严厉惩罚,很多中等或者厌恶风险的候选验证人可能会不参加验证人。那么人们可能会争论那些寻找游戏规则漏洞的人更有可能成为验证人并获取更多利益。更广泛地,可以这么说—一个好人永远的得不到比坏人更好的回报。
( ]# r2 n; @3 j6 Y2 r6 }' n2 @% [5 ?" I% ^+ q1 u3 [
    回应:9 Y2 a2 k* s" X4 x/ t  _7 v) P, c
9 w$ T9 t3 ~/ ]9 p. ?; P3 i" m. F9 l# U
    这是未来的要解决的工作,也是研究团队的重点领域:密码经济学。随着这个机制的参数化深入,团队将迭代的去不断优化参数,平衡风险回报与存款规模的比例和他人的行为(拜占庭行为)。2 {) `9 C" H4 c5 s- G6 R; Y) `
. h3 o7 o" G; n
    值得提的是这个问题同样存在于比特币中。  H! R' D! D1 }
1 n2 W  \% P  O4 n# ~" {$ k
    富有的变的更富有—另外一个共同的担忧是当人们知道“共识算法是基于你持有多少的代币”,这可能会加剧在这个加密货币生态系统中财富的不平等,同时更广泛的发生在全球的经济中。6 K  U" I9 Y; K) E0 R

0 U( x- f. L4 C4 d  Q* G6 O    回应:
3 E+ K* u- X1 u# p1 Z) Z1 n" Y& |7 i6 P, O  w+ y' h- Z
    这里的主要观点应该是POS和现行基于算法的比特币POW相比较是相对平等(如拥有大资金的获得较少的好处)。正如上面讨论的关于PoS的概述,PoS削减了规模经济,这减少了矿工的集权。而且,在PoS中,一美元就是一美元。所以根据合理的直觉判断,反对PoS将加剧财富不平等,这实际上是对现状的一个不平凡的改进。
- _5 ^5 G) m( g; C2 A* g2 U6 e4 b1 t5 M0 P, i: z0 O
    题外话:为了在PoS中具有不规则的扩张或者阶梯式的财富分配(一个消除财富不平等分配的新维度),我认为有必要拥有成熟可靠的身份或者荣誉系统。否则,较大的资金池将会有“女巫行为”假冒的身份也能够享受到阶梯式奖励系统的好处。然而,这个挑战将被进一步解决,这也超出了Casper的范畴。0 z5 L3 x9 w$ Z0 B  ~( R
# V7 r5 B) U; Q+ ?9 h% N5 B# r
    ##对于Casper的问题/关注
( A5 b. _! c0 e* b# I+ n) @2 ?/ y/ D5 K) L9 z7 T& ^4 R9 z4 B
    “有多个Casper让人困惑”
: @- C5 f3 B2 H0 D. |. Y: u3 `  R) D& D
    很抱歉!这篇文章的目标是减少认知不对称。但是要回顾一下,Casper是以太坊家族PoS的研究和实现。这些不同的工作流将很可能殊途同归,但是协议研究的本质有时候需要在确定最佳方案实施以前去研究各种不同的方法。事情往往先变的越来越复杂,才会变得简单。5 }( m& `$ J. o. Q) e
8 R; R" F. w( B6 H/ D
    “Casper和Tendermint有什么区别?”
+ B( }$ B; w* F
2 S& M% h% }. H8 B    这里比较简单的回答是Casper重点关注活跃度(可用性)和可以接受相对不实时的安全(正确性)。虽然Tendermint是一个伟大的项目,但他的缺点时,如果检查点没有得到三分之二的投票,那么链出块将会停止。这就是为什么以太坊选择在Casper上做工作而不是使用Tendermint的原因。- J+ h4 u: g' M1 D  c  J
, x2 a0 l% r+ g4 _5 t
    引用VladZamfir:# J4 @- x: ?# \* \

' b  J; h7 |4 g  K3 r  {3 p/ g    Tendermint更倾向一致性多于可用性,Casper更倾向可用性多于一致性(参考CAP理论)Tendermin对于在线的验证节点没有检查潜在刚刚下线的验证节点的行为,Tendermint没有做出惩罚。
: _- H& N! J5 O/ r- s
# `: C! J+ ~; l7 ]3 T    更多的了解这个主题:HudsonJameson解释这个引用,reddit讨论板块Vitalik&JaeKwon,以及Tendermint白皮书.% s. {. p$ K3 Z3 U6 i
- I& n' }4 e9 i/ a7 F' t
    “我们将要为一个价值280亿美金活跃的网络更换引擎?”6 ?9 h( v# y4 n+ b* F8 a
) C: k* |" r9 `2 A
    是的,这真的是非常有抱负和艰巨的事情。然而,切换到PoS在很早的时候其实已经计划了,也是项目的指导原则之一。社区的成员非常链接以太坊改用PoS的计划。(参考以太坊冰河时代 —这条PoW举步维艰的调整的并被鼓励迁移到PoS上—这是被生态系统中众所周知的)。
9 G0 q% {# ~5 g1 t& z; E) S; ?1 s; I" b# e9 s
    不用多说这件事应该继续推进,但是团队将通过测试网络逐步推进变革。同时,最初的实现是混合的PoS模式,比起最终的纯PoS共识,这样做对经济和安全的影响相对较小。5 X1 ]5 U; H0 r& }! L

2 g0 s' Z" d- ~* Q, C  ]# y    “在实践中,交易一般在10个区块就被确认了。为什么最终确定需要通过一个50个区块的epoch?”
7 o/ W3 A1 [3 C5 r. L# [& l2 ?1 d) s# K$ g. e9 }. M
    我们在上面已经提过了,但是由于这个很重要,再提一次。1 O& b( B" u5 ~' s9 N8 P9 x

+ y& P- I! U1 j. E    首先,Casper将开启分片.
! `0 W1 P' D4 E6 L" w5 E: K8 q2 Q- p8 ]. J! ]% L- ?; U' i
    一开始我对这个并不是很了解,但这是因为我们需要先抛开Casper。以太坊有很多的目标,但其中之一就是在技术和环境方面提供可扩展的区块链解决方案。以太坊正在构建一个世界,在这个世界里数字货币在全球经济中将拥有更大的空间,数量级上将有很大增长。在这个愿景中,Casper旨在防止PoW挖矿浪费能源,但是我们仍然需要在技术上扩展Ethereum。这个项目一大部分涵盖在了分片技术中。% ]1 T) Q5 @; Y

& V5 V$ ^5 H" U  S    今天,网络中的每个节点做了所有事情。分片探索了各种办法来减少每个节点所担负的责任。这些细节超出了这篇文章的范畴,但是一个例子可能提出一个问题“有没有一种办法创建一种新机制,只用很小的节点组来验证每一个交易?”. r, }6 {3 L) G, s  j/ t6 u5 X' v

' D, a' ]' y3 e3 t    另外的信息时,Casper提供的定期最终共识在实现分片的过程中将带来更小的安全风险。5 |& |$ c2 Y" V3 O8 V

3 i+ l" T3 S% Z6 G( M7 B    第二点,明确共识机制更被推崇一致性的区块链所青睐。引用自Vitalik:
. ?5 b8 e+ E* ?% [: C. m/ _8 @: W4 i% @- ~* M
    在一个PoW链中,如果发生类似geth/party的共识分叉,然后两条链同时又在增长,同时交易所只运行了一种客户端或者有风险存款验证在一条坏的链上。但是如果交易所等待Casper共识,那么在50/50的分叉中可能任何一条链都不会最终共识。这增加了平台的安全性,因为在极端情况下,它“默认不去做最终共识”好过于共识错误的东西。9 r* D! ^, g) r2 _, ^: u

7 E% }1 U# t$ h- K/ U  d    总的来说,与直觉相反,明确的共识对交易清算不是那么重要,对区块链的扩展性和安全性更重要。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

chalee 小学生
  • 粉丝

    0

  • 关注

    0

  • 主题

    1