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] => 29971
[posts] => 486943
[todayposts] => 193
[yesterdayposts] => 220
[rank] => 2
[oldrank] => 2
[lastpost] => 2813057 EasyMarkets易信:比特币ETF现连续流入信号(转) 1773126502 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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12615 小时
本月在线: 15 分钟
|
|
4 o" T" O2 |9 [- G, l) K' Z! _
. E6 l. p i) `0 X4 x
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V $ D) l: B3 y$ C- F# f: R
; L) _) V& u2 ~, U7 w或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结3 _* e& n. `: s0 h# \
2 U4 N% H6 s, [% f2 J
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。# b6 E- }2 C3 Y3 j7 |' y2 z
& i+ ~) d2 p4 B; {7 p& u( d 以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
+ Y! G4 F# W2 l) L# a0 V
7 b5 c; Y9 o& I+ C$ Q/ ^, i: q计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样3 I: [( h# ?4 s* S: [4 L0 o; C: s
5 [4 I4 _" `/ @, s! v- o/ O. |性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。: E* G. @8 @/ P
6 _- l8 A6 o# R7 \6 s
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
. b9 G4 s5 V# ?1 q% H
8 x" N; J1 m6 m- R 比特币协议最令人赞叹之处在于其优雅的简洁性:1 \; Q3 p! l- n3 l
( F: T D+ k+ {0 Z% O# `, n# J' {/ V" k5 B7 Q& i
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。' J7 R+ S! l, p* X+ \
9 V, }" S' Z# h, E2 [6 v* F6 R
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
! m9 ]' `9 a: { ^& E( b8 |9 l6 h& R, C" ^1 m ?. W% d' n7 R' @
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。2 o0 ]' t5 X4 P" o/ Y$ T6 v
8 }/ x1 q; k& t; ~: @8 O8 u 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。5 U1 R8 T6 N5 K2 P
1 x' a: ]9 Q+ N# N6 s, |
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
/ Z' t* R2 q1 |, p9 i1 g3 H/ ?0 R$ g& a8 z0 K4 O
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
, S, V( |8 G D8 X, b, O) j8 k1 L. p; x
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。9 x& b1 z' s9 r& z/ g& {) v9 P1 x
" b' k8 k1 s$ i
3. 减少维护负担:降低长期协议维护的成本。
0 A3 z* d3 S& }& J/ _+ y4 T+ Z! p5 I K, A$ I7 A
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。+ g E9 S% }* w0 [: D/ S! y
* U, b3 S- q; T! p 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。3 Z% p- a/ n+ Y6 y3 [
% @0 [3 ^; V- v8 l, I4 d0 D+ B4 X 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。5 r# H) n' D2 Q
+ V9 |6 R! R0 \2 B本文将探讨五年后的以太坊如何接近比特币的简单性。* M5 v# d# b" P- i
2 z( i3 k: d5 q! r" B- k2 S 简化共识层
* K4 H8 P1 ^6 y; z4 G1 T2 ]3 H# A7 g Q; D# K9 Z* e' o$ m1 B1 e+ V( `

b5 O1 d; g. ~( ^! ?3 G) e7 G' M+ `6 B. j% B: Z
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。" L3 ^1 @' @3 F- n4 T v
% i6 F1 J/ }3 D4 k
相比现有信标链,新设计显著简化:# c) N+ h7 S8 R7 x J2 k" I: Z
) s1 m/ T$ B$ Q) M 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需1 E1 N5 d. \: g
9 w3 N; h6 D! a$ S6 T$ w0 z) {约 200 行代码,且相比 Gasper,安全性接近最优。
1 ]* ?' K- m, g1 X* \# w3 J4 x
0 S+ s) {. G) g4 i- ^3 q, k6 k 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。- @' O3 S% w ~- j Q
! i2 `1 e$ e+ l1 U: C
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
5 o5 d+ A* h3 J, e( [$ _% H9 e8 S) \- H( @& I0 j
系统性风险较低。) J% D7 d# W8 f( ~' ?
X* }5 @+ k' B5 o6 E& z 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。' }% ~+ _7 V$ K4 C+ i
, S% H7 G; l1 K# ^( @2 w2 l. @ 5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
# Y( A% i( r$ ]) P! `# F
4 w8 b; a5 L; a& A 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
; H1 M7 O# M |! M. E$ R: l4 _& p4 ~
9 o) {9 e" ^$ A& Z 简化执行层
- Q7 t( C) w+ P- R( d8 q$ j; _. y4 r6 o* i. B9 M$ V7 O
EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
8 P2 j$ u' O4 r" ] t! h3 e, I$ l/ x: z! e$ G2 w5 [
(precompiles)为单一用例优化却鲜被使用。
- [( R& B) |+ u7 c" k7 W" w/ m0 g+ ^9 H/ j' a# ~( x" B
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显( k' p2 b# _) Q3 F' d3 ~
/ h8 Y9 E* W; U% x3 l+ Z; C
示出类似挑战。0 P$ a5 {6 _( G& {
2 p( `0 E! P; z" k6 |- N
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以+ j! g7 r/ {( C' D7 A! A6 D! \
8 `! G% Y2 q! {% s/ ^; r
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
5 A, }9 }1 }7 G! B! M4 @' t% H" [3 x k3 U% b# R; d+ f' ^1 D: v, i
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
" r+ a( b' ~" @2 |8 F) {, [; r1 ?1 y# {/ M
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
' M3 ~$ {6 ?: \" K0 ^! `: y* O! _+ }5 f8 ~- u. t1 z( {
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
) l" ?7 D: q" V/ h2 K1 |0 ]+ S: z/ Z& t6 M
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
* {* B3 ]/ e. D" d- ~: y
: Y9 c3 W2 [; x8 r 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。: q, k" @) u! b3 o; O* D! q
" \( J) n5 e* `0 X' |$ o+ ]
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
( Z' x6 ^/ d7 G! S/ B% k1 D, Q( @
7 T$ n! L" d8 \7 K 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
' G6 W1 r$ {+ v( V! ]5 w* \9 x+ S2 _& B
支持 DUP/SWAP17–32)来缓解这一问题。
9 C) l6 X" Y/ @5 H/ Q5 h
; o. _/ K# I0 Q3 } 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?& m R, p6 x" C$ Z$ a" s. M
" q# X& A% r+ @" V0 ~) p1 g# D- D
虚拟机过渡的向后兼容策略
/ @9 Q, w8 u; z2 J/ T8 @+ }% \4 l4 j' a: y# L
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
. Q' M' I6 |6 e2 u7 R' A" x! x! ~
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
0 z2 {6 [: U+ }. g9 L7 Y9 t9 l0 @' N* M" Z
& Y8 t9 n) ?: a9 w c 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
( ]2 V0 `3 p5 P- b% F" _
1 W& G+ m0 d" ^4 ~; t 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
1 {" w; P3 w$ Y5 l9 ? T$ n! X
/ [7 X( c, j' K8 I) W s) I形式化证明器可完全忽略橙色区域。
, I9 N$ R$ J8 Y+ J3 f) U# z- a
8 U9 v& }$ y& X 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
8 a Y, I/ a$ g! Q
2 ^0 Q$ }8 G6 ]: G9 k |用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
$ A/ k9 o3 K+ H/ i5 b/ h
) I! h2 J* Q& ~( c1 Q0 S 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
& A6 R. q: L, V" V# B, e) C8 P) h9 H+ n3 w2 {8 s5 J
域的代码复杂性远比绿色区域的复杂性危害小。2 c- d8 }1 j; M A: j1 q
$ k& B; _, B- N 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
; x- I% b: T; s/ o, l! i* o& F- p$ l
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。% B# @" u' N6 m3 x2 p
$ j/ Z. s- g: i- Z4 l' {/ W
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
* @# o. ]0 [4 E. ]
* f! v+ w- k- U+ h! B% l# P 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码7 `+ {+ d. y# @! O
2 V }: h& U0 g: L7 ?9 \" R
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
7 d: r7 ]. s' j0 W+ a
" X( _# S* m# f" {7 t5 b6 U 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。, I6 [4 m6 _8 x9 O/ H
( X i/ I; n/ q/ m( `
9 V1 a, n+ E0 j3 O; w
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。) w, O2 I5 |2 M- h
, Y9 b4 F( ]: }% f3 M. v9 D( P
通过共享协议组件简化2 ?- P2 f% B% y; V% G" e
( P8 I. {% ]9 J3 [8 ~4 K 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种
! J4 c. }9 C* ? w: r5 X/ z! {5 O$ G# b$ _
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
2 Z9 m( X: I4 t. G, R4 R7 t5 ?0 L2 u6 O ] b
统一纠删码
0 m0 D3 R" u' }+ A4 J, A8 N
2 ` T+ I* G+ `* s- C& ~$ x% Y5 C4 p* v2 m
我们在三个场景中需要纠删码:
: P: j5 M# P9 Y" \; r! F* n$ X$ Q
1. 数据可用性采样:客户端验证区块已发布。
) \7 [& D" @& \' R& y0 o6 s6 j1 v+ N
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
0 A+ S% h8 l! k _. H/ X
5 _7 p$ J" J9 e$ t, z& J 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。
" x% e# g4 F2 x
J8 A* [8 I* D1 \2 K* { 若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:' N# q' ]6 Y" y6 c% [
0 {' S0 [6 i: F5 f9 ]: P
1. 最小化代码量:减少总代码行数。. D9 Q- z8 g) K. ~& a% \' X
) p* `+ z# k, K, p
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
_' s7 J5 J; U1 z* N
9 U! ?* ?# o5 ]. r6 a0 ]5 e 3. 确保可验证性:所有场景的片段均可根据根验证。1 K) u- d4 ]& K# e4 b+ ~( d
; k4 |! j% `: p' V 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
5 [! _8 D7 B( i: r" [, p1 Z5 N+ H* R' a1 ` Z+ q
统一序列化格式
4 J" s# p* w6 b+ ~+ [0 a3 |7 V- W, y3 O3 x+ |) r i5 Q
0 b$ m0 _, K( l( f8 T5 ~* u
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
( q9 O0 c b. o8 ^) A# Y2 S3 g
+ N w! K! Z3 q5 E! B度将因以下原因进一步提高:
0 V1 a* T' J5 T6 B3 S5 ^- i* k( J! i. e6 T: Q
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
4 P/ z# R @# @& Y- X1 t7 i3 u# a8 {: A
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。9 D! J. x; k a) g
/ r" W. q- t3 T
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。: e' f2 N4 L. J& P% ^( d ^. @# {
( i( y( j- J0 Q4 U- C/ H- @ 我提议使用 SSZ,因为 SSZ:- p$ ~/ W" U: |) u( X: N) Q: j5 z! A' V
; k% O2 w4 L5 m0 P( V 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。' J9 C6 D" _- ^; W
6 G! |9 H+ i' X. ~ 2. 已在共识层广泛使用。2 i5 t& c8 F+ w
$ Z( b( D7 v/ Q5 B6 k
3. 与现有 ABI 高度相似:工具适配相对简单。
0 h/ u) u# |/ s. C% X+ I. f: u1 Q; s# y- B5 ^7 P8 n" h' O5 A' v
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
: L# L/ n: g2 H- u( F" p9 J
7 {$ u. S7 w. B# Z( C4 U% @ 统一树结构
' _2 c: F1 e2 H4 V N! S: `# p$ Q( \* h
9 \8 q+ k6 I4 w$ q
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
8 Q: r4 D! Y. j5 Z: j
/ x# C6 E& q! y* ^6 p ^* G: ?" ~到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
5 `0 N8 J8 y; X* h$ y9 a9 j1 k
' t7 y! ~% j9 `) }: a 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。2 R$ R. U/ J* M- g4 o
3 G2 X. @, s* R7 r5 k/ S; t3 I* q% |
从现在到未来( A$ i0 M l' B( ]; p7 D
2 \6 u+ D$ Y3 _, P1 V. N9 M
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功$ `# \& l4 G8 O/ P' O! d
% O; @: x. k: L9 ]) h能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
$ n6 B& q) m- \& Y$ S. J
) C5 [6 q) J! U F+ @( E* D 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存# I) x8 Q$ h9 M% g f6 p4 R1 ~
5 m/ a7 D0 G% W8 K
在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。0 |! e) V" t/ z$ k+ y; b
, G9 J. T' j% R
: K W: A8 }2 _: {. O: v9 }
6 [3 ~( t$ {. c5 Z |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13747 小时
本月在线: 18 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|