×
Array
(
[fid] => 6974
[description] => 专注于币圈最新最快资讯,数字货币应用及知识普及
[password] =>
[icon] => b1/common_6974_icon.png
[redirect] =>
[attachextensions] =>
[creditspolicy] => Array
(
[post] => Array
(
[usecustom] => 1
[cycletype] => 1
[cycletime] => 0
[rewardnum] => 5
[extcredits1] => 1
[extcredits2] => 1
[extcredits3] => 0
[extcredits4] => 0
[extcredits5] => 0
[extcredits6] => 0
[extcredits7] => 0
[extcredits8] => 0
[rid] => 1
[fid] => 6974
[rulename] => 发表主题
[action] => post
[fids] => 32,52,67,447,1120,1151,1156,6750,6762,6763,6766,6769,6772,6773,6787,6796,6808,6809,6810,6813,6814,6820,6829,6830,6846,6856,6864,6865,6827,6930,6931,6776,6858,6880,6764,6932,6871,6758,6905,1116,6788,6812,6798,6736,6759,6842,6966,6767,6828,6924,6935,6936,6938,6940,6941,6826,6909,6803,6919,6911,6908,6881,6920,6912,6913,6921,6925,6922,6789,6818,6819,6872,6928,6969,6889,6888,6917,6939,6947,6961,6937,6943,6970,6869,6900,6902,6783,6817,1111,6870,6821,6876,6952,6954,6960,6942,6910,6949,6962,6963,6964,6927,6926,6973,6728,6929,6874,6894,6896,6885,6857,6868,1113,6778,56,6844,6878,6802,6933,6811,6923,6877,6875,6918,6892,6757,6832,6833,6795,6793,6848,6837,6849,6850,6851,6852,6853,6854,6863,6882,6836,6790,6838,6794,6791,6873,555,6934,6958,6944,6945,6907,6779,6886,6950,6904,6956,6862,6957,6855,6955,6959,6914,6965,6971,6972,6953,6976,6824,6815,6891,6866,6979,6977,6765,6903,6948,6980,6981,6983,6799,6982,6951,6984,6975,6895,6845,6879,1121,6974
)
[reply] => Array
(
[usecustom] => 1
[cycletype] => 1
[cycletime] => 0
[rewardnum] => 0
[extcredits1] => 0
[extcredits2] => 1
[extcredits3] => 10
[extcredits4] => 0
[extcredits5] => 0
[extcredits6] => 0
[extcredits7] => 0
[extcredits8] => 0
[rid] => 2
[fid] => 6974
[rulename] => 发表回复
[action] => reply
[fids] => 32,52,67,447,1120,1151,1156,6750,6763,6766,6769,6772,6773,6787,6796,6808,6809,6810,6813,6814,6820,6829,6830,6846,6856,6864,6865,6827,6930,6931,6776,6858,6880,6764,6932,6871,6758,1116,6788,6812,6798,6736,6759,6842,6966,6767,6828,6924,6935,6936,6938,6940,6941,6826,6909,6803,6919,6911,6908,6881,6920,6912,6913,6921,6925,6922,6789,6818,6819,6872,6928,6969,6889,6888,6917,6939,6947,6961,6937,6943,6970,6869,6900,6902,6783,6817,1111,6870,6821,6876,6952,6954,6960,6942,6910,6949,6962,6963,6964,6927,6926,6973,6728,6929,6874,6894,6896,6885,6857,6868,1113,6778,56,6844,6878,6802,6933,6811,6923,6877,6875,6918,6892,6757,6832,6833,6795,6793,6848,6837,6849,6850,6851,6852,6853,6854,6863,6836,6790,6838,6794,6791,6873,555,6934,6958,6944,6945,6907,6779,6886,6950,6904,6956,6862,6957,6855,6955,6959,6914,6965,6971,6972,6953,6976,6824,6815,6891,6866,6979,6977,6765,6903,6948,6980,6981,6983,6799,6982,6951,6984,6975,6895,6845,6879,1121,6974
)
)
[formulaperm] => a:5:{i:0;s:0:"";i:1;s:0:"";s:7:"message";s:0:"";s:5:"medal";N;s:5:"users";s:0:"";}
[moderators] => 实习版主1
[rules] =>
[threadtypes] => Array
(
[required] => 1
[listable] => 1
[prefix] => 1
[types] => Array
(
[1590] => 论坛公告
[1752] => 公司优惠
[1603] => 虚拟币交流
[1753] => 数字钱包
[1754] => 虚拟币存提
[1755] => 交易所
[1655] => 虚拟币资讯
[1756] => 银行卡
[1757] => 第三方支付
[1760] => 币圈大佬
[1758] => 科技前沿
[1759] => 天策嗨聊
[1661] => 入驻合作
)
[icons] => Array
(
[1590] =>
[1752] =>
[1603] =>
[1753] =>
[1754] =>
[1755] =>
[1655] =>
[1756] =>
[1757] =>
[1760] =>
[1758] =>
[1759] =>
[1661] =>
)
[moderators] => Array
(
[1590] => 1
[1752] =>
[1603] =>
[1753] =>
[1754] =>
[1755] =>
[1655] =>
[1756] =>
[1757] =>
[1760] =>
[1758] =>
[1759] => 1
[1661] =>
)
)
[threadsorts] => Array
(
)
[viewperm] => 9 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 31 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3 7 8
[postperm] => 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[replyperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[getattachperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[postattachperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[postimageperm] => 26 22 11 12 13 14 15 27 43 44 60 61 62 63 64 19 67 68 69 73 75 76 83 84 87 90 91 92 33 38 57 58 65 66 74 77 79 80 85 86 1 2 3
[spviewperm] =>
[seotitle] =>
[keywords] =>
[seodescription] =>
[supe_pushsetting] =>
[modrecommend] => Array
(
[open] => 0
[num] => 10
[imagenum] => 0
[imagewidth] => 300
[imageheight] => 250
[maxlength] => 0
[cachelife] => 0
[dateline] => 0
)
[threadplugin] => Array
(
)
[replybg] =>
[extra] => a:2:{s:9:"namecolor";s:0:"";s:9:"iconwidth";s:2:"60";}
[jointype] => 0
[gviewperm] => 0
[membernum] => 0
[dateline] => 0
[lastupdate] => 0
[activity] => 0
[founderuid] => 0
[foundername] =>
[banner] =>
[groupnum] => 0
[commentitem] =>
[relatedgroup] =>
[picstyle] => 0
[widthauto] => 0
[noantitheft] => 0
[noforumhidewater] => 0
[noforumrecommend] => 0
[livetid] => 0
[price] => 0
[fup] => 6729
[type] => forum
[name] => 虚拟币讨论大厅
[status] => 1
[displayorder] => 3
[styleid] => 0
[threads] => 26623
[posts] => 417428
[todayposts] => 220
[yesterdayposts] => 181
[rank] => 2
[oldrank] => 2
[lastpost] => 2751899 收益1658 1753424289 22301
[domain] =>
[allowsmilies] => 1
[allowhtml] => 1
[allowbbcode] => 1
[allowimgcode] => 1
[allowmediacode] => 0
[allowanonymous] => 0
[allowpostspecial] => 21
[allowspecialonly] => 0
[allowappend] => 0
[alloweditrules] => 1
[allowfeed] => 0
[allowside] => 0
[recyclebin] => 1
[modnewposts] => 2
[jammer] => 1
[disablewatermark] => 0
[inheritedmod] => 0
[autoclose] => 0
[forumcolumns] => 3
[catforumcolumns] => 0
[threadcaches] => 0
[alloweditpost] => 1
[simple] => 16
[modworks] => 1
[allowglobalstick] => 1
[level] => 0
[commoncredits] => 0
[archive] => 0
[recommend] => 0
[favtimes] => 0
[sharetimes] => 0
[disablethumb] => 0
[disablecollect] => 0
[ismoderator] => 0
[threadtableid] => 0
[allowreply] =>
[allowpost] =>
[allowpostattach] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12589 小时
本月在线: 7 小时
|
|
* ]( r P! I" P D& V. m) _- e( k" Z
: }. H3 m, u8 h" I/ x- H
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
) B! L& d6 Y. l: o0 {% |$ I) s; p9 Z/ w
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结8 z: G# h# `' }6 I) m
. T$ g, i0 R6 J9 U& I( x构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
# O* ?5 D& b6 U( n4 Q% m; \- C# t8 E* K/ j
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
# o# T1 A2 h+ A( X5 N& r7 z6 @! c8 p) M
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样 E* W- J. u6 j: y7 u) L/ b
+ ^3 z+ w* `, Z/ |/ ]) H! n/ E
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
3 _1 e8 y4 L- O3 ?% C3 j
. @" T+ u# M" W( v$ @ 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
* U9 z3 j6 N" Y9 E' T7 D
. c: i6 [ l: Y% v8 R 比特币协议最令人赞叹之处在于其优雅的简洁性:4 h( ~+ s( X, Q s
7 M3 r8 W$ Z0 |4 F z$ v/ x) S
& R% u* B3 o" ^( x. L$ M 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
$ Q p- t& V" [$ Q
! R; l) S8 a$ X2 [3 ~: i! x k" Z 2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。0 W _2 V2 L l( U' I' K: I
" Q- ^( B$ @# [9 n$ O 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。" m0 |4 [4 W8 ~
/ {# I# C/ q1 g+ X. [+ } 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。2 O3 F, |. R3 M2 R8 z4 a5 v
H# j' d I3 i6 |6 d. O
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:0 X% u y/ F$ F7 W, L& W3 i+ [! }: U
$ F5 g+ } s/ U# @( S 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。: d6 Z2 f0 N, }1 g5 o5 F
- z+ O3 N) ?- c2 s, B: q
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。2 F% [( j# K( \ U
% R$ q2 t* e) V$ H: C 3. 减少维护负担:降低长期协议维护的成本。0 B& K4 B) m) F) ? y& c; A- q( t
+ K' R- ^3 ~' \* E8 x d& M 4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。" Y" i5 G U7 U3 W
: q# x' f0 m9 D' R( g e) t( t* L 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。+ U) e! i1 [* ]2 M5 A0 [6 k
5 n. v2 d' j9 t; a; {/ p
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。% E Z4 [' P- X$ Y% _) ]
# b8 `6 n+ O L; T0 l7 f, V
本文将探讨五年后的以太坊如何接近比特币的简单性。: P# Q" b* K& Z+ r
7 ]- N- B6 D1 h+ t/ I% ?
简化共识层9 ~% g9 w) L% F) x
" g l) U$ o! N

