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] => 29613
[posts] => 481981
[todayposts] => 59
[yesterdayposts] => 132
[rank] => 2
[oldrank] => 2
[lastpost] => 2805821 CZ新专访(转) 1770828926 垂钓园
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12614 小时
本月在线: 45 分钟
|
|
8 k1 }4 l% k- Y+ T- y
& x0 J* N0 s5 `. O! X
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
$ d5 Z7 f8 ^: N6 s4 O6 W, J# h1 @/ T: o) L P, l! F/ V1 |% Y
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结 f; t4 ~- l; o1 e, P8 `5 g
& y- Z, k* R( H% j/ n
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。, q, M/ b' Z1 f3 |4 I7 [0 e6 ]
; e6 P$ e+ ^. C+ C$ z1 ` 以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉$ l) b& t% Q- }/ p0 f4 X% h
& U2 _4 ?+ ~/ e/ L0 G计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样# g, S( P( d/ Q2 y2 h$ u5 ?; u
1 t0 M1 D- e7 ]. ]; |( l性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
) y, p. v; Q2 y3 ~2 M0 ]3 L4 h! H; c; h, R
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
0 Q% H" a! u' q) ^! i3 Z' \- e9 c* Y4 A/ l
比特币协议最令人赞叹之处在于其优雅的简洁性:% J+ r2 I3 H" o7 E0 w) [
" B0 H& {! Q! k0 |- W$ S, c+ j: [
* L$ h6 V; J$ _' z3 a 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
! `% r1 L1 q) W+ a, C2 a m# x0 Z x' W, x+ }3 q6 c# w; W! a
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。! G3 x3 ?7 L+ O$ H u7 o8 T7 O7 V
: I5 P" }3 \0 ^. t 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。9 L' ~4 e9 R% N. t* o
5 p- ?9 M3 V9 j8 W. d( m; D
仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。: ?: n$ o9 v5 ]* i" T- m7 y
+ k3 q7 \5 s9 i" j& { F7 F5 Z 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
. Z m; O- o3 k/ A3 m9 r0 z! `( T& A" L
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
0 x: s9 R# T1 `7 M3 l* m# {+ X O4 D( x3 B
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
% r! {2 g9 K! O+ ]2 J! H: L. {
3 ]( r3 Y& `" B- X7 z 3. 减少维护负担:降低长期协议维护的成本。, f" b& w$ [( l# _6 q) W1 I8 W
" Y/ n9 D% k4 O! Q/ R, K; m/ g
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。. s0 t8 u7 M5 p) s" u& }
( K5 s$ k3 \9 t9 w7 T 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。' I" L# P1 \0 u9 M, W6 E, M. S
$ X6 z, [7 J* ~3 y8 ] 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
8 h: L! v$ P/ C3 [' L( W, N; {$ n: X$ ^9 a
本文将探讨五年后的以太坊如何接近比特币的简单性。1 r" o/ m' D, L+ D% z0 c+ j
3 {: {- P9 D$ Q. G- z
简化共识层
: T3 t- S' Y/ _1 `. \
3 _9 Q; [ z7 A( T. u' M/ O4 [
' Z' x8 O3 _3 C; J; e' H$ O+ b; ^' x: M; o& n: ~2 a
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。: ?5 d* `4 O+ ^* S# T$ H+ u
P; G, W% e9 P; J, v9 p2 T
相比现有信标链,新设计显著简化:
' C2 L. E& _, q! q2 ?$ B y% r2 n2 r/ s: w7 ?( _
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需* E( r9 \3 n3 o8 x
i+ `$ A- ^$ j9 i约 200 行代码,且相比 Gasper,安全性接近最优。, I0 \, g' c6 l; R
/ a/ b$ n: C. i, }4 Z 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。% |' k& Y0 K7 F' b, y7 a
3 d/ @; r# E. r4 G! Y' \' Q8 J
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,4 s: v+ T# q) n, k( C9 t5 U
2 r8 v E9 Q; N2 o9 Z- f系统性风险较低。
( k$ B# f1 M' ?5 j0 t6 ]" D3 n p
2 ?5 I0 T: N% ], Z 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
3 D2 b& ~5 l$ t& F: M; w2 x+ F; R( e0 x7 V5 I8 `6 a) e
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。- z# z/ i b' }9 x; S( R! _
) {! d9 J/ f. H3 g 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
+ Y, H: i, J; M& X7 a" {- E& d" B" R! u d# Z: W3 M# K
简化执行层) b+ ]$ ?- P$ q% j G* l/ b
7 `! _. h2 b; ]/ K6 W; f0 w | EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
3 ` \& l9 c1 O+ S, [8 Z& r: I" t9 Y# T
(precompiles)为单一用例优化却鲜被使用。
4 ]6 {8 D" v) n6 W( S. W' E; X: ]6 k6 \' ?% N
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显# \, w0 K& M. y9 |: w
( u7 }' B8 n' Y4 i. p5 `; T
示出类似挑战。5 X; E6 J0 W7 @* w" |, U
- P7 f; B" V ` Z5 j 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
7 f7 n# U: q% m8 g7 t+ C/ Y: z6 e& N" D, c6 f- l2 T1 m
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
5 v* x, @( h3 W3 L0 {, Z, Q. {. F# ]9 S$ Q1 ^
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
5 K) o! m1 W$ M& Q* R
& O3 ?3 l3 }3 z% L/ q9 g 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
/ q3 `) c/ s9 z) ]2 N! h- M9 ]4 E! R2 ~% o
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
) I) E' c9 ^4 r) ?
" w2 C& |4 x1 {/ u2 C/ t) p 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
4 t9 l9 o$ R6 F& a/ H( k. L7 Q. ~4 A9 r% @( f$ r' T
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。: K5 u# d7 M( w) g0 ^1 `
9 ~" ]1 d! R5 I# W2 b9 Z' @
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。- n7 _% l+ @8 P4 `
* I! x1 s& r1 N0 c. a
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
& m+ I0 P. @1 u( G3 W+ N8 E! P1 A5 `2 ^
支持 DUP/SWAP17–32)来缓解这一问题。5 J8 e. ^% B5 w/ ] ]2 t
% M; q V( P' A% \; |4 u4 f 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
) s5 ^( j% `* S
. H8 w+ L0 ]* C- A! q. W 虚拟机过渡的向后兼容策略 m8 M' u, R6 F% b
- k' ?# `2 B, h, D8 T 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
! F$ P. h$ I8 s, }0 _3 i% [+ \! D: u+ D7 v6 l. c
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
5 p s. Q, C# c, c: K3 {) n( p, m" a" X4 d
2 \2 B3 F B0 o
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。( i5 S* f Z, @
! @; O/ z x4 o$ R5 k3 M
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或2 T; N# h0 _% p I; q3 i
1 C! A$ M+ [' ^
形式化证明器可完全忽略橙色区域。
; V' _) R! h0 P" U, F8 N% T7 n* k3 g+ |% s& K0 B; [
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们8 z9 \/ _* T' L2 E$ {2 ]
9 J0 [2 [$ d. T9 A+ i
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。+ k1 S5 V, o9 m+ N4 l. t
4 g3 ^# q: L1 U9 Z: } 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
. g4 u+ B2 i: Q' ?. ?4 {4 b- t6 a4 h* \# ~
域的代码复杂性远比绿色区域的复杂性危害小。
: S% Q) ?$ ?. G. N+ i$ e
1 K6 O; y: Z( M% E6 {" Q# y 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
2 i+ P( b& e% k5 b" u( C
4 h" {( y6 J+ [ 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
d- @- v6 z0 t; l0 L# o% e" N R. z9 A5 X3 g+ O2 h
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。8 f8 r# Z1 h4 @# n$ i
5 q; R$ v/ t5 \% C$ y
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
" @; a( s7 g$ L- B9 ]# N: J
/ J* Q& G$ a9 D/ M6 [5 u(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。3 \/ o1 j8 v7 @8 H/ y
6 H) n" {+ S) R' v) n4 f 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。1 e4 }" _/ F9 F9 R Z2 z
* J! ?+ J5 x6 g# u+ i6 n* Z
2 S+ ]+ @* [/ X2 D0 K: J, Q
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。
- L" j; [% U, r! r1 k5 z2 X0 a; y) R/ x# r/ o0 w" ^4 ~
通过共享协议组件简化9 |: H+ d. ]. m! |% \" o% K \
( H5 o$ u- ^. ~6 M 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种 e. ~0 }5 q8 }6 V
1 D6 z% Z0 b% t6 I ^* T& J- |模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。! F( [9 W' w% B5 F6 X; P( |/ ?5 ^
& b$ T8 \' t! [8 O! z
统一纠删码; y6 M8 Y6 b. y
$ [% g; O5 ~+ c" X3 \- W1 M( q
! `2 R2 V) r/ ]! U, [9 _9 f' V
我们在三个场景中需要纠删码:
$ d( }% b( j# H4 G* F* w1 l8 I1 [2 L k
1. 数据可用性采样:客户端验证区块已发布。& z0 l, Y$ V& R
( ]1 I5 V8 h7 ]; f6 b' o7 i, O- N 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。9 M- t" i% _/ s0 \* b
0 @5 a0 x$ f. @$ v# Y8 J
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。7 P8 h8 ?* z! w3 t5 y
% T/ X# l& r. e9 p
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
3 \& o0 ^0 |! M8 @5 J9 G9 N( z& X+ x. Y
1. 最小化代码量:减少总代码行数。
3 C6 A" {( Y" s; @# _0 X9 \
J: V; J4 o7 r& R# ] 2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。 o/ p7 i& L- Z- I
2 [- M% V) X' G" D! v
3. 确保可验证性:所有场景的片段均可根据根验证。
% D$ S! i6 v! P# z: h$ A' u: Z
3 H# I+ ^% O4 v0 P: m2 r3 X 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。4 Q/ W1 @) G; m5 E, ~
7 v/ S3 O( w: w& e3 e
统一序列化格式
# B6 b+ w* i% N( N2 K9 Z# I& R
! E; E5 c% I8 G! Y2 A2 K! N1 e" {/ f+ q1 N" T& N& @0 Z* V/ M
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
- Z! S2 }3 I* N! e6 ^9 A# t! ~$ v& h) ]* c- K& g
度将因以下原因进一步提高:6 f7 M& ]8 l/ p
: w$ l$ j: Y6 Z7 r3 m& S" U. B" U: h
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。8 A+ @8 q* r+ D6 ?7 [- A5 T
; o$ m+ K, R: D* ]1 o+ U/ D 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。: `+ I& |" ^- C# W1 M; c
; }; D* ?. R4 ]! y! z5 W% \ 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
3 c& U% w& q W: l/ v) c/ h4 I" S* x$ T6 s4 ?, z4 g
我提议使用 SSZ,因为 SSZ:% d: @, [& R2 M( Z& ] ?* L
0 _) P% \+ L" a- i$ M1 u 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
2 ?5 M1 O% L: V; b' u4 m- [$ J, a( x4 B6 B- C4 D0 t* o
2. 已在共识层广泛使用。
P3 C1 @0 ]: j+ e
. Y0 c, E- e( v2 z3 x! M 3. 与现有 ABI 高度相似:工具适配相对简单。$ |) Y$ A- O; m7 W8 y
! v7 G! d4 Y, f$ n* N1 S
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
/ |" E" M, C; R. {
" L! g: ^1 d8 } 统一树结构
4 o# p8 y" ~% F8 `3 v
: L7 e8 T% x7 }0 [9 _' r; N4 h( P5 v
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
4 r/ r0 l# @ O7 l( f! B9 c. o5 n1 ~
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
6 D' N# C- {4 V# j" f# ?# q
7 f( F5 T5 _' ]/ h 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。! m& ~1 {$ Q. m- e4 L
- p2 d8 W9 Z! @* C# {5 b
从现在到未来( K" G6 v5 r( L5 y
6 v# d. g0 M, Z6 B5 B 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
# Q! j& r% f5 R+ l/ R- p6 S
# m2 c# b5 O; e! A1 u, {3 x能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
' N2 d3 [5 h, m! n8 G6 D
9 i8 _/ j( A! c$ t- D 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存
0 d% @! H6 \5 H: b. q$ A' f! D5 d' k; L5 c4 v4 `6 a6 ]6 Z
在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。
2 b8 }$ f5 d% S6 j2 E) `( F3 j9 o" W1 _- N; Z6 |/ T3 T
6 g: Z, m8 V# y' {. j1 b: T
2 y/ x( }; V' e- ] |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13694 小时
本月在线: 20 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|