×
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] => 27372
[posts] => 436617
[todayposts] => 460
[yesterdayposts] => 539
[rank] => 3
[oldrank] => 3
[lastpost] => 2761938 韩国将与多个国家的税务机关共享国内和国际加密资产交易信息(转) 1756800871 Lhrlhrgo
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12599 小时
本月在线: 30 分钟
|
|
! Q. R( l" B, `9 v
' ^( ~2 H/ k; ~: d* a 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
2 s2 g# f; _% o1 L0 J0 D0 r$ O( V5 m! b# Y
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结$ H0 x* F1 R& Q( v
6 k+ t4 _% u% b9 T4 J4 b% V
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
1 L( Z: D) s9 F. Q4 i, V* Q9 t# J p8 i/ y
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉, r+ f1 I/ m5 L6 u- B
8 w* [7 C2 E/ z
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
4 U: j }% g* D, g' r( N& s R& v3 e& c# D0 H E9 X( G U0 p! Y
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
' p& }7 O8 U) c5 `/ F
$ k5 z: N3 a l& ] 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。8 D- k# [8 d+ P" a9 o
4 c% O, S. ?7 r& @2 j' T! _ 比特币协议最令人赞叹之处在于其优雅的简洁性:
0 M- d9 f5 {3 x
6 t6 c0 O0 k# m- I& g
, m7 d3 E3 f$ \( Q 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。* Q; |: ^- H1 G8 u Q
! W# I( ^4 u+ b% H+ w8 B) d
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。. G9 P0 E( W, J1 w! I
. w1 K7 M1 Z% r; ]9 @- C" z 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。9 x1 e7 g5 D! D# y/ f
2 l: @2 k8 E; r( _2 X
仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
8 M: g; F. R1 E* [( ?
2 D- r- F. V- w6 H O; E0 g6 ~ 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:7 V! \9 U3 `* I0 Y5 P" H: w+ e- G
: s1 ~ e& {# K) o! B( O 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。, `( Q* ]5 j G9 ]8 g
- l0 O g$ \& ^+ a 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。/ o; x& m+ I1 A% P
' P- H* g/ O b
3. 减少维护负担:降低长期协议维护的成本。" `# x1 g, [, p1 q
- Y( L3 z4 U+ ?9 f; V5 r
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。
& w% `) r1 P& U. F) a* c. V1 E! E# e3 v% C/ w8 |6 t
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
: M% n: E# B: @1 j. E G! r
5 U4 @# s/ b; M9 g( ~2 E; S 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。0 r, X1 F/ D& q8 w/ {0 p9 k7 n1 G$ n
- D! r4 h* {$ l9 u9 i$ X7 P
本文将探讨五年后的以太坊如何接近比特币的简单性。
/ Z* r; x6 M3 a$ Y- @8 `% y4 r: P3 C
2 D# @! z3 M9 f( S k 简化共识层
( U! P) ^3 {+ \0 ?) X& q
$ V5 t# F [% o w! U : [& R7 v* b8 D4 ]' v: P! O6 L) ^( B
2 O& @$ P! A, L" j: u& @& B
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
8 m' [* g/ H2 b+ I. c4 `
; B! }4 m+ h( |, |3 g( U# R/ l相比现有信标链,新设计显著简化:
3 E4 G% g' W7 ]) X$ J
, y9 L) c; J& H A 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需7 `8 @3 K& }3 W: L/ b
" D) ~* e- C7 M4 b, \+ i& l. a$ l {1 f约 200 行代码,且相比 Gasper,安全性接近最优。9 V/ q; R) o& j6 L; G$ U, l3 U7 c
9 r, D8 c. Z8 w2 |
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。
7 H+ v: F' i! P- j: D8 ]
6 s/ @: o* y6 {, P 3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
* J5 q! g; A; L8 s% J Y& i1 A s$ w. {& i3 c/ Q/ z/ }
系统性风险较低。5 r! Q1 s% @, o w. k8 s
0 ?& {7 D( }' T5 C% w3 E9 H0 [
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
- |" f" i) m9 b6 v' w1 Z# s9 L" n- `7 ?- l& t0 y8 I! h" |# o9 b8 U" X
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
+ o5 s- _7 g2 h4 {
; T4 s6 z' q& z: ?; X! u 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。) O2 x7 T) p$ b
# S, Y4 f* h; c 简化执行层
# p2 q0 \1 q8 P0 O# c' Y
" J4 G" j0 y! k3 F1 c EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
+ E) o+ v+ m, P0 k
; a1 P' y; L: o. i* [+ K9 ~(precompiles)为单一用例优化却鲜被使用。
( V" `( \/ c1 D; G- N% \8 X3 F" r# G+ u. L
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显0 V* I' j) k( e3 _! P. b
9 b0 @/ L* ~, F7 U, P/ ^
示出类似挑战。
! h$ B0 p# j) G4 k, v5 ^5 E! S, o# H- _! L
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以: N" A- p' J% E. g" P
& ?4 M* F% r+ z8 U3 o9 C实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或# r! L- _& A P9 q4 S& H' s( l
% ^5 E) o7 W8 T; J# w
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
/ v& \9 r% ~# q: m' W
# {6 w7 S7 y5 c7 Y2 k( C2 W: X2 i: _ 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。$ P4 T- F4 U0 X4 h- T
3 L! }( K, d8 @6 e' S' W/ C& z 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
' Q1 r3 }! Q7 r) T P
& ?& y3 F- K& ~9 m+ w: ~6 x2 T 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。& ]5 \; Z8 ]% [/ [' ]
5 e N$ m5 ]2 E5 c0 o) J$ x' }, O 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。9 W7 X2 \# _1 z1 X$ I
$ ^2 K2 r% T; T% Z) R6 H5 ~
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。- U" z) `- _: b( y+ v7 ]
0 D& q: V/ t f5 S& A- M 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
/ O+ R2 _6 _" W- z! ?/ v$ R. v% y L+ k' D! D7 z
支持 DUP/SWAP17–32)来缓解这一问题。
7 _3 {7 I5 k$ d/ ]2 k% d5 n% N: H7 B9 Z
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
1 o) N- l1 `; K3 s' v$ j, Y; i' O4 m6 U
虚拟机过渡的向后兼容策略
, ?0 g" s3 e' j3 W( m( K+ H3 `% ?9 R, l- J
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
% ^0 z' L3 f5 i# r* U9 c% K Z" X7 t1 V! N7 ^# M% o6 z
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。$ J+ |) B0 ^4 @5 o, D1 w
6 G- j5 \0 w0 P' w3 T; i% g4 E
2 B, E8 A, t! z. g7 b. ?
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。" G% b5 e# a; k4 x
" n5 ?8 N$ R3 K7 e$ t5 D4 d( _
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或4 P, s' W1 C& A5 p7 w8 t9 ]
, f1 D( K7 S* Q% C( n+ }6 `4 S形式化证明器可完全忽略橙色区域。" e, C9 u% F7 p$ e
) E+ r. u2 k" R* `5 ?" z g 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
% U& r6 m$ }- U% M/ s) k: G3 C0 F* H, b- H) M0 u
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。/ S3 ^3 t2 \# h# f0 _/ R
& j m1 m$ ]' U0 h 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区9 z% |5 y% s$ z1 M+ n
+ y2 L& i. N4 o) q1 i! t; T
域的代码复杂性远比绿色区域的复杂性危害小。- X6 V0 {" Q/ i; \9 p( a3 d
5 i( X9 T7 q' a7 l0 L 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。: D3 x$ b5 l/ M: j8 R" o
" s' b2 ?* W3 b
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。/ W& A5 W+ e! J* c C
. O6 Q9 J: M: L& Q4 Y; O
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。4 Y/ j' b L5 y p0 c% Y
$ `8 { V7 `9 Q
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码: E& F. @6 d! _8 b5 L9 R
5 D! c1 R. x" e3 Q8 J8 {" `4 _(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
0 E* _. A8 ~ n; t; p" x; k: t% h+ }$ S3 L0 C
4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。+ ]- S8 T( l3 Y( Z/ Y) T) u
4 J A& b1 `$ d v# p0 e1 u; F9 v3 }4 X" H, ~
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。5 F4 A' i( @7 f# ?0 [5 v
i- F" T# s; X: y( K% ?5 Y
通过共享协议组件简化 B' Z# o! F+ [
3 z0 B7 Z5 z7 {* W4 _1 O' z
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种8 Y0 [0 t, e' j+ z4 V3 S
{0 M" q2 D6 }/ E. A0 s* t; e
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
/ A( ?9 W" Y% Y1 P2 A
9 p& w6 R c7 m# S4 @0 {- G; p 统一纠删码1 n7 n5 U. e! d! Q
3 I& y5 p! ?9 v& D: N
) s! d& w% H4 ]+ N E! W 我们在三个场景中需要纠删码:
) e4 T4 b6 c1 ?0 Y3 e/ }9 ]: C. i
1. 数据可用性采样:客户端验证区块已发布。' A) a+ K+ _5 X; T
' \* U# M+ W5 d
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。4 S% L0 M: |' e# J- T
5 h7 {5 y* C, H( ^4 {& h7 n 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。
1 P- v$ P* {' `/ p% b! b3 s& I1 g7 r( o9 |
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:9 ?& H: V b, P. k* N) ^! T
; f/ G8 g; N S, z& u9 i6 e 1. 最小化代码量:减少总代码行数。
+ D: g% W. Y* i: t# a
+ x I( V8 }: f0 o. q# H 2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
$ R" T6 \) A2 e) s* X: y1 i, R$ `; t1 I* g) `9 P8 h
3. 确保可验证性:所有场景的片段均可根据根验证。
+ c: R+ u! R* S5 l* n
8 v% R# B7 _# d- A3 ^ 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。+ O2 L$ G: l0 j0 v( {$ Z7 Z7 g
: R5 K' ~( P9 O2 ~, r 统一序列化格式
/ P F" j5 o0 c: z, l$ z8 s) a+ f4 ^0 ]% v# X. u2 r
6 f$ C) c/ C1 m+ v 以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程: H& H( O! ]" P4 H. n/ V8 _
9 T! `( M4 b. J
度将因以下原因进一步提高:
# n- }5 Q" B& I0 y& V( M/ P! \ W7 n4 o6 w5 d
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
- p& x V/ O" \! ]. v9 I+ _/ @9 q6 j6 c1 k! l
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。) @- E0 p) y7 P, W: H( G. M
' O" ?- d3 W8 z' b" S" h
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。% i4 i1 r# M f" F' ~. q
1 a! B# [, h. q, i8 j
我提议使用 SSZ,因为 SSZ:1 e4 _# r" \4 w8 ?: D
: a' M& B! o; h
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。' A8 f: K( k# D
! f7 e/ R; z/ P/ Z x 2. 已在共识层广泛使用。
- j# r+ q' a7 n% M+ B% j: G5 R8 z! n7 j, E V# B+ f
3. 与现有 ABI 高度相似:工具适配相对简单。# p) T* p6 p" E1 s
3 Y5 l4 D1 H/ a/ g( Z 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。+ O, C% b) P' y! F# l6 f
4 Z+ l9 |$ _* k3 q; a8 i' h }# x* g! } 统一树结构; _- ^9 E/ H& J( K
* V" t8 [3 W9 {8 p" A8 }) u8 v7 _* O. I- H" K4 b
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
; Q6 O; c% o6 N! o8 G3 e8 n8 v0 X' ]/ y! G( M' U5 w
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。+ E; Y! j0 j: \0 O* w% C* j ]
$ d0 L: X; T" a; i2 S! n' ` 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
2 Z) O8 F& j3 J, c K# _: N7 ~
* Q+ q/ y, M: U2 _& [( y 从现在到未来0 j3 l% z v$ ~! F+ n. D% r
3 j* W. X4 \4 w4 b
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功9 f0 m" w, @) |/ t- b7 d
3 I5 b2 q+ L0 p! N9 ~- l能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。3 J) h* \% C$ H( }( x( T2 }8 R
7 h& Q/ `; w& ?
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存# @3 t( n3 P* Z1 y
8 t0 f0 X2 [7 e: z! M& v- E在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。, B$ `8 [# g6 u E! O
& F0 _0 d3 j- [) W
1 p$ i. \2 L6 i6 F! V g& a/ E; M/ G8 W& _, d+ q
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13310 小时
本月在线: 8 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 4 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 120 小时
本月在线: 15 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 124 小时
本月在线: 15 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|