& Y7 Y& b, D0 x( W5 |' _! h' F& n/ \( n3 q: b- t- d
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。5 K- {$ b* E! o% k+ Y: q- ^0 _
( N% b4 I" ?3 m1 _0 z/ i2 ?$ x3 V7 w相比现有信标链,新设计显著简化:- k# V0 Z5 e. q$ x9 q* S2 O9 }
" Z, x0 r7 m; P5 D+ x A1 j3 h% O+ ^ 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
& f4 K3 k+ X- j4 ^" d* F" M/ y9 C9 C- R
约 200 行代码,且相比 Gasper,安全性接近最优。
4 Y4 H% d O V7 |( m: {/ `2 @# l2 ]! ~6 f4 U4 N. ]) L: D8 i0 F
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。% w* o! j# |- A7 K/ h" K5 b
/ b- R' B3 \0 E, P
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,' [- @( o; P; j/ U( J# Y
5 e% r% A4 Y& ^+ Y
系统性风险较低。2 ~8 p c6 U0 w0 B3 ?
! Q0 q; C1 ~; p1 r* B# B
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。) s3 |7 r4 T! d4 a
- Z+ Z. b+ j {* h" S( T
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。6 C q! J; G4 Z9 V* `! i
& l$ U$ E# \# z( q( V2 f
共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
$ G$ g) H; f' U' D: L1 ^1 w
8 @4 O( q) m4 M& Q 简化执行层
% I3 e! f/ ]# S" G- c# P
' D5 _0 C& y9 } EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
4 P) i$ H. U3 P% d* E! h! Q9 P9 c" k; c$ O c0 t. o8 P3 V# Q
(precompiles)为单一用例优化却鲜被使用。; ~/ {9 r. I H& N) T" ?" e
, E# x8 g. ?' x7 b" m/ X2 u
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显
0 D3 [3 ~7 u9 x. B# n2 I
, l" M! I$ i. M& v2 ~# @# t示出类似挑战。2 A7 z/ m) g' L* V. c
8 t2 N/ O, \9 l3 p8 r" Q4 ^9 [ 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
" I. {+ L! ]4 T- ~; P1 [6 W- g; c g" R
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或6 L2 Y1 b; E5 m, W3 f
( N: n8 i4 m e9 y) ~7 R* @* K以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
8 \6 J2 S! ?8 x! \' L: m* x/ \ ^* ~9 I) i
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
# e. f" x6 @6 x" M6 d6 L; i
u; o! C7 w0 [. x 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
& f+ e2 c% K a6 y7 f9 L! ? o* e
) _# M, M T* ?2 }' W" n6 m/ b 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。) l0 C5 g' r: }, K
9 S. e' m* Z& s; m 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。2 I/ x5 m) F3 X$ i% G
+ G* i$ U) a2 N8 d9 A* `
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
; o( |; K, n) n- \4 A# h) i: v
2 x, a6 E8 V' C( R$ P 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
% c! [, ~0 T9 K( f& l) b& @4 H1 T2 i* G1 T9 S* u6 ?+ c
支持 DUP/SWAP17–32)来缓解这一问题。
& B. Z: ?& c! j2 g N L- }. A. x/ |; c% V2 b1 n2 i
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
9 A/ E3 T- Z( ~5 s$ W* h5 u, k' u- n8 X; F% ]- a
虚拟机过渡的向后兼容策略. Q: s" w$ O+ }7 E) f) M6 W4 B
" E7 l* b3 b: a1 a- M' P
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
0 O1 |( P. e% e3 a1 Q7 w' Y* R
, l: e* H% A# {' i 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。4 b# {: e9 n# ?( m# N3 l
N5 ^' i& a2 t+ t; `
9 F( ?+ \( Y1 p& M. O- p' Z
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。3 B) T3 k$ ~5 ^% l
/ U" g. T1 ^ g9 f& A2 z 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
1 _# O0 H7 X) {: W, b9 ]; x r! W/ l5 Z
形式化证明器可完全忽略橙色区域。; J" M' ^3 o" ]2 l3 D- ~ |8 h
) p# T- Q' R! t* @) q& P' d 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
. g9 J$ p2 S8 w
& Q7 l1 y; _7 c! X! `2 j m; Z. D5 B用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
8 n4 J9 S* d% |( c: A) G3 i
$ l; j. @( I D" m0 @: x0 X 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区8 M" g) p! f5 \& f
8 g$ g! G% ]2 e# b& T# N域的代码复杂性远比绿色区域的复杂性危害小。* J( k3 m3 C7 n8 S0 A
1 c; t( P/ a+ N0 N2 e: t4 V% c% b 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
% X1 G- k# }4 k' Q1 @% Q; P }4 f- W$ e3 M# t: Q2 I
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。2 o: ]+ ^" t m S, @0 R
8 x% U7 K8 l$ y" ~" W& }5 k: {1 O
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
) Y7 g, Q2 C4 I' R' W+ Q' i0 N
3 ^! r. I0 H; M5 E( T' E/ p 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
4 T+ O; W) ~0 c1 G6 f8 C2 l8 X' U0 a/ B/ p
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。) l# K; Z& r# T
2 o# q. h1 t: O% ^1 g0 q 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。/ V& b9 G/ d" G2 `- ]1 l2 c
4 M- J$ ^3 {6 M3 W
2 `8 ~1 C2 S+ N9 Z- ^- q5 O$ _ 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。# l" C7 a( M0 l) p* j r" y
: h! x. X2 P& U4 i. c8 i 通过共享协议组件简化4 _9 j, R3 [% { G R7 [# u, b
0 k# G) `7 B/ F/ N N3 x2 M 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种1 d; v' y* ?# l( T7 S4 P7 m
9 z. k% { q+ c4 k% P, T
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
5 G6 D6 l8 K8 b$ z6 M0 i+ y. l: N2 J
( \( \# t0 P! G+ D) [0 O: S( g' L 统一纠删码
`1 a7 y/ @/ s: }( T" m$ b7 ~3 G7 d+ \4 D- p) u9 e' p0 r
0 }+ K7 s" F, K; U6 b" K 我们在三个场景中需要纠删码:! A- ]7 \8 ~/ N+ {
& O" N% A. k# Y- V) U& K
1. 数据可用性采样:客户端验证区块已发布。
: V0 r; f& F5 S" j" H& q: o$ g9 p2 _ |6 y# G1 T+ Q' H
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。4 q4 Z7 b. G7 ]4 S4 k
8 i8 H( Z2 \0 d 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。
/ L5 C8 w9 N, K0 k* _* C
2 ^& U( H/ c& v 若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:: x& ^& ?2 f1 e9 v) C7 z s: G
4 l2 z' O( U) d# p* T6 x
1. 最小化代码量:减少总代码行数。
+ ~$ r1 |4 o/ Z* E8 F) C) _2 m% y. P w+ O9 l3 Y4 [0 D
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。: ?6 Y8 P$ I2 z/ k: |" r
( E5 U E& @9 U( d2 I
3. 确保可验证性:所有场景的片段均可根据根验证。. `7 l# B( a' F! G" b7 u) i* L- E
% b, f. `, {8 x6 V* I. `5 a 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。( a) z8 y' T9 S6 X1 }
% d! }1 ^ w+ E# |7 m& H8 ^& l 统一序列化格式
. R- }4 x: y4 M* L0 u) D" ^$ ?/ g0 _% a& y( f j8 K g0 U
0 b, j( m& `9 Y* D9 |
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程" X5 |9 j7 U1 Z/ }
) e+ B& v+ Y3 h/ U度将因以下原因进一步提高:
5 P1 T( V4 c; t
( j* y) B4 O8 d) I, |# I: { 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。* }! t% p( \, d K
$ o0 M/ F1 L% u& ~
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
; G& M4 E2 v7 {/ z, h0 p5 W" F/ n3 G
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。# N5 [% v4 o7 ]2 g4 ]! Q6 M2 x) H
# x4 h+ O% }1 H) q2 i
我提议使用 SSZ,因为 SSZ:: q" q" o$ W. T; F z3 k
% T r0 t3 r, ?& M) B/ L8 P 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。8 V# F. Q7 N7 }
( m2 x. [2 g$ W0 a1 l 2. 已在共识层广泛使用。
* \% i$ Q" m( r- n2 @- V l$ l
( p1 m' u: y" y# K7 e4 m 3. 与现有 ABI 高度相似:工具适配相对简单。
n4 F2 E- M/ O' f5 F: Q9 y9 Y8 F2 `' u8 k k, V0 N: ^! U
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。8 m/ o1 z2 @* \2 E) n
$ K4 S7 U) U q' L& f% r 统一树结构" C/ Y+ v. c- k
$ e. Y3 h4 a U3 M( W E
% c: X, B7 {- o3 K; @$ G: R7 w7 r 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移+ j0 H- {; x0 m% S' b
3 f6 W: d/ z' y! \' |( a) r到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。" W2 z7 i9 C$ f
) c' m& T9 D* I4 b 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。' A( ]: S& S4 M
$ R4 {7 `/ v0 g. l: E+ Z
从现在到未来
; `) I s9 V& r8 f5 M' v: ~$ d L7 C% V! Q
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
6 d4 |; S" A0 v6 D! X- U8 p0 [
F. O2 j3 o5 a能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
4 V4 O" n T- @7 ^( f+ |+ T6 W0 p/ J1 z8 _; B
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存+ c* X5 U8 ^! D) E5 u
0 |) M$ }6 ^1 K, g8 ^6 o$ k7 |% M! h) M在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。& J& _, K: j1 a1 m+ o/ N* }
8 n) Q( @+ @" t5 A) A" F o) z3 P1 ~! S6 q2 _
, p! y z7 A5 Y! K! m+ f/ ~
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13192 小时
本月在线: 82 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 4 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 112 小时
本月在线: 5 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 116 小时
本月在线: 4 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|