×
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] => 28439
[posts] => 463473
[todayposts] => 29
[yesterdayposts] => 562
[rank] => 2
[oldrank] => 2
[lastpost] => 2772963 川普一句话,引爆全球加密市场192亿美元爆仓!带你回顾加密市场10大爆仓震撼时刻! 1760547975 天策-瑶娥
[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 小时
本月在线: 4 小时
|
|
9 D) ]! @/ v2 L' Y. ?6 |* l9 u
# P9 C1 K- o/ o: P/ K8 p
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V 9 x* ^3 B/ O6 c1 c' ~
2 ]6 `4 A+ _+ w" }' X
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
) I1 z- k- z- s
; t8 Z) v" m9 q V' s) v构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
; o8 l5 g) s8 E2 V* g% R
, Y3 V2 F$ Y6 \5 }- J1 \" m 以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
. K f. T& m4 t8 e- z
: Y+ Y2 m6 W# A计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
5 B5 S: Y8 l$ V- W
; t& r$ g4 W. a* S性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。( Z% T0 V( X: q1 N9 ]
+ c* e0 `, \7 f, ~
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。6 E: P# B/ _) F1 }
0 P# f$ z& Z7 o' S: I5 {
比特币协议最令人赞叹之处在于其优雅的简洁性:
: R G2 |0 r0 L
& W, s4 m% S, l3 @; @% q& g9 G9 z6 F
* w8 g# J$ h: B U# Z5 S: \1 Q* y 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
$ w$ @6 M' O! R) z0 K) ?7 `- a$ @ |5 ^
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。2 J& d' r9 T \3 A: K, n
! i. g- j2 f4 ~) W' @
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。4 S3 L: ]9 n1 n! v( ~" Q
1 A, T4 E, `2 L 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。6 h' C2 {+ p" t) n4 B& r; V3 P: L
, ` C6 O# W- Y) m2 y- F 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:& N. P# {9 i/ V( j3 W9 a9 ?
* |* ~- q4 ]5 d& J# W" g, R" h5 C- Z 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。+ @" P* N% {, G3 H- X4 x5 ^& m5 n
& G$ g1 A) ?: F( O4 l8 X8 E
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。6 W2 q; p" f" k2 E2 C1 T# ^
8 a& q6 X% w0 G8 d" Q) X, A
3. 减少维护负担:降低长期协议维护的成本。
$ U+ v* P/ e2 ~, k7 F$ U7 P' d
# S; C4 P9 s4 R3 _: R 4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。
5 E) E" Q9 f2 l# n' p1 F' t1 d- ~- {( u2 ?3 d* Q- R
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。% [1 ?1 I3 k0 m8 G
8 T, o3 S/ J7 e2 w7 o& m4 d 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
0 I! Z& k8 q7 C$ q, a. F' _ [
+ g( f$ p3 b( B# g L8 N本文将探讨五年后的以太坊如何接近比特币的简单性。: ?2 H- [' c% P; ~* K6 C! z0 L
) t1 P+ U9 J$ Z/ t 简化共识层, p9 z3 e1 s: u4 r- B1 A) c
. Z- t$ c7 C* c5 q5 U+ } 6 \5 F+ p9 s% ?7 y. v/ G
, S0 a! t [6 r' |* `% g
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
; b7 V1 T+ u7 R" A2 F+ Z
6 ~1 w2 f5 w% Y相比现有信标链,新设计显著简化:
) G. J& T3 k$ T* ?. g' a+ P6 Y* h
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需0 _: e5 u- x& k' a* f. z
% ?3 S- e- H! d7 u9 V1 {# _% Q; S& e约 200 行代码,且相比 Gasper,安全性接近最优。2 q2 D" X3 u8 q# H% N0 {( }+ Y& L: \- _6 s
% E, k8 j6 I* V' W% ]$ X. D
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。& N8 t4 o/ T- [; ]0 g+ d* `
7 P3 b1 z' \) r$ b# F- ^3 F
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
5 {* T3 }) Y+ B, J9 C9 q8 l. F' X$ E! ?% q6 i+ D
系统性风险较低。
p; S: s7 D* m$ B1 ], B$ ~* d* |# B6 g* B5 ^& C, U
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。( o; P2 ~9 j& H7 j2 [& ^
3 v3 v" w$ J! v9 d. H) I* B
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
4 l0 j- d* o* p! h, O) M- S" P/ B/ C3 p1 ~- G( B5 y8 q' W
共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。* g6 Q' H5 c C: z' ~9 [
6 X3 d, h d! P7 p. O' Z1 X
简化执行层
; Y/ I* d7 O$ Z3 N e
7 Y' V' T6 r) a3 f EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译& q8 C$ |- n4 N& E4 j8 n: k, `6 @1 M' J
7 F) ?' q6 i5 C1 k(precompiles)为单一用例优化却鲜被使用。
4 j+ B. y/ M! s0 ~& G$ u8 M
- U8 V' F5 J, b8 Y5 q 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显. {. r: Q, Z) |) e- Y
& s1 Y$ } L6 b8 p示出类似挑战。
: [3 c: G6 c: B$ p% w- K+ P( b- E0 X& {7 S) x2 ]2 x
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
" y+ m2 B( a- F3 R' Q, @3 W
" ~, ?1 Z+ O0 `$ ]! \2 V' i实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或5 y7 i3 e# X( _8 {
" b$ |$ K4 n! g
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:1 t/ q6 V i' O4 }
. j$ @1 J$ Y( F+ R% z
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
# d* f5 N8 d* R# J# x2 S V6 _1 v. i3 E
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。# v: o& }* p2 j6 d7 J
/ k- @ p! Y9 R9 Y( r 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
5 C. i: u, y3 f$ l. y" q4 z/ J$ s" k& F+ Z7 a4 ?
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。3 V/ }$ t7 q$ z' z, p% E
1 W! U- h$ ]/ f/ ^4 W
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
& c6 {2 B4 z) O+ J* A
5 A ?+ s% t3 D8 W: {, l 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、% A w/ G" q5 P% \/ O
: ]( h5 W$ u+ b支持 DUP/SWAP17–32)来缓解这一问题。* F0 S' B! k* q5 x( _0 [' }1 a
9 F& c- W& {2 n! t# q
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?6 H) i6 w- E2 b
& P( s( S5 _5 U j
虚拟机过渡的向后兼容策略
4 B0 t' k& b( j/ T+ F M! {% Y2 H
& ? G0 y% u0 C: p6 r+ E+ a4 m s 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
6 Y/ t0 _$ W, z3 K' W
6 p, Q+ R1 l9 _* X 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。& D* C! l" B: w5 P7 K" X
( B3 v6 S1 a+ J5 x" Y) }5 v
9 Q/ n3 S7 U% W: k# \& g2 d 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。! A7 T) }. |. u; o% z! i' _
* S% {& L# y* x7 g2 B6 ]' o, Z 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或; H' `; _ q* w) u5 f4 P6 s! j
$ j0 w0 Q. K( k$ t' D- u形式化证明器可完全忽略橙色区域。
/ y4 f+ [7 T/ u# X6 n8 C3 D+ p4 ` P! i5 ]) k5 M( n
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们( g C, V! T8 Y
2 Y. f" b; {3 }, V2 G6 H+ {用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。4 o" F6 p6 S/ a% }/ V @8 t
& ?: g# R$ y' N) ^& K 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
6 R$ z i6 n4 n* |" N: \1 k+ M7 d& Z8 U2 d
域的代码复杂性远比绿色区域的复杂性危害小。# N. w: W; _1 y! A; P9 m. S( e
& x; m% ]$ |2 C8 S# y! l 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。# H0 m' G/ F6 b& z
- ?6 E/ A2 P+ r" F0 a3 d9 |# j 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。" r- u+ E9 t) ]) h3 f/ ]+ X
! @: _% O% l) [! s
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
, B, W7 Y) e `5 y& u* A0 f0 z+ n0 R. x$ U8 a
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码$ X2 ~; C3 [( K
) p: Z- \9 `' F3 k
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
( ?/ f- X5 C# p9 e- l
4 {& i; `% q* w! H* Z$ u. H2 B 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。3 @/ ^2 s- o. H! { ?! D
9 E+ ~% J S, z! y# |8 H: d) Q8 i5 m
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。8 D6 Q0 r8 y( M
/ `) \: t0 z5 r. S- }: W+ n- H 通过共享协议组件简化
8 ]: G& ]- ~: @1 j' k2 f- C, S: X& V* y4 |4 ] `
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种( ~) N1 }8 h c, O
3 W5 \* F( U, G9 z$ }" z1 ~
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
5 C+ J9 m" `0 M+ X% _) d$ C, O0 L
. Z- ~: n' b: g( N 统一纠删码0 v/ m b- K& J9 T! A: ~7 f! }2 t
4 n2 a* H0 S7 W$ h) S
2 w8 L5 ~4 b0 a+ ?5 m+ k 我们在三个场景中需要纠删码:; h0 k: U0 @7 Q5 e
6 a) v7 }0 S" d1 L3 I
1. 数据可用性采样:客户端验证区块已发布。5 O0 b( Y& L/ w. W7 v/ E& p
* w; P2 I, T( v0 c9 _ 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
% {' A- t" [" X* y9 F5 R, j& O) C; v9 {# E+ q
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。, s& }+ N9 `+ X1 o4 Z& t
- N6 Q, O& r: i; [8 g) h: X 若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:5 i3 X( V7 |* F$ A% R+ k
$ X$ G! K3 H# S- m0 J3 e( O1 Z 1. 最小化代码量:减少总代码行数。, G. Z6 ]+ I9 |9 b% M
' \# Z% S9 b; _' A1 _3 n2 F( f# }
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
* R# e7 N' Q9 Z) j+ Q: }! H: |, b' E7 n+ ~6 R; x# m
3. 确保可验证性:所有场景的片段均可根据根验证。
6 d7 {' k- ]# S v+ U3 Z" W+ l& Y/ v B2 a
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。3 k% s' x& A( D }
2 r" u" v! P4 s6 J
统一序列化格式
* E; t2 h5 u- `2 F- w& c5 ~, N5 ?
9 F0 a* k' C/ @. @% c: _+ b g$ K- b( w- E" ?7 ]' J- { B
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程 y% U: @" }8 R
- f/ x0 ~; c0 d# \" B度将因以下原因进一步提高:
, n. Y& Q2 Q. r, n- u9 I
4 r* ?" V( T+ V3 G 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。8 U. T" m- R* f6 P p$ b& V) g; p
% C7 m8 |$ {1 w+ e& d6 t; P 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。$ \3 O" H" A E$ ]
2 B2 ^0 j2 h& K+ S9 \5 |8 D
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。% H% _% ~$ f9 i1 M V
7 |5 D1 F8 M+ g5 ?* K 我提议使用 SSZ,因为 SSZ:
/ @/ I" l6 n/ ^% Q/ U. h) a- t n" n: `% I
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
+ d e e+ v/ K4 x. ?+ N9 u' c& [: m( j4 E+ z% P4 o2 [
2. 已在共识层广泛使用。
- y$ {6 g( K: I/ A2 D; y2 ?% O4 `6 |! t
3. 与现有 ABI 高度相似:工具适配相对简单。
% i5 k0 P/ K, Y' I2 a% c) \6 M! {+ g% o; ~% i
已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
; J; p {5 q+ F8 a
' v2 A- S. {- X% p 统一树结构
a8 o% o+ h" S( e6 Z. N5 [- Z! z2 k2 c8 d) r# |
: ]! O" k, K3 ?! @" I0 C- g' ~2 J. F
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移7 {* h4 B* U! d- w3 z% q
( @$ J+ Q. F) S( Q
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。' [* [* C! j3 _' \+ k. H
' F4 R$ ]* p! P% ^/ ] 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。' J" G4 G7 Y: g/ X1 G
( k2 j+ i& H/ U; B9 G7 R& H9 s; p
从现在到未来
7 z) ]4 f' `: F9 k
) @0 Q. t8 A: }- a0 j/ E 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功* ]% p# Z) D3 N! q! l
( v" V; _; ^& `, l8 Q1 o* I0 e& F: N
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
' d$ m- J% e0 |1 H8 A: H9 k* H1 q6 @+ m" B! N# t
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存7 i4 R( M, O" Y/ }" V. i
/ P* b! r+ ~& I o# g+ z8 N在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。3 Z) K: `+ x# W" N- D
7 Q$ h3 X; s8 H# ]- P
7 j. Z- R% {( w8 P
. T" V$ V% `. k- ]" b6 ~$ @8 ~
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13438 小时
本月在线: 39 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 4 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 129 小时
本月在线: 3 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 133 小时
本月在线: 3 小时
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|