×
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] => 26646
[posts] => 417795
[todayposts] => 6
[yesterdayposts] => 340
[rank] => 2
[oldrank] => 2
[lastpost] => 2751015 才刚欢呼完比特币冲上天,下一秒又说它要掉下来!信清崎?信分析师?还是信自己? 1753546944 天策-瑶娥
[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 小时
本月在线: 8 小时
|
|

# J6 \. z P( @. s7 c, l; `9 t2 M# n" t3 _$ U2 C0 a
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
& p/ k) C( @' z( m
5 V! ]; k. ~8 c* D- W! ?5 _或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
& f( \( _6 ]! C" y: L, G3 d% w8 d, ~+ }7 K: O9 [9 g' }
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。9 r* a0 s2 w9 [* I
6 q- g# r; _5 h% Y* R
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
- D, k9 k. M1 e7 @1 b* Z q6 k) y( m/ o# U/ f U
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样" p' H3 f- ~, a0 |" p* v
- A: Q+ W: i& n) Z1 d
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。 Q3 J* P5 ?$ x! w2 a# D
Z8 D" T9 \ n 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。8 _" h& L8 S7 J# ^
9 Q0 z! c0 n8 i* u* o% \" x4 O
比特币协议最令人赞叹之处在于其优雅的简洁性:# v4 F# C! J) y8 V( F
& R: n) i5 A5 Y% f
- y1 j" J/ Z8 x# _3 h% _
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
/ u4 |+ q, u) f. o0 f! ^7 s' D
9 W% j8 ?3 k( _5 G# N+ S- D 2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
# o4 g* H/ y6 M# u
) h1 @8 O+ E* [2 c; H2 o+ q, b 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
g* U' I/ @0 W: f, y
8 z, l4 p" j9 G" x4 O 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
- X9 L+ m+ \& k4 Z' ?2 `/ M6 B$ o" m0 S' f' i
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
* D. A8 G& y7 C8 b1 O$ m F
. m0 ~- i* t6 Q# @) U( I 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
! [( ^( U3 H. [" w+ J6 z
. y5 d3 r" X5 U+ X( o& ? 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
8 ?( ~, @. B9 P7 G% R, N9 a+ f/ l
3. 减少维护负担:降低长期协议维护的成本。
3 _; m- S/ R C2 a$ ? t) D& J' k- L+ S! \2 W* X) {
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。
6 Y4 p' {: n) r! k5 o. J* F% o0 ^! m1 b4 j1 h
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
2 G, d" W# d) Y& l, w/ L& A1 }4 z$ b; J8 C( @( y: m. W) P" D: J
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
& b) D0 n- Y- ]2 V- Z; Z; O4 c8 N
& k7 P+ f; h8 z+ Z0 Z本文将探讨五年后的以太坊如何接近比特币的简单性。
( L! K, ?$ T, w. |+ H+ L. v- `* I8 K1 z6 z; V
简化共识层
4 B" i/ L2 M# C h& S
7 b2 h$ i0 J7 d % j9 y: c- P3 G- `
3 U. b7 w9 Q5 e$ w: w3 ^ S6 I( D. F
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
/ X8 Z+ ~8 T. n4 D" ]" K5 s- w8 U/ I% S; j, h% q( J% {
相比现有信标链,新设计显著简化:0 B! Q1 P8 o3 G; \7 i8 Y: d( G
! C6 s/ m7 v/ r
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需' Y1 l4 ~+ \% k) x, I' r
- f0 } z( M) N. [" d0 t约 200 行代码,且相比 Gasper,安全性接近最优。# a0 d" q7 q. Y) l. d8 q; \ L
& U$ `% F5 E2 o+ f8 z2 F 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。
+ }: x- ^* {( R& h7 l0 `; x6 G
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
; j4 _. @ T" p- f+ c, L: g- U8 J5 K2 |2 V
系统性风险较低。
2 t9 o# U, e7 q8 a5 n
0 L. G$ T- ]* e9 b) Q" W 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。; O4 N6 c% ~; K! G6 F. Q3 V
* P# z8 K+ i8 e7 |8 u2 u 5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
& v2 b3 j5 R9 ^& ]+ c( N1 U: ?0 _. V/ z& D' ?$ r% g3 G+ O
共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
5 F! r4 k, M/ Z' A, r, s* Z( r
2 b9 t- U: F! }, J9 ?; S 简化执行层
|# h/ b: P5 R9 _; D! H ?
; W1 P4 J0 {* a0 o: r _ EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
% J; q% x* H3 c/ r; u/ D- E) b U2 ?% W x" [$ p
(precompiles)为单一用例优化却鲜被使用。
, e: ?# \( j, X1 @5 {/ ]3 x. r5 S: W) h% z: L
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显
5 p" ~- g, k3 |, _' f D1 T1 n( X+ F, ~' Z7 `7 z+ p, G( u* j
示出类似挑战。
9 n( v% H% i& p8 a! D' G2 `, z8 [! U H
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
/ c' C6 C) Q# u
) N* P4 a( D; U实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或) i& N6 s3 O# W0 R6 p, F& x
* [6 ]. C' g. k- E* K以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
0 g# j% \# l! E. X; g1 W. f9 O0 \9 \! D
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。2 t A( f' Y7 f( l+ a* j
9 V% k! z( N5 B! P( A: c/ T 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
* X: ?4 Q* `+ G8 ~: g: g2 ^7 D! E' N# Q Y
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。) O9 b/ i$ S2 F4 e5 }
6 r) X9 J1 J8 [8 v+ h) M
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。% V, e) ~! I+ H! V, [
6 t$ i! a( a/ R5 ]4 j3 _: z1 T
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
5 M' t( [- p& ~" J- \: U% Z4 V: G. j5 ?0 ?
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
: S# s8 K) A$ P2 G' t& u* N" [" _& ~' P5 w. F# w
支持 DUP/SWAP17–32)来缓解这一问题。# Z0 K5 N/ q9 ? Z4 m
7 P/ w& B6 e4 O0 r
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?* k- p) z, a$ v7 V" t
3 g g+ @% E# J
虚拟机过渡的向后兼容策略
! n1 o) Y7 m. \$ G; t+ @7 F+ D
& y2 X1 ^3 p$ {& B 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
9 @' w3 S6 T6 I ?2 u+ _; F
1 j8 _- \* j8 f$ Z; b9 T 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。' n( w9 W& @, ]8 u% l/ ^2 U& x. Y; z
: W2 ^4 X$ J! H/ F1 r( a$ B
@0 Y s- F# s7 M1 G, ] 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
5 |+ d& u, x/ B' A8 x# m2 { M8 W5 `! r/ U x
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或7 X8 V+ n; ^ o, T! \; H; p
8 E A. s# d/ \1 O; g; K, b形式化证明器可完全忽略橙色区域。. B: [+ F* U4 h% a8 E& E0 x
; h, u+ Q; l+ f, [' v/ t. m" E0 N
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们5 u; B$ L" R0 \
6 x5 H7 M/ z$ j# A) E3 A; G/ D/ @用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
& I4 a' Z) U9 r2 w, T2 I3 S) B6 J0 q, U) C( F$ {" r
橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区0 x' y ~, X% R
+ C, i; U9 @6 `0 ?9 x7 }( W' a域的代码复杂性远比绿色区域的复杂性危害小。3 H' b0 G+ h N
/ M' B; b& y% E
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
2 a. A! n" W7 u [) t8 ^0 _+ c4 N* J! A$ g6 ^/ y3 Q Y! L
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。' t! ^$ @1 x' v- _5 Q7 U* [5 Q9 ^; p
2 z; h- t/ d- f7 Q* H1 Z
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
5 J) R @: A' p" k6 @% `/ x) b/ C4 w9 k
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
+ Y% q, _, L. ~
% ^/ E5 [2 V$ C5 d! r(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。8 Y+ x1 [8 G+ u6 P T% N
; V# A4 }3 F3 m 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。, m# t% T4 {- c( J) u! ~
5 c, G; P7 y9 C# `# |0 H
) ^" u; V) ~3 b& ]0 ~3 s& v: N
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。
* r, j9 M# F6 i- _1 K' R- a& O" k/ v. ?$ v, U
通过共享协议组件简化
. p4 f3 T: j/ ^. x' T2 G3 p+ c4 Z7 B6 g# z$ G* f
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种
2 P% e' a4 m1 X, \/ ]' K
8 N/ m8 z8 k; e2 [9 ^' w模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。" Q/ n8 n G% I/ b1 R
9 y9 T4 ^" @( m4 |+ [2 E S5 T 统一纠删码
+ N! u# N3 W5 o% p2 e, C$ k5 e4 F" f0 V. v5 G: q q0 e7 l, @3 y
) P: q e- d1 Q: v( ? 我们在三个场景中需要纠删码:7 w6 I a2 o% n' ^/ _- {7 }
0 M2 }$ f6 n% U. ?- \2 u 1. 数据可用性采样:客户端验证区块已发布。
. J, I% S0 z0 k1 U: y% g% R- l+ g
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
; E+ q+ H' i7 V: s+ q- _$ v3 `2 K6 P2 y
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。2 \5 B( }! o0 n {6 M
3 Y1 `2 m) a/ a; n8 q
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
0 C& y ` }5 P$ c8 F0 q5 W3 s& @5 z: p
1. 最小化代码量:减少总代码行数。. i% U' \( }& h! }5 K R
4 s0 x0 m6 [' {
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。: D7 J8 H# ~9 m/ {9 p- ~6 K
0 D1 i- O2 s( ]: K% @( R. G/ Q 3. 确保可验证性:所有场景的片段均可根据根验证。6 |, x' U" I" d) A# Y1 T$ \
* H" \) |3 ]4 W* H9 ? 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。1 U0 a3 h, `) U2 I
. e4 l: z* S8 r1 d2 |' {
统一序列化格式
8 ]) _2 X8 w p7 V
{1 k# _: ^0 t" I# f/ e
; M5 y9 }, |, p. j! t, U 以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程+ h# @7 p6 G8 k+ l8 F7 q
' \2 G: g9 y* ^' t* c! M X
度将因以下原因进一步提高:
( P! J& }+ ?( h+ r! e% l
4 ]9 l9 h: ]& h# U 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。2 Y" Y/ O* l6 w& m3 Y
% P3 {0 b$ `' z/ l. r$ c! [2 Y 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。8 E s' ~, G6 O6 x
) A) `' t/ l7 d6 x% p% V3 g7 x" T 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
' T' ]' f+ N& L f r' h" ^/ v+ G# [5 E! E) K- o; p, t
我提议使用 SSZ,因为 SSZ:
" l+ } G5 P) e1 j2 H
5 }0 w' o# M: ]& L0 E. V 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。& V2 Y# S: X: m/ W4 t
' K( T, W& ~/ C% A' ^- N- T* Q 2. 已在共识层广泛使用。
4 e1 q9 e3 y) h9 p
5 o6 V6 s/ J) ^( l& A$ P: G5 g 3. 与现有 ABI 高度相似:工具适配相对简单。
, k4 N4 l+ g2 B8 Y
9 b$ ^0 p, p# p$ }) m7 n5 y 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
" L; U$ @. Z$ ?
, e& m- L, b7 m: y3 C 统一树结构
& c @8 a7 `: C# v7 a! c& R& o/ k. H: g& a1 ?% Z& _
6 j" ]5 q4 q+ Z5 q$ p, t 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移7 d$ q* @0 F+ z: n
. _3 P* P% D5 o* G' ]
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
M& U" F3 X4 m% U; x' B f
7 k) ?% t+ h$ ? t 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
0 q, ~ p1 Q7 T! c; n: B7 S4 p* X \* Q
从现在到未来
! L) D) T# |, }1 V3 U6 ^1 M1 @! }. ]2 b) d" l6 j$ f( ?
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
( l2 |' O* d, U' o2 K$ G0 q- ~! O& K b
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。* h. s9 B4 a$ T6 f4 P! Z1 H
3 C, X, ^; J r' O9 d
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存$ k. c# C$ A. W7 B$ I4 p% `
2 \ f2 _9 i [* T
在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。( H; _; E- O/ `$ \( S7 S" I( z
3 G2 v# O- \- c" T, I. [( e/ f ?7 G' ~6 X( \/ l2 A7 l
$ Y9 e \3 b0 w J, h, ~9 b1 o# a9 h
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13195 小时
本月在线: 84 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 117 小时
本月在线: 5 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|