×
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] => 26541
[posts] => 415482
[todayposts] => 170
[yesterdayposts] => 294
[rank] => 2
[oldrank] => 2
[lastpost] => 2750037 用比特币吃芒果糯米饭?泰国推出「加密旅遊沙盒」计划,游客可换数位泰铢畅游全国~ 1752903402 AOU1888
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12587 小时
本月在线: 6 小时
|
|

4 u3 E& X+ Z, L( n' b
$ r/ N4 Y7 p- \7 m; a2 A 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V / v1 t" \* G5 s) z% o1 P8 P5 ~3 s
9 S: i9 ~8 W. }! v1 R或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结* b9 I) F! c0 T# \: f# |# E) P
+ p0 Z/ a$ v% r* e构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。) H) n' z2 L' b. m' ~) p
+ Z' p2 s6 J$ d7 r) p: T2 E' L
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉/ }( G2 N- i" M6 x& `0 b7 E
9 y) @: n- q1 u( e- e计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样$ u, `3 f8 x8 T% H
7 o# {/ P9 I: ^7 _- h/ x, N
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
6 W2 n, X8 h- k; f# T$ h
5 a: i0 ?( U6 b" y/ z4 o0 l9 Z 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。- p8 F$ ?$ x% h" Y, z' K- X
0 M/ }4 |% m5 f) E2 K 比特币协议最令人赞叹之处在于其优雅的简洁性:" D* H& `/ ?( q T
$ v7 ~, P% f( ]) y6 t) c
+ r- s* R3 A3 ^( L 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。$ [% v( n/ r4 k I5 A4 ~( H D' }
+ p" N2 z6 s, ~ 2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
- J$ [7 Q9 H. X8 l: V1 Z; h, O! P/ s A, L4 a7 h0 Z0 h9 t8 d
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。 S* m' X! L/ v3 m9 j; F' y: c
" ?: A B+ G$ u; {# T; i: `- d' e
仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
K0 l; @ _( Y ]2 o/ R( B, c- B$ |( k6 K7 A
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
$ d1 G! w, b, ?- W$ A5 P4 }+ u- M! Y* X* v1 O/ m
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。- K% {/ F2 Q# |7 e, v+ C
) I" O8 z O1 u. `& O. ` 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
( U4 w# z: g: @/ R) u' U/ q7 a/ y5 R! \) q2 C; e4 K/ Z1 A b
3. 减少维护负担:降低长期协议维护的成本。
1 c- S1 b' ^$ ~6 ^. l; x8 Z/ O# c$ v! o. Z! r
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。
5 X2 J2 Q# f( o' a, T) X$ ~7 y! F* E: p9 I
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
. ^4 Y h/ w- R- d/ I* ?6 g7 `9 w4 u% ]
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
) M* i5 Q( f5 o. R* n6 [, r0 t! \% H7 l! ?0 I/ [ N- I; m
本文将探讨五年后的以太坊如何接近比特币的简单性。 S+ n( p& F a1 m
/ D" r- {, m' u$ C. d
简化共识层. Q: y3 N2 m% \0 G# V! j" v4 j# `1 G
6 q# Q: L r- z4 ~: U8 a( R8 J
+ u5 D0 P3 ^0 X* Z4 s" u9 c& I
8 @6 h$ ]* n( V' R. y1 d
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。# K0 q% |6 c! A" _
$ [9 ?% A( C% E/ o1 l相比现有信标链,新设计显著简化:1 H, \- R! N3 w) W& b
2 M# o p; J$ G7 b6 `5 _
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
9 S2 v4 Y6 v" `% @
5 V* Y/ X/ J' \, }约 200 行代码,且相比 Gasper,安全性接近最优。
' U' R/ ~$ X* m8 n4 w4 F7 U+ D. }/ m, a1 i( X b: S
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。
9 L8 B1 L4 t/ G# q% K* |0 }, L. b0 N- F; Z" s" `
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
# |; w; f2 ~8 b' i
+ ~2 _& {5 |3 I% U0 V系统性风险较低。
7 g$ ^3 i ]8 p
) q& \# o& w% M7 u 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
3 Z$ b7 S- V6 E" o, i6 D9 [; v8 l
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。7 ^0 p) M8 f4 a" Z0 z+ f0 J
1 e2 H, _9 m. _) g2 q 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。1 C1 q! k( a, L" }( K+ q' x
% t( f1 H! K- Z) w1 P" J) b
简化执行层
3 ]! [2 m3 B. Q" E1 i- P0 {& h0 P' a. Y% P* _7 R6 w
EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
0 f5 e1 M; M( Z I6 d# ~" X) T% ~
(precompiles)为单一用例优化却鲜被使用。, z' N. _( t( V& ]! O! m
( [7 @! i+ r, g8 F 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显! m8 v0 x# B; Z i
2 O3 ^& @6 @2 Q1 I. t示出类似挑战。
1 J* ^& T* K9 W+ H! E8 J. N2 \/ Q- X8 [. p
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
: w# D, [- z2 W8 L$ L8 B
1 K; }. M- \5 B+ H1 x3 R& ^实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
' {6 |8 C% k- j9 M0 T9 \! w
2 I. Z* y% H1 ^/ W/ V4 l以太坊 ZK 证明器使用的另一种虚拟机。这将带来:/ o) d. w" F. `, k! O
% b6 J; z8 e4 x+ Z. S \3 Q 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
: S# ~: Y8 {* C8 Y
1 `8 L$ m) j4 e* Y) r, i; J: v8 Y 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。& M7 h' s4 _$ a# _- {0 K
3 `, _( Q" e) z4 e; Q/ i 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。& k; T& ?1 K- f7 v; w
7 c, q4 S+ J2 }. i
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
* v6 i5 c* ]; P& ]' L* o
1 y, x2 @+ G/ Z& ^" ]+ u# c( { 5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。8 d# k1 i2 z8 I5 N" t
2 q" L3 a7 O* Z; C: S) w [ G6 z
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、$ Z P- F6 p# c& o, j- q5 @
& G* L: m7 |- o7 R9 V支持 DUP/SWAP17–32)来缓解这一问题。% {0 j8 i' v4 E0 u6 N8 |
! M, e! H0 V: I, H$ P1 D7 _7 b, b 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
8 e% g; U, I$ e0 [. U8 ^. f/ u. T/ w
虚拟机过渡的向后兼容策略! r( q2 z) f7 J: n/ W) f% `* b
4 i& v# L4 @5 c3 i u# F& ~ 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
! l. G9 H% j* V
: m! }5 w8 a: h( s, i2 C7 V 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
! Z& E% Z8 h9 g# q9 A/ a2 g# l W; t7 ?8 ~' R
# ~# M# e0 O. t3 x0 k
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。* A8 q& o* h6 g) z) T
. c& b+ `2 w2 M" U- P+ B 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
* h2 p1 `! [, q, r: J6 _& S8 R8 I1 q1 r: X/ A3 x
形式化证明器可完全忽略橙色区域。& I$ R( |4 h& p! }( m/ n+ o
7 ^, U3 c2 y6 S, b- L) X 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们 ]9 n6 ^# E* I6 H" X: P; Y5 A
2 y& p: F5 {% ^ N f用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。5 B+ \/ Z+ t' F( i4 g# ?* z2 Z0 A
8 _ c; U% X, a4 ~+ S6 u
橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区4 z% O7 |1 R1 f7 H- n7 d1 Z3 L( n
. ^6 a1 @6 e& [; F5 y4 o5 X" [3 K
域的代码复杂性远比绿色区域的复杂性危害小。, g, q) G! F/ c8 \
/ | P! d/ g( [( n 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
9 A! e _: k& I4 ^& {! r
: a* K/ i5 b( ^- Y+ A 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。# J# U7 Q. B$ D+ r; j
2 Q! w7 T" I/ T/ r z: u4 L 2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。5 c( l* y$ T% @7 v5 k
! E/ d, k. ~' s; |8 Q! C% r
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码( ~5 {0 o" F6 ~' t4 S/ B* h
; o7 f3 u. R1 I6 G' f" V: N9 x1 E(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
9 O; N2 Q( p' D0 B6 q9 S4 h* w, z8 w) ? ^( t. {
4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。# t) ^5 k& E& \! U: |' N4 Y# d% Z
+ Z) n- ?$ T' n( b' z
' M( }2 m s5 a( g e 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。
) ] x" L G8 r& s+ X
7 x5 w0 A$ L6 c* r- z3 c 通过共享协议组件简化
& K7 V& |% M8 L: f: z6 t. f$ P8 ^6 h, t5 c9 W2 D4 ?( ?9 ?3 O
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种
0 N$ U" V6 a2 ?0 Z5 V4 Z3 Q S" k
_, C% j7 L0 D2 |" y模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
7 j. j; ]" |: L# x, b& X; x3 E6 n4 `. a+ G* N
统一纠删码' | y% h |9 t& G `4 ^0 F8 V
$ p" B8 }% a% w/ q6 H& P
! Q' t( K4 Z+ V2 ` }7 S& K 我们在三个场景中需要纠删码:# z M; H3 G i* R( r9 ^7 |% O
9 g& ^/ K2 B" c- M! E+ F 1. 数据可用性采样:客户端验证区块已发布。% e3 |) ]1 E) Q. y& p1 A# O
: m* M% S2 |# H( t' {) n
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
* G3 v5 |% s# I( X7 ?$ T1 B% Y d, ^% p4 S* ~0 h( x' B
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。" y) e' g+ p2 O; y
5 z! U+ A/ L, I" N; k8 m( N
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
) L( |" d7 ]6 o A
- x. F0 M/ K- l2 X 1. 最小化代码量:减少总代码行数。
* K6 T" b) r2 s- u' D, O! A5 a3 @1 w. a* d
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。: c g! d# C, b7 ^8 z$ i
. _9 F" }7 ^! O7 E8 n; W
3. 确保可验证性:所有场景的片段均可根据根验证。; a$ e, a7 I% k- b
" n) N$ r: i3 S' m: d
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
* y! u! H& _ F! M6 o
! E R7 x9 S* z( @ d5 ?/ c, U 统一序列化格式5 {" V( k7 S. U: M1 @
2 T. X/ @1 F) b
9 p/ l/ t* T0 F6 a+ d- V 以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程 S$ Z7 U1 d& O! b3 _! `4 r
+ ?* S. b6 L& l E- g0 M
度将因以下原因进一步提高:3 n% ~2 i( L4 x+ L* g1 f
6 P- ]5 r' p6 q0 Z
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
- S+ H# k) r7 h9 x
) e! G2 [% o4 g3 q5 \6 I5 G+ w 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
o& B0 a+ R+ o6 b& F8 X& k' o
, Q4 f) @- W* ^5 E2 y( ` 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
2 `9 a! _0 H, t# k
G# M( K/ Y5 z8 q 我提议使用 SSZ,因为 SSZ:$ z6 i( s6 G B
4 A. _# q* ?7 `4 U7 M 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。0 F9 i8 R4 f1 A- t, ?3 r: E
+ Y: q1 l; W3 c( `7 n5 q+ c 2. 已在共识层广泛使用。4 G* K: a. r: L& X( {* L: ?( X3 M) r
" F+ g6 e8 y4 `* ?% d6 r 3. 与现有 ABI 高度相似:工具适配相对简单。! h/ ?, T! p8 G7 I$ o9 i& j
. `; K$ M8 R' T2 ^4 ^
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。$ B3 E- S& {5 o. U/ c3 t
6 X9 ]7 v, m) e 统一树结构( v) m4 n4 w/ H$ ?
4 x' w% E: O! J1 t7 l3 O/ u
2 L: `8 \1 Z# m7 C0 ]( p. u" v 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移5 f. q- V/ o7 p8 _9 M
7 J/ z. S7 l8 d0 U到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
. s5 |$ b2 Y7 G$ E3 O; L! K$ \
0 B5 ?8 {* K+ J! ?1 M c 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。3 Y& Y. J9 d) V1 j% F4 l
5 G$ h9 @- X, E0 f( W& G5 V9 X# j3 Y& W/ P
从现在到未来 z- Z4 d- h* ?/ Z W) Z4 w
( W3 B. ?# E* i2 X) t/ n) ^5 `
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功! q% V1 m* i9 B/ N' Y* j) [4 L
& e' H0 h& n% M0 ~/ f: P
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
4 | j, h) S# K$ h* r7 [% v0 R o" v
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存
3 \. {7 e) t) d& r: t, Z# d% X* \$ j( D* r( p8 j1 [
在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。; ^3 s. a, z/ `+ j; g: n' p, {
1 n( ?6 |- w: z' R% j. h$ M
8 j$ h5 C3 q4 O6 v1 V0 d
" b2 M, { b, Y2 S, g |
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13175 小时
本月在线: 64 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 4 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 111 小时
本月在线: 4 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 115 小时
本月在线: 3 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|