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] => 29325
[posts] => 478271
[todayposts] => 46
[yesterdayposts] => 221
[rank] => 2
[oldrank] => 2
[lastpost] => 2797873 权力重构前夜:达沃斯的ZZ信号与加密圈的行业坚守(转) 1768625591 whywhy
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12612 小时
本月在线: 30 分钟
|
|

* i! Z' U6 E+ t) r% ^! M0 ~5 ^
7 }" {9 H! t+ }% m 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V 6 _0 t7 s, U! L$ C; y3 [* G7 ~1 h1 w
$ _# K7 \8 w9 Q- L/ y' H: c- R
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结) S2 u- }) ^" \# y) y+ P- H
" S( f1 w4 o0 y5 h0 Q# [ g+ U
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。 Z/ V/ g- g5 {& V( s8 J2 N
: u( X C& b# ]' N 以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
! x: P2 y+ {3 L8 Q0 m/ I& T' Q0 {
* a1 P) o9 f1 L" p4 x( ~6 b/ @计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
9 G9 k, O, d) S2 f9 ?. Q2 B' C( y1 J# |$ T+ |. @: P
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。) J& l: d/ f/ s' A& }, H
, X% e& a F5 x( n
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。, |* K- I: w- I, x. v. v+ J1 s
" s1 L4 }' _4 D' ~$ n 比特币协议最令人赞叹之处在于其优雅的简洁性:, z; N9 c. F2 ?: w# ~& W" f
, u9 N& V% M2 A: X& {9 y, V6 Y* w+ D1 L! B
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
/ l9 R4 P4 B* K- B) { |7 r% f4 r: o$ ^. h
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。% Y4 e; N+ y/ q* z1 Q; i* V: i/ G( s3 p
' }7 w9 b; O$ K, V/ \) j* M* w
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
$ i* M& K* K0 [: S* }8 k$ K
& F7 v% _7 n" E/ A- z3 w2 x 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
, a0 W6 U' a2 G( n# a+ @# ~' O. M# B/ l, m
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
. R/ ~4 }2 A. j! j; w7 b3 N2 N/ w" Q9 U
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。' Z% L5 H- J( H' u8 y5 ~2 J* f# |5 k
& Q4 E7 d) t4 j& ]: y
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。2 n! Q, i8 H& }/ D' C
; s1 T% v( Z8 _6 J( a. B 3. 减少维护负担:降低长期协议维护的成本。
: [, p/ m9 y+ J2 R6 X% h- ]: W- g8 ^$ R! h9 s& ^% U
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。! F# ]* [0 I# K& w0 ?' M
1 L( c& I2 I! F; G$ G' @9 e: D 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。 b: n: [. v9 `2 F; G
$ P- \5 R$ w; t, A. O' U
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。2 p* \; E+ U! V. }
" Q& o& V; w* h' k8 @
本文将探讨五年后的以太坊如何接近比特币的简单性。: \+ I" e2 K2 g* N
- P: O8 ]( v. n& k& q+ Q+ H, l( v
简化共识层. I8 D7 t$ f' l0 G Y1 `+ Z
: @% _7 O Q# T% A" c' J% I
* U- u" U# n) m# Z7 {5 t& \
d U" W& J1 z H [( v$ R3 O1 V" Z 新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
3 H0 X3 y% Z- K! {+ P/ ~" Z
& W& W* S! l8 ^/ E8 G' `相比现有信标链,新设计显著简化:5 ]0 u7 O( R- R. T! y) F9 F- V
5 O1 s! W6 \4 F7 X* Z 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需$ M7 ?! B. T' b. U: y
# N) n! v) {; s- |# U
约 200 行代码,且相比 Gasper,安全性接近最优。& G& r9 \! s. ^; t3 H4 c
7 D- Y0 E4 Q- Q4 _ 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。9 t/ z; C: n+ c
' a$ j, [7 m2 A( o! g) `1 l
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,% S' @& l0 f- B) [3 Y2 u! v; U
4 S. B+ b3 h% g系统性风险较低。
" I/ x; {1 L! N% Z
& V3 U: W6 ?& W: a9 B. ^1 b5 c- r 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。- F* `5 o7 u9 q* M* ]
* i, z. Q5 p Q& j" e ]1 y 5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
# O7 d# H7 U4 n5 g* N; J6 K$ J* L9 R& K- v- J5 K
共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。& v, B3 h/ E, W0 P1 g% [7 `* Q
# E7 |( m- M/ [( V& L! w- E* q" h$ | 简化执行层' l0 o: n2 y5 l6 J6 C7 b& @0 r
: _ M; n3 _$ i9 t5 B8 I0 A EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译% }0 ?+ U3 W' ~; f0 g
: }, E, e- J: C7 `# T+ G+ v
(precompiles)为单一用例优化却鲜被使用。+ b/ U4 b" D* r0 J. y( z' K6 l5 z
Z6 q- N! `$ e* G: @+ ^0 |8 c; | 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显- e% E z9 t" t) U( K
7 a5 n1 S% M6 \6 ^
示出类似挑战。- T/ }4 c( t+ o- x
2 D) {, o, _! U ^ 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以& T# o- L# J, J! H" S
; m) S' z% E4 i/ s实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
1 E) |" K( h: e9 z' O' K) c% g; m& v
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:- k+ M) K( X$ p: o5 g6 s4 Q( X
; K e1 A( W* N) J3 S* p
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
4 ^' ? a1 D/ o* O V
M+ e9 P7 _% A! c% m& ]: } 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
" i$ u; l' Q8 z5 P# {7 H, k- q
$ \% \: p3 V( R3 Z8 T 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
( ?% u( r# y% q8 B' T
1 |5 n; @( w2 [( K 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
- J" n8 P1 j6 F E$ S/ a6 U. h3 Z! ?/ \, r1 m
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。5 i8 |& m# E5 G$ t
0 x3 _( j$ B9 T! C: n" I: Z( B 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
* H$ Y9 t+ E0 n; q# |
' {8 V5 P! @ O+ ^* d& e; U支持 DUP/SWAP17–32)来缓解这一问题。
& H% A; u$ G5 S, D3 |3 o ?& P4 N. i
: z- ~9 N6 n1 B" v/ L9 l3 d 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?% L! L6 g3 ?+ ?
# Q0 U6 u1 m& c; h4 L) c2 H
虚拟机过渡的向后兼容策略
, _5 v9 w s6 [" |3 V6 Q7 W5 \% A# a# _) I5 e4 N- m
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
9 J! x7 C$ ^9 e; a3 ~- k, n
, C8 N. m' E x. ?% b8 H5 S' N. V" c 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
, p7 b8 O- g o% |6 l+ Y; S" r( ~0 o+ k. `- F' Z, ~
! b9 t3 K2 F( o6 |" A( X: X' p6 N 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
+ A9 U5 s4 q5 Y7 S( c+ q2 f5 Y
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
- a5 m, o" L3 _ [" A1 z7 V1 M7 S6 n. ~, s I0 w" l( F1 y, ~+ {- c
形式化证明器可完全忽略橙色区域。- U' F2 T2 I# I8 j$ K, F) }! Y8 n
9 K' y; Z2 |; ]1 @, R# c 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
* C. N7 y ]* M5 O9 P# x* I1 ^& U
' ]6 p# n' d5 q3 D& C; u. I用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
" e3 c/ ?& O S
; L5 Q( y6 f0 z6 m C, d 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区- W3 _7 b# k8 m+ K! [
" H( y) {2 |- l8 b& ?5 J6 P9 Y5 E
域的代码复杂性远比绿色区域的复杂性危害小。
8 O/ ^7 h, c& ?8 J4 ?
9 i# j3 G: }( a. K 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。8 z" U& s& |5 _3 Z6 u9 V1 n
4 k) @5 t) `% _( d" S 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。9 t3 s( q6 u' p$ t. A9 k* G2 t9 b
D, `9 |8 q# R) O! g2 y/ [; P
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。$ {: @5 R W2 p2 a. j) a( l& _
9 T! b) q! n+ y2 @0 x- i7 T
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码) r% K2 @. k3 A& w
0 Z/ D1 L5 u& d& X4 B% @
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。7 y" N+ ]' r! R) E. x9 n- f7 `5 Y& v
" h( c" b! v8 [; j 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。% p) K, A7 t" |' h
# T; V* w2 ?8 i8 W
+ \1 ^/ E; }; s% [9 i4 N V 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。6 G) X" D+ u k. {
' Q' }/ b' K e. g0 ]+ p9 E
通过共享协议组件简化7 P- o H# ]3 b3 o, j! ?5 a" ]: V
( I0 S, U" D: A( Z; C# b8 a
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种
% \6 D8 d* N9 z* j$ L1 P: H& ^5 J% V) n
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。! S9 X' q2 c8 }. s" Z% A6 c# L
3 v7 j) ~9 _. M4 F& k 统一纠删码& N* Z4 S9 \; y1 V
' |. @( u6 q$ f( A$ E4 W4 T
8 G8 A9 C7 ^! t" i# O
我们在三个场景中需要纠删码:7 p0 x. c* S4 Q$ @* A
: M9 c# Q% P8 \! p$ O
1. 数据可用性采样:客户端验证区块已发布。
' [0 o, C' j! ]
$ c# ?. w3 ]& ]" j* `$ K9 M- I 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
7 e! G: P- O' i* X. S6 D. V4 t% G2 i9 D/ n0 v4 t. m6 l
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。3 O+ g* V/ g1 h; W+ q: U+ s
% G+ G5 E: N4 V0 N" \$ l' S0 f 若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
' G6 d/ Z) v$ f
' e$ J! H+ @* i3 E9 R$ Z: B 1. 最小化代码量:减少总代码行数。
o& d! e2 J5 C G$ D! M4 o E( t9 h* ]( C2 R
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
3 W5 l0 f, B+ t* M5 W& i5 E0 d0 F4 B& u8 _" t# Y" l7 V. w
3. 确保可验证性:所有场景的片段均可根据根验证。* V/ x, [( f3 e! G' N8 }, y7 G
, f' q2 R$ f1 Z& Z% Y 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。: f! ~( w0 c3 y% @/ ]" J
+ B* _/ @. L- t( ~, M( s4 Y 统一序列化格式
: z4 J, H6 E$ X( ^3 Y# i- K6 A1 a! i) S1 q/ d! B( Z
: O$ @& H0 {# t8 ` z& X
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
. ^$ s! z. ~+ \! B- ]7 X
& @' L x8 q0 s度将因以下原因进一步提高:
& E* R4 a: S8 O. M9 c+ s# a
/ z' A' P( c' p1 S; p9 O& o j' _# B 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。, x; f. J6 R* z
# T! p. B) a( s
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
2 P% Y, t- v5 K% N6 F; j! K& W$ U/ a( u# T3 ~
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
( `$ }# ~: S# s9 ^: w3 p& P' X# r- }) i# C$ \- D4 W
我提议使用 SSZ,因为 SSZ:
8 A5 l1 ?4 b2 Z! E1 w# @5 |& v
9 d5 w) r1 X$ Y5 l5 b 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
A3 a3 j9 x) X0 n- N+ f! M5 } R! ?5 o* ?; N+ x
2. 已在共识层广泛使用。
2 \! s% B; \( p1 U _9 N- p/ H, Y3 L# i5 k7 K: X
3. 与现有 ABI 高度相似:工具适配相对简单。0 {) Y/ }' ~& O! o$ O6 A# p: |
& ]+ Z2 r4 U) H x5 k2 w
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
# G [7 l k0 g/ Q* l$ Z4 W# X# S$ L% ?
统一树结构, d. P3 W" u% N g
3 `: j, e4 m2 i, R% d9 r- \1 e
$ h: N% f2 e$ ^ J0 w% U" H
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
* c( m* ~) J1 G
( q: D8 d8 f/ N到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
% H. f! T7 V7 b' F/ e2 p. `: |' I# P% h3 X3 |
迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。$ w0 {6 r% e* d3 o8 S
/ L" r* @ F7 ^( M1 j7 o4 N
从现在到未来
" R' `0 h& w5 e k* d, f! q9 Y }* u* h4 T& M& a
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功3 Z1 U N/ @0 F4 G! e8 r0 H$ j
" p4 @$ N* X1 M4 R& N+ W能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
. g. ?5 X% J) |" u
; a/ F5 [( E- i' K1 ~6 N9 a 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存4 B& ?9 O2 O0 [1 z
0 Y) q2 }# d& g n+ D+ e$ _
在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。% y. H$ J9 l) \! T! C
1 U% j2 t3 n; W
2 ?' F5 a# G0 f! s+ ]6 f
' k! _: ~ _9 a# y0 C3 I8 K |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13646 小时
本月在线: 36 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 1 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 5 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 1 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 134 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 137 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|