区块链在政治层面上是去中心化的（不受个别人控制），在架构层面上是去中心化的（结构上不存在单点故障问题），不过它在逻辑层面上是中心化的（需要在状态上达成共识，整个系统运作起来就像一个计算机）& i2 f/ M, t& ?' p

- l  m) {% ~; @8 \3 u4 |    ——摘自VitalikButerin的《去中心化的含义》; X+ ^* f8 [+ i( D
( K2 e+ u9 `7 q4 W
    另外，以太坊在运作方式上是去中心化的（区块链的运行不依靠某个实体）。
0 o! @, J  o3 V, {+ O- t; I2 P$ H8 c0 [7 t- F
    既然以太坊不受个体控制，那么以太坊2.0是如何搭建的？1 Q9 A6 ?! V! H
; \( U6 G6 n# q6 F, m/ }3 w
    这是以太坊的一大亮点。它的有机性有望推动人类组织在扩大规模的同时保持包容性。
2 M2 t) g6 A* k0 p& y1 n* f0 d. A# ]: a# `
    以太坊协议规定了构建以太坊区块链所必需的交互。作为一个巨大的开源项目，以太坊有一个庞大的社区，聚集了很多研究者和实施者，他们一起提出观点，讨论，改进并执行以太坊协议。以太坊基金会在其中具有很大的影响力，拥有广受尊敬的研究者和实施者，不过最终决策需要整个社区达成共识。1 t* x# l: A0 G: a: f
& G! l) V& p' r  `& W
    用来运行以太坊的软件叫做客户端或节点。已经出现了很多以太坊客户端应用，都是不同的软件开发团体编写的（都是开源的）。
; _* Y& S. G* W7 h$ P( Y8 R0 b# R9 y3 X& P
    除了客户端应用，还有一整个开源软件项目生态系统用于完善以太坊的方方面面。
  `% U6 u8 J2 x+ w# H! a% y
+ W  V& t* M2 q- `    其中包括：
) [8 _* w- |7 `. b/ p6 b  X; Y0 ~# p: a8 a
7 I- l, S& M  Q    智能合约语言（Solidity、Vyper）. A/ e2 r$ m8 D- i# P

6 I$ w6 ]! ?& d3 s! n    RPC库（web3js、ethers、Nethereum）
6 V2 Y% v- @8 z; a
9 r) N5 y5 @5 s, `! f  J/ O3 j    开发工具（truffle、ganache、solc、solium、embark）8 m5 z. ?! V7 U
" H2 J! V  \  @' [& U! h2 @
    回顾部分结束，接下来进入正题。* Z% C6 t* a& n# T
/ H2 t0 e# e# {8 v0 i! K
    研究
, X% v3 d" J% I2 W, R2 X* P& {
. o2 v# S# {+ }& c) g# ]: D    许多正在进行的研究主题需要结合起来才能实现以太坊2.0。这些主题都是有公开文档记录的，在以太坊研究网站上也有讨论。研究人员和软件开发者可以查询并评论这些提议。
2 C2 B, k5 D( r- f
7 T& C' u  ~0 W7 R- r    研究主题包括：
9 F8 z$ \- J5 y9 L4 j) r# I5 C1 u5 o4 m
    签名聚合: s# W4 I5 x8 H$ N! j" f2 z

8 K  J: `6 a" u! y. r3 f9 A! ?    随机数生成
: Z) d3 I( g. n9 c& w: h0 \, |+ o
    分叉选择
' T+ W: c6 _! {) K! {3 X
5 `+ f2 L8 D0 [: s$ b. E    数据可用性' q2 t# y6 p2 B% M: I

3 ?( v) t/ c+ G3 g" Z    轻客户端支持
; W' U: N7 c7 @& b
' x  ^6 P2 P  E# v4 e    点对点通信
2 e8 W/ [6 s; z2 E+ X; U" R! c+ c6 E( _6 E$ V+ @  t# ]# d
    跨分片通信和状态/执行分离& \& [' {' U8 s0 r3 o

2 b& j9 S0 p* P1 t1 o+ w: ~, h    许多研究主题已经可以实现了，不过仍有许多处于早期阶段，需要更多时间去突破。
0 E3 r$ }$ v: w9 g" Q  F; u% f3 q& t6 P( y) }- b7 X
    执行参考
  T7 N2 d! [3 ~: B( g
1 u6 V1 @4 ^1 R. B$ x$ \0 x3 I    随着这些研究主题日趋成熟，在此基础上已经形成了一份规范，作为执行团队开发以太坊2.0客户端的参照。& T2 x% ^( _4 x( h

4 T& ?5 v1 U+ M% h' S% K, a( S. f: x    为助力以太坊2.0的开发，以太坊基金会正通过Python语言开发参考实现客户端。基金会还向执行团队提供了宝贵的社区支持，而且还定期举行两周一次的以太坊2.0实现者视频会议，追踪进度、解答疑问并且就常见问题达成共识。' \8 X' w( ?3 v, H8 A: t; t

4 j; b: q+ K* S8 Z    信标链/分片客户端
5 W) b9 X- b+ V6 p/ P% `# R) C6 X
7 i1 D3 v$ m! n7 r6 Q$ T$ s% S    下列团队都在研究或开发信标链/分片客户端：! a' |7 L4 t7 Q

& l' y' v* t( a, [; T; N    P-rysm—由PrysmaticLabs开发，用Go语言编写。该团队每两周就会发布一次很棒的进程更新。
7 Z7 ?/ D. ~9 q' v
) d! g. j( x. Q0 {2 r5 t' Z; v' s5 }    Lighthouse — 由SigmaPrime开发，用Rust语言编写。
" P* p, z8 T' T' y$ A+ {0 m- X4 f/ ~6 D% e) ~
    Nimbus — 由Status开发，用Nim语言编写。
7 v) T1 _6 Y' l, S( T. N5 |+ e: y: h3 B
    Lodestar — 由ChainSafeSystems开发，用JavaScript语言编写。
+ Q& `. w6 |& L* N
7 D8 G, f& H% N3 m" W    Harmony — 由EtherCamp开发，用Java语言编写。, r' x, t/ l/ d- n

4 D1 q3 w5 F. f: \- o    Pantheon — 由ConsenSys的协议工程团队PegaSys开发，用Java语言编写。该团队专注于解决以太坊面临的关键挑战，包括公链和私链的可扩展性和隐私性问题。7 O% u2 z" ]6 }$ a6 U2 F7 E
, I$ S+ |1 Q% {, C# X! {' q
    Trinity — 由（PiperMerriam领导的）Trinityteam开发，用Python语言编写。8 P* U4 }& c7 j

- w1 Z4 n" r- ]) p  M; {: v* Y8 _6 t6 l    在执行以太坊2.0规范方面，这些团队的进展各不相同。在眼下阶段，所有团队都在努力搭建信标链客户端，这是以太坊2.0的核心愿景。/ i, H  f+ ]8 ]4 z% x
% E' _: u& u. y0 y. `, P: g# l
    目前，信标链的搭建已经完成以下工作：
/ ~( ^# ~  m% f" b. q2 c3 J8 L5 m' ?4 _
    信标链状态数据结构和持续性# f$ A+ r; D& h3 u, S

1 G  X# m! I( O- i    每个区块的状态转换6 u- K3 D6 {8 v( P
  j; E2 V7 [2 a; D! [$ v
    分叉选择规则的实现
7 B' q; a2 s& S5 D
  A5 E6 V1 @; t7 B    验证者改组4 o$ q7 P" |3 X$ p8 \0 n
& b( E5 f5 `# a; W( f5 o  y7 b
    区块提议者的角色定位9 b1 b3 c8 q7 _/ K+ @# L
& P# U0 ~' }0 P& _" R, k3 l0 I0 R
    数据结构序列化
/ m6 q7 ]- p# P9 N5 d
% ?) X& D/ x8 b. e+ |. P) G    点对点协议: I8 K* p2 m3 g, a; E. _" F
( o8 I0 c1 M' q. w! E
    目前正在讨论的一项关键流程是需要一种通用测试语言来编写测试案例——能让研究者定义一组测试及其预期结果，每个团队都能基于预期成果来验证执行情况是否符合规范，从而确保不同团队之间的一致性。
' o6 G9 L- e% A/ L% m' Y" r) Q; y6 }3 N# S! Y
    eWASM
4 U! A& V0 G) e1 {' y/ P) j& P. z0 ?0 W  O4 h
    eWASM不是针对以太坊2.0构建的。eWASM团队已经开发了一段时间，专注于解决eWASM与当前以太坊虚拟机的兼容性问题。eWASM团队正在评估以太坊2.0的影响，不过这项研究还是有点为时过早，毕竟以太坊2.0的实际执行情况尚且未知。$ X6 [5 O6 \8 M; ^) E6 D

. }" }+ u: x# @0 q  ^# h3 V    特别要指出的是，新的以太坊2.0分片系统将采用一种延时执行模式。就目前而言，一旦交易得到处理，以太坊虚拟机区块链就会立即执行智能合约代码。' J" g6 A, S6 p) W$ w! Z9 @
; P! t2 z' _+ C4 M* Z
    在新的以太坊2.0分片系统中：! Q  G2 P8 A! k) \  T* T  j+ ^

& }; X4 [8 A* E; x4 X( c    分片只负责交易排序和数据存储5 I: P7 C* w1 e' u

  [5 S6 x. v6 W; O8 d! N7 N    执行过程是重叠的，可以读取多个交易、执行代码并返回结果' a# L1 K6 d! `2 J: U( g
5 _9 `9 {7 K2 z/ K+ a
    执行重叠可能是建立在区块链之上的二层方案，而非融合进区块链的底层构架。