$ I; M- f/ }* c 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。 ! K" ^% F: B+ k% P) g/ d9 Z( g. R4 H4 R1 Q
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:/ l1 k' O% m' e3 x. r/ n
6 {$ g1 K" Y1 \: I 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。 / a" A% @# G. L* q( |3 {' t" ^& n$ M3 O2 m
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。 " N' [9 A6 b3 W( N) v$ w0 w' F . B9 F/ q1 a; d% k7 Y; s3 ]# p 3. 减少维护负担:降低长期协议维护的成本。 ( J" `9 [8 r. G; W* f2 @: Z" N+ k) l. }( C" R! n) v4 O
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。' ?/ `- s6 N9 g. q: g1 ^, E
6 F6 I; Y# ?; S 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。 / @7 B9 q9 A x* c, S N) t, F N0 q$ W& s {3 w
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。$ I+ }! K' \7 i r
$ k% M: ~& I4 n! L) `5 b! R本文将探讨五年后的以太坊如何接近比特币的简单性。 6 c+ j+ y% K0 j/ m% _* `- Z' W% M) P6 P5 @8 Q r. R( x: u5 {, }
简化共识层4 C- j, m; W( _: h
* `3 T+ z1 m% h% ~# k( P3 O0 K* C- d9 t# A$ T% z- z! L
$ d% k" q" u( j+ k9 E- c9 c( x5 o
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。! i* ], ]: P% g% r. P$ X0 A
6 t' V4 _, A# a. @& U
相比现有信标链,新设计显著简化: 1 w- z2 H1 N' e. A% O# ^, V/ _. w# \+ y# B3 ?8 z9 ^% G4 i
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需 S( s9 [% q' g0 v' o ) l" T# I% X2 I* D$ T$ _$ f( _约 200 行代码,且相比 Gasper,安全性接近最优。4 R6 p2 q) Y4 h3 W# Q2 T7 n/ l
+ y2 _4 D, U+ q9 t! }$ ^0 a2 M$ q* m
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。 0 V- X. q" l1 {" v" b! l" ]+ G& L. v" Q$ h
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装, * d/ O& {$ k* D/ l2 h. B2 d' O: Y# D" i' {
系统性风险较低。2 l) A( P" Z. S; S/ v8 G
. \$ V, {. c1 j6 y( i
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。; h+ H! j$ Z; B4 ?3 q" h7 o; r7 F
. X4 `3 u5 G9 n8 v6 Z- Z7 |
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。 $ Z2 ?4 r# W( v3 [3 ^ E* \' l$ U! }' o( ?/ Q) T 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。" h: W3 [% |" { W. y
/ t) I, k/ U7 z1 n+ o4 v4 H 简化执行层 c' W7 }( h( u, ?% V2 ~) j a # C& b9 a' [8 k7 \. l; d0 F0 m EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译% M6 M' E4 v" Q7 r" O2 y! O
2 `' Y7 i+ J" e# B: q) Y
(precompiles)为单一用例优化却鲜被使用。3 B& J, C* _* \9 W