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] => 29282
[posts] => 477655
[todayposts] => 102
[yesterdayposts] => 143
[rank] => 2
[oldrank] => 2
[lastpost] => 2796491 加密货币营销生态研究:聚焦韩国市场(转) 1768233293 我也来辣
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12612 小时
本月在线: 15 分钟
|
|
/ |- U/ ~- W1 s% v, X
0 k% v' g9 ~+ ?. p9 h; u& Z! l
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
8 ?+ u9 l/ D" c' B( }- X$ A/ L3 n2 s( @, m
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
+ c, p0 ]2 P# L, b" w% T: D, D% Y) j/ q7 Y, _, k
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
+ e g, F. O9 S) Z8 s8 D0 q2 C3 C
3 Q0 i; s# O+ A# p6 \ 以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉- q# W3 }+ B2 v1 N. o6 Z( ?% j, X
. M4 S' V" v) t/ ]1 [+ x1 X计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样& F7 |: U4 U* T( i; J, q
, R, J/ l3 o; |9 ~- L性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。& ~# i1 e* {, V" j# U: l7 e- d+ u
" H. m# U3 p3 ?2 j6 _
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
- T, x$ H$ N$ ]' m
9 g1 {* C% S& n$ B K3 I/ V8 ] 比特币协议最令人赞叹之处在于其优雅的简洁性:. h5 |" R) H- T+ y4 t) d9 Y8 V
" e# J1 I5 Q0 r$ D% T3 o2 F/ T7 n# h# V
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。0 U( u, w/ {: A+ O
2 d& U f+ \: l w; \( ?" b 2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
p( o2 t( V) A0 B. x3 y
$ o! x; J# j- p9 v: \ E9 ~2 P 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
! S. W* O0 W- K/ r6 E1 p/ g
' s/ ?3 L. [: G 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
' C7 j/ s' N" t/ E& W) R L2 m4 B
# R9 D- \6 }" T; { 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
; b8 a" T/ {& w, T) G2 ]) z# O2 z" ]6 B, G' o8 ]
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。5 [; M, M' K7 h: c
, e$ Y6 a5 |, H, N: F0 Z! `
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
; T* o- j/ r D3 p$ A0 R
f+ F7 Y$ x: w& r1 e! `, Q 3. 减少维护负担:降低长期协议维护的成本。! z7 ^6 Z7 L' V; | V! m1 `
! d& u8 U: `1 l5 q
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。$ a4 L! g0 t! J L9 f& U
9 g# E: b6 K7 ?7 j# p
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
3 \& [( W) g+ e+ M$ P$ J" |& {) c k
* k7 [- W: U) r+ U! a1 } 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。+ I; G( n, S! p2 P9 J+ M# l
, T' T9 `# s3 V8 o, @) h3 l' M
本文将探讨五年后的以太坊如何接近比特币的简单性。
6 j" H ]- g$ j& d* Z/ N( N0 w0 F5 m
简化共识层
0 V& x- p( n3 `( k& N( ?7 b; r3 u3 I8 K8 E5 z- R; ^% g
9 w3 i4 F6 l# s
- b+ `. e' t& d4 D9 T6 ]) N
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。+ V7 E% F6 e# P- j! c' W
5 Q0 V" X8 N- U* V/ t& p# n! t+ L相比现有信标链,新设计显著简化:( k5 F% o* s* J/ x: ]
, e$ t+ L1 g1 N' v 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需. Z0 u( @0 A* n& O5 Z
2 r0 k- t1 o/ e1 m8 G
约 200 行代码,且相比 Gasper,安全性接近最优。/ R# g+ C2 l: y) R. \+ u* |
6 p, ?, [3 u/ u5 y0 M/ {8 S+ _/ c 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。
% s: g0 ^3 z6 D! L: l2 B/ b5 r
2 I% S+ n- z7 `8 R5 s: h 3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
3 Z5 x; F. n1 Z. U! ?0 M" W4 ?7 z! X& _, [: D' n! C! J$ D
系统性风险较低。
% k, `4 f2 a* N' S) m9 p2 n9 A$ G. j9 g. q5 m9 G* g2 a* o" G
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。1 N$ u3 D7 _4 j( v
) [' s& o& I% i1 ]: V7 O; C2 j6 I
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。& Y! J/ K+ R6 I6 W* V1 p+ s1 B3 U: t( X
4 z% x0 ?; t2 ]7 a6 O7 U' ]# ^ A 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。8 _4 z: U+ y8 z- p4 s( I
/ G5 o3 P; f$ P5 N1 W, t 简化执行层
: R% m3 o. H& W- w' ?4 _+ q. ` |9 x2 Q' o2 J
EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译- C% h6 D; n1 i- K0 K. c4 C
2 O% M- s1 w8 m' J
(precompiles)为单一用例优化却鲜被使用。6 k* }: Z+ F5 U$ y" U: V
2 |* u. k+ A+ H
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显: v/ Q0 D: ~! C! D+ {* t3 Z
& Q$ M( _0 f; z* E: J9 A% | h! z示出类似挑战。
( O4 x+ o# v/ c; m A( F" p& _3 U+ @5 f* P& q$ q$ U: Y
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
& R' p3 R4 o: r5 }( Y) Q6 [' S3 s3 a
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
- B/ z' k3 d% ~" K1 G% z& r% e
1 o' H8 d' W; G* b" x以太坊 ZK 证明器使用的另一种虚拟机。这将带来:4 ?# w' m+ Y/ J/ a
- @# P+ K- B! d$ b1 o% J
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。5 n0 `" t6 U7 u- T) c1 o
, h' q$ r+ X2 L
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
5 ~- a7 s1 Z2 H9 }* O6 e0 L) H/ R- s V
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
" I3 a; D. H& s" c0 j O
" i/ {! x- K& r- V% z- l 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
9 Y+ s# R) ?; _) m! G0 A) O" ?
+ [ i6 X7 l0 } }- T5 e: F 5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
+ L5 [% }: b' u. Q+ c( ?1 d3 s3 X2 h# f. Q
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、7 K6 j" {5 Q) e" _. G
8 p" k6 a1 B& h# P3 z. n# M9 M7 x
支持 DUP/SWAP17–32)来缓解这一问题。
! j6 V+ m% M6 Y% w4 \3 L% u; Z6 E0 ^& W+ w% _
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
0 W" A" n1 E$ Q: g0 \* c+ H% {7 P: {# P/ A
虚拟机过渡的向后兼容策略
; O& d, Y8 ~! n2 L% B p. n+ k6 C. v5 ^
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。' [# x0 ?, B- u; k" _
/ d/ I" u" d+ @7 j! |
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。8 V- A. V0 t; E a5 M
6 l0 g' X0 q2 z2 _9 O% [
& P3 f: I# r9 d 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。 c7 Y; Q0 D# F, a" k5 i
' V! h, L/ W$ B* ]8 a! f
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
1 V$ L$ P. Q8 A& Q+ m2 D' {0 o& K2 i6 X+ D( u1 }/ W) E' ]) R, q/ w4 d8 K
形式化证明器可完全忽略橙色区域。
9 l: M8 n2 p3 y4 B& h
% Q w$ u. \# U4 V# p6 }/ j 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
4 ]8 [1 c. i! w3 U4 E, d9 S
1 |8 b& L( [- h& C' C用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。 S6 p- A% p. V4 J. K
& P. k+ {0 O) G% z! `3 D 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
& n7 ` A q; ?, P/ z
' {7 w/ T8 Z) e) n域的代码复杂性远比绿色区域的复杂性危害小。( d6 S3 k: g$ Z+ A% K! J
; B( b4 k: W" B5 R% j7 h! p3 U
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
; L; v3 f8 x6 o) n0 m' D. t8 N1 g; r0 Q; z. |
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
. f" z( X; r$ {8 s+ V9 e' c5 a; p# Y7 h1 O& K% n# X( I3 Z' {' R
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
+ l! E0 t0 ^1 U( _, Q
% V8 ?& A: ^& A3 d: Z& D 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码4 K, C# v/ V6 ~8 a4 P. S
: u' s/ ^) I8 f5 ]3 |(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。$ v& i0 r5 I$ M/ [ w
x( u) z! [6 J. G. w& b) n& n 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。
- g. A, X+ }; t( Q! [) V D9 q
7 R/ @/ G7 b F' z2 @. B
# J/ `$ O, e0 j- ?: u8 q6 [. y 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。
. O" m9 y" b4 s4 }# L% P" v5 k; i; {! b0 {
通过共享协议组件简化$ ~0 N( `/ w$ S% v3 ?3 m, @
' S5 x' x: ^4 j& M6 z$ \ 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种3 M0 N* f6 t# X! Q
0 P X' N0 S/ p模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。, h: R' n0 ?* w& O
. G7 a I+ j7 x2 l 统一纠删码2 L) g' `% A1 C+ r
' C& O2 d; ]% E J6 S5 E+ Z) y7 Z) E, w5 b) Y% d5 s4 t% _
我们在三个场景中需要纠删码:! V' R$ g/ r4 G" C
/ @2 C m" a; Y3 O2 B' R: F
1. 数据可用性采样:客户端验证区块已发布。) J& ?# X1 e: J7 ^* j4 {! F
" k# Y# d. o# m' L% B% q 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。/ l) k4 W* G# ]. m( e2 t
; G7 Y$ n/ K$ a O$ y% L# p 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。1 U T! V% l! C
4 @( ?4 O: M7 Y$ p( t! ?
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
- G+ g% K% m* C. j) E- ^+ e
: M# g Y- Q0 ]3 ^- B) r 1. 最小化代码量:减少总代码行数。
3 u. G' l. Z/ g5 A. Q( M! I
+ ~) G" U8 p. d* o' j 2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
; j m& r) c w1 j3 A2 P+ d7 `+ B- _! F+ C8 G- m0 m0 j
3. 确保可验证性:所有场景的片段均可根据根验证。
2 V* _! s+ X) }- N
6 S# R/ R2 Z' b/ P- \ 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
" Y8 W0 i+ p- U, H/ n
+ w% t6 s8 ?( a) \! S' [ 统一序列化格式) Y |% G9 s m% I/ }8 ]! W
' r6 n# b( w7 {+ i+ Z" u$ m$ f
# W! e3 }. ^6 l1 L1 f. R
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程7 F3 r+ R: G% \. R! y
# n7 ~5 s l# Z. H9 @度将因以下原因进一步提高:
I1 d6 u) D& t$ X* Y7 @- I+ A4 u; J3 o7 i: k2 Z4 I$ X/ j" S
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
* c+ x; u* d( ?. g0 o# l
9 z+ L5 d9 B3 ]$ I4 ^! U 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
: w' a; \: v- k; @2 b0 ]( q$ k0 \7 P. |+ ~$ X+ V( }8 v( _0 i
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。+ d% U7 Q/ X! J Y. L2 p, i
9 Z, C* ]1 h, W& o& h9 v7 J/ n5 e5 } 我提议使用 SSZ,因为 SSZ:- H( Q' u3 `4 y; ~$ m* A S
. M. t& T- v$ P3 a* j
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。5 V' d. g8 P+ d& |. b1 K
- \; n1 _# q+ k
2. 已在共识层广泛使用。
4 b+ Q: A, _. Q3 Y' C
7 G6 `' f6 B0 P k: \) p, M) I 3. 与现有 ABI 高度相似:工具适配相对简单。
( A* `% R: b0 N: N$ n. G- L" W& z1 E! Q) @( g
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
6 Y4 \$ t6 j6 o5 w- f& n# W+ k+ C' K' m# K
统一树结构
8 a" C; S2 F: Z& @% c A% _
: j1 p F4 D/ W2 q6 q ?4 T+ u/ o4 B4 K3 `* p" @1 O1 v
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移5 v8 D% J" ?9 t T
' n, {1 j6 t, ~8 p7 i; s1 z5 q; [
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。; P/ d' L; K+ ?3 i, P8 s7 f7 V
- i5 |" b$ J8 g: x0 [0 @' q4 F 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。5 r8 W. T+ h; t$ V/ U& D
- T. f4 j( n3 F# b 从现在到未来
Y) z1 n8 K+ U0 H4 v3 y+ B3 s8 n! i3 l6 a2 Z* H. j7 f! d
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
' x8 C! f' [0 Z1 Q$ ^, b7 N5 Z5 ~/ s2 v' ^8 Z8 u8 Y6 T) x
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
2 }, W* M g% `3 c* W* D; l" A: i9 a( b8 e- V
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存( q a& B5 H9 s# w/ M
7 I" c& [" g4 T- V) Q1 c$ }/ S在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。8 V3 S" ^) u+ p A8 i: M
. s$ J7 M c; _
) p# q& p D1 ~. S6 n# X
' _/ a1 t- j1 ] |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13634 小时
本月在线: 24 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|