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] => 28975
[posts] => 472697
[todayposts] => 70
[yesterdayposts] => 152
[rank] => 2
[oldrank] => 2
[lastpost] => 2787186 德克萨斯州小型贷款机构 Monet 也加入了加密货币银行的行列(转) 1765001446 rainwang
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12610 小时
本月在线: 0 分钟
|
|

( L1 J2 u# G9 l, [& ]2 ^# n1 {$ Q$ Y/ d: E- w$ s2 A3 Q2 i
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V & _ v' w1 H/ W" ]+ u, m0 V
3 O7 h: E! s0 U s% t# S, ^
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
' n1 c) q4 b8 C% w; K0 V' |; e2 J5 h/ W3 R7 p' p$ K- m
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。/ e2 J% a" j2 j, a6 M0 M: h
4 F, C' z. }# v
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉1 O. _: Y& a: D( Y( n6 {- L) P5 G
4 j* p: [/ J( G0 j: I# H. n/ ?
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
% L# y( A( P0 h& I% q% C
H: U+ z) W% `! |$ u1 I o( Z性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
+ w9 P! M& I: R. |- Y1 F9 D6 b0 |* q
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
2 o; i+ f! c& f; b' `9 f
. p1 v |2 w, p" R" d+ I7 b+ n 比特币协议最令人赞叹之处在于其优雅的简洁性:
" J) _7 V& R; D2 ?2 F+ a: ]4 Z8 M2 w# D1 V, k8 y
+ n; G0 x1 s# t! a 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
1 i* b4 [8 J. e) U; u7 k. f- \# c* U5 y3 p2 D
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。% _3 T; `" C) i j) y- X
2 |. `$ X8 C6 b" V
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
( l$ [3 M7 B2 d- t& n* h
, l; [( y0 c$ `4 P! m3 X- ]6 t 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。0 d8 y; P# ^( K# ?' \
' t' B* G, u; E" j( P; L& L {; s
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:0 b# r" u; A Y1 [- Y
/ Y6 `, x& P: j. e, z0 Q 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
' V; r0 w1 W b3 A; q. Z' O. Y( a, l7 k
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。1 t" X" W5 d0 o& }6 U6 R: p7 ~
# T+ T s: G+ y( D1 d/ w
3. 减少维护负担:降低长期协议维护的成本。 R' W5 j4 @) ]9 Q8 H& `2 i
# N% l/ W. m# d$ e4 y) R6 n) P
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。0 `5 A! H- W7 T" T/ i
) u+ k( R4 J7 }0 w6 n. W 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。, Z! Z8 Z0 H' ]/ q) O. k% v
6 F4 C8 w h9 e9 a
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。( q# u/ G$ S8 ~2 H" U
+ Z# g6 ~" F; } `; ~) X+ E; {" Q
本文将探讨五年后的以太坊如何接近比特币的简单性。/ w; e& |* L& p, J A' c
: P; b) C. ^+ |2 {- \
简化共识层
! E& l- K' k9 }) g
: U+ [7 H/ `+ g7 c+ `& p' P
9 N6 u( k7 Z/ _3 F T6 R4 m( k2 O8 g/ E
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
4 w0 \ @( y9 h
, w. t V, c1 o7 j, x s相比现有信标链,新设计显著简化:2 n4 O# x- }5 V3 e
$ h# E) q& S7 B
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
7 W% E7 Q% F7 }% g" Z
! A7 x2 {; w5 I* T4 g约 200 行代码,且相比 Gasper,安全性接近最优。& u4 W4 f- N: [( E5 h$ M* O" c
: @9 c6 D# E" w( t2 O' z! C! l5 _
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。6 a! o \: j6 a2 g _
4 u$ c K7 e2 R7 p 3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
9 Y+ g; F5 I" N/ |* G( M2 D2 I3 m- M' `4 h2 K5 R& b
系统性风险较低。
7 ?3 i5 t* H/ D) o+ R) n3 {7 D% S# _; D2 q# [" s3 I8 w+ w
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
1 H9 n7 e- V* L) b5 x. Y& e" Q/ ~
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。3 [1 l! m$ O" K4 A
2 \8 Q& d' a: i& v( g 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
5 S4 \# F6 l; H! j& y; J! @5 M* v0 d
6 @6 a8 D; u+ `* B! u" t 简化执行层
* G- E: N7 q6 L0 \. \) S A. f' ^5 f; @" @$ G: J
EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译. y! z( `' n3 x/ j* R" Q) I! C
( i. @5 T. `" v0 H0 |8 h9 i! B% N(precompiles)为单一用例优化却鲜被使用。4 U: F4 V! e; o( T; G: u
+ d. @/ T0 ~# x2 I! ^/ J2 W2 j
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显# _5 }7 [- g# L. z. d! c
: @/ w3 @* f2 Q& t5 U6 _1 h6 ^
示出类似挑战。 L& }# f+ g5 L- s# k5 u% F
$ g0 y& b( w* y 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以* q: {2 \' ~: E& n: f+ L6 P
$ ~: k) ~, |$ i7 u% d- O2 G
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或# ]) `5 l2 X; ^9 m
3 a% B4 E: a" B
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
4 G& M1 C# L/ X" `4 A: ]; f F7 R
5 p1 e9 R$ A7 @8 o. d 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。3 F8 w" s# y5 T. V" r2 A7 m
- x U& ]- [1 p' l6 N5 ? 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
9 p$ W/ Y1 P. i) s: l
( [& U C5 g- {" f! F0 R 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。6 J2 W6 f* r& o. d% o
; G& X( }( j2 x' F: Z: Q' _8 f 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。1 b% E% k0 t/ F
6 c) G4 c- M) V- V 5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
j( q5 _$ z4 v
- I: t6 A2 y% Y1 F 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
1 T! M& @" t0 B; g0 C
* V: C$ r4 h y! p; M3 Y: @6 j支持 DUP/SWAP17–32)来缓解这一问题。
) G3 M$ q' e( Q, U, Q b ]: q6 ^6 \. j$ H8 r
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?0 _& x" B% V. n( e+ g
7 P; M' n$ g2 l: ?0 l0 m! T
虚拟机过渡的向后兼容策略. u2 D6 P: q' u, j% V$ o7 b# M I3 P& g
. M# o# o+ h j
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
- s& M% m3 f, K6 A+ r8 h+ ]4 Q3 z. i8 U# |/ t$ R
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
0 j& e. U# q; m# E. w% q2 y' z& w; [; t
2 _5 f' i- e. z. p6 h
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。# V/ d) ~( |0 s
2 B; s1 J8 z3 C' a W/ x 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或$ B' g- f- L" y% b
. h% q) z/ p5 q n: I) `0 y
形式化证明器可完全忽略橙色区域。
5 G% d; y! ^/ r3 H
: `( Q9 p! Q( `% `1 p( j 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们; i! `" Z7 [4 `6 w- e
$ ?8 K! V9 g* ~3 q5 n用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。6 s/ a6 @$ ~# U
& K; {6 Z5 _( b! Q/ [ 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区- P$ N- ?9 W5 Z3 M) O7 W8 o
+ ^+ m$ [& d6 J) A域的代码复杂性远比绿色区域的复杂性危害小。
% v3 h5 ~' q# K* H9 [# ?( p' ~( a$ X
8 X( T2 z. u5 C R% a4 s3 w 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
6 Q+ p; r! b. R; F0 l0 o S, C- x' H$ }/ X' V2 G2 E" G( n1 |# s
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
3 X: _+ \4 x7 m% u" G
# R/ k! h Z& F- ?" A 2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
; N* u/ o0 a3 T1 Z& ?9 j( }7 a' U9 Y2 r5 ~# C" d# i8 ~. t
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码/ k# p- M# H, z s/ ]7 W7 d* ~0 p( a1 \
5 s% {& U3 x. d(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。4 `/ k* X' c5 H: c2 L
. E- J) P3 E; y! V% w3 n
4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。# Q# y6 T, R& ?+ O4 ~0 ~5 p. j
8 o- f, v7 o6 ]; C) k+ N: X
' t7 w$ F6 W! W4 W; [) q) d4 b
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。9 h# g6 ]; b8 s) Z$ w/ R
. }: C. k6 R7 R: ?' |: O) J: r
通过共享协议组件简化: G2 F/ J# L$ ~+ ]4 I. ?; c
! V: L0 G+ ?" R' h
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种+ u8 D# J7 a( @. ^. i) k1 O+ a( s
. Y( y1 q. C0 W+ ]- O
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
' e$ `, R" y2 o/ p. b* y
1 g$ t5 }! [. c" v- |6 K+ ` 统一纠删码% r6 ]( H4 x5 u5 B, ]$ p
* z* P9 S* Y6 r: D% o& j% O- x( t! e: \1 C8 h' X5 W/ v6 W& T! n5 X$ e
我们在三个场景中需要纠删码:
6 o% e' q' ]2 D" R M0 R; Z) I8 X% G, n
1. 数据可用性采样:客户端验证区块已发布。& b- h* [: i% P( c4 z
1 M' k& \6 }: q; i4 D 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。 x! l6 R/ i8 V- F1 G
2 ~2 _* g! c2 u; P/ G ?8 g
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。9 u' Z9 Y: Q0 |* c( ~. i' x
c, z( {! g# n4 E+ o4 y 若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:4 t; ^% V& [& s8 t
C/ i# L/ Z( A: X- V# W" L 1. 最小化代码量:减少总代码行数。
0 G# E' G, s" c8 N% a& F( p2 o6 z. H) d
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
U; u" m( E3 r5 p. F' O" |. E( i4 N) i, g* E" I5 c5 t# f
3. 确保可验证性:所有场景的片段均可根据根验证。
9 m1 Y1 o( y# ^) N9 C
! w* v. j5 D& g2 } 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。) C# J) l p6 C" ]# ?* E. C
. ?4 O+ `1 K" ?; c
统一序列化格式
8 }1 M+ u, x7 }7 C2 x( H# i! a' a( d
# J, l4 m; ~( K# U) B3 Y7 Z$ ]/ B, C/ V 以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
! E( a8 t e$ w
# x7 D$ p. K2 C4 ?* H度将因以下原因进一步提高:
_$ D/ P4 I- A$ }" |9 I
. r `3 R( y) c* R 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
: x$ v: O) j7 \7 E5 f' r8 [4 l1 R8 ^! j# c
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。6 ~0 v& O+ W* ~0 ]
- j) G5 A: {* Y/ W% }! Q y6 J 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
M+ n1 E7 i1 |# Y: \" x0 D
) X( o' M+ N7 P4 V2 Y0 L5 P% w 我提议使用 SSZ,因为 SSZ:4 @& V A! Z5 I
, l+ M% T$ [/ y) z% b3 P
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。7 ~) f- L' N- J" R6 w. \
1 i A3 W0 e! ]$ x, G6 V+ ^
2. 已在共识层广泛使用。
- X: q+ U A- `# M y( B# W5 E( I9 h3 [9 A9 f$ Q' u8 @$ ?
3. 与现有 ABI 高度相似:工具适配相对简单。- c+ h$ {' `1 T4 x# ^5 C0 ^/ F
* h$ L5 f, `* a4 Q$ \+ ~( e 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。 N) E( q/ d- N
- c. F: J# ?; v% O 统一树结构
- l; e& D2 N4 w/ P
( x, Z0 n& v# x% }+ ~ q' w8 d% q7 u1 R) d* y
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
6 m |; F) N. \
4 Z1 f' q4 J$ |1 ?4 b. n到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
0 m6 w6 T( C3 I' [. O& ?
4 ^/ {9 Z9 s5 ^ 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
, i6 j k0 n3 O9 N6 U4 P" {, s) M) }; {; x/ [, P9 J9 A- e* Y
从现在到未来9 h- i4 p- u: y; }: J
: ~; L* y1 d: q- |1 |+ a 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功- c$ w! H/ N0 B/ F3 P
( p0 E P/ i3 t6 b" a
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
2 J+ K& y3 ^: N# d( X) e
& H' I( F U' ~5 c' i! j8 X 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存+ I2 f) R$ ^! O9 r# s) C, }$ E
. w! A6 p0 Y7 O3 _1 {在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。4 o& J; l% M. l; k9 Y
1 h( ~+ j9 ^1 A: @
8 Q- {; Z( ~, b+ l3 l
' ]9 h0 R3 e% S7 Y- b6 t; p
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13560 小时
本月在线: 11 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 1 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 5 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 134 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 137 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|