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] => 29704
[posts] => 483312
[todayposts] => 19
[yesterdayposts] => 84
[rank] => 2
[oldrank] => 2
[lastpost] => 2807772 高盛CEO大卫·所罗门透露持有比特币——彭博社(转) 1771519604 垂钓园
[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 小时
本月在线: 1 小时
|
|
5 q7 X7 a. d, d
$ I- q5 T! u: a% g; B; C; y' R* |
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
0 v) I0 f; }2 P1 ~+ O r9 u; B- p. _/ g6 J! ?$ V
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
) S2 ?/ y& p: n& s0 B4 i
3 a" n& [# @5 L7 a& B$ e构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
( o" h! i) j1 c, q$ e2 F( p4 V$ N/ G5 D, w& e
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉* K- `0 s0 L) u* F
" B9 o, L, r( ?- w; ?
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样) M% m! g8 q3 C" K+ y: K d' J0 w
* ?8 _( D2 f d; `! E5 o
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。2 v8 q1 w1 A: O& F0 ?$ k! f$ p
8 F$ E3 \! J6 D* ?4 g" X9 X 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
; I( A% m3 V. q# t: q
7 h" O9 l5 l8 P 比特币协议最令人赞叹之处在于其优雅的简洁性:& q8 {3 h4 q9 e. g9 \* R4 ~
- ?. t6 t/ z0 S/ m2 M7 b3 j4 @8 M& j! `$ z+ B/ t* F
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
$ Z. H3 z: r7 q f, P
6 g5 Z( E7 g. R+ I$ { 2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
9 A4 _% Q5 }$ E& ]# [% V5 C: C' y3 X0 x% X# @& ]
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
5 M1 p; s. ^" q0 ?5 Q6 U: K
$ j: I3 _& z* |, o- I9 j 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
( \9 Q. F( j" o. H; K) l" x) h9 S: q) l! Q( Y
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:' Q- r0 h" V* [3 S
& R/ X/ H4 b( G& q/ h! }! v 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
( E5 J* a! B# X* s9 p% d1 G: r5 v7 |: z
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
1 x" a8 b) |+ m _* L0 J% {( G
3. 减少维护负担:降低长期协议维护的成本。4 H4 U) L3 L5 F7 A" |: F1 k
5 e2 N) {% H4 @7 A 4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。: j, \# x- p0 I% \% g! v3 r
( J6 ^4 L5 y2 F- B2 l
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
) p9 k( @8 S- N t" a! { C7 g% ] J' ?+ e5 s' }
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。5 v; U' X) `7 q0 E6 u# W- y
6 O1 p, W* ?, F1 C6 B$ O j& G
本文将探讨五年后的以太坊如何接近比特币的简单性。
: h1 Q" W# u! o5 A! F% S
8 i- y1 V8 ]$ m7 f7 g: T& x2 f 简化共识层
8 N1 T v3 W" L$ P3 _4 V7 B7 \( ~# T: X* |- z7 H. r, \) ]7 e# [

; P) x+ T# B6 O% z/ V
" d& i1 y; E* p3 Q, e/ X" w# h 新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。) F# j* z+ P+ G; a, n! v- c
w/ Z$ W1 q5 G2 s% W A
相比现有信标链,新设计显著简化:
9 p0 D& g: E7 T" W" B! v! N; }6 E" G( i2 `2 I8 _
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
% m, |: j4 a/ y
& y2 y+ V# s. f1 ~约 200 行代码,且相比 Gasper,安全性接近最优。
1 D0 ~0 }3 J6 f+ v7 a) Z5 M
# a' \# y3 a. c0 ^% W/ i 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。3 f0 J" ~, k9 w; U
" n& q4 Q7 ]- R5 [9 G* c2 A
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
4 l: {! J0 W9 |9 f
6 \3 F9 i& L X4 H& g7 J- h2 ^. G系统性风险较低。
( y" B0 v) O' H
/ C; r3 m" j' E5 `/ p9 D 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
" o2 q/ A: S/ q/ u3 _, V6 \* |4 F1 e, W. A1 b* n6 M+ T% O+ U O- I1 g
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
& \8 @2 T1 y) L! m4 A$ O+ {% [0 b$ z) _; Q# h# Y
共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
9 O; ~/ \+ V0 p8 M$ n$ P' q6 F e6 W6 R( G8 d
简化执行层
) ] p6 e' f0 A% R9 o' o) h
6 f0 C' i. L# H EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译0 k9 O/ Z+ q; ~. g6 e- r7 ]4 s
( l) V' d- ] Y* n) m$ h# E(precompiles)为单一用例优化却鲜被使用。$ _2 `% v9 U) p; v! h/ f( d
8 Y! T& e* L& ~8 f& D 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显$ V' n9 @' w9 s5 e
7 e' U! D0 e2 ~. d
示出类似挑战。7 d8 Z s) ~4 N3 E% Z" g
6 P' @6 ^/ f* [+ B4 t+ s) b 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以4 Q0 E, O/ ^% H$ T2 G- m' \5 |
! G( k3 J$ B3 L2 V3 b4 j0 \. w
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
4 R8 s, y- o# e9 M# y: u+ W+ t1 D5 ^: Z( _- m% t: A$ f
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
! l; x7 G3 E- w# \+ p! b* H# Z
1 \& \7 i: k4 n7 ? ?2 S& o* x# l% D 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。- ? g1 T) k- Z7 W5 ?7 m1 |
5 K6 e" h' }% c N; c5 s% u
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。7 ~7 h. g' s" N! q/ C1 D
1 C! d, m$ }/ a, Q
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
/ {- ]& S2 M" O" h' ], m7 m0 r$ `- g/ p( J
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。9 ?8 o7 S) {1 _- C
, `$ L5 I& C/ v; O/ z 5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。3 A$ p2 M- x- @$ V! ^2 C
: ]5 H% G) d* V# j, I3 F 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、( H6 }- x% \, i+ L9 Q; y- S6 j/ W
+ d+ b" _7 \$ C, D0 }; [支持 DUP/SWAP17–32)来缓解这一问题。, n& j' X* C/ B& g$ T8 B
0 T( q$ Y; X% m: z# A: n7 f 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?) U4 B: F2 G' V# z9 G3 o
6 M, L. h; N: x
虚拟机过渡的向后兼容策略
; m8 a2 Y. R1 B$ H+ U7 b; m/ ^& ?- c& ]
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。( Z) I6 [2 d7 `& A/ N4 U/ r$ d) Z
. G% c& @* f" ]
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
1 R+ _( h- K7 h" Q+ f$ W$ [
# }% e6 j3 g0 E; O
3 R1 J0 C! h+ t& ]- X 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
; [4 x8 c$ K% k' q; s9 U, a( S. L4 S& q6 J- z' q
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
/ F9 G b* u/ B0 Z' ?! ^" Q8 q! f; a4 A
形式化证明器可完全忽略橙色区域。
@7 f/ c' y6 \. H" \* H6 t N% m- o, Z3 N/ @5 R! S
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
! h. I* s1 r! O7 A. }: X- V3 {4 Z, X/ [) c( p! \
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。4 a0 x6 ]! Y5 {: X
8 K/ P) X) w* c 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区( h7 s8 V$ i* [$ r
4 G! V% O, e0 b) _6 F
域的代码复杂性远比绿色区域的复杂性危害小。
2 |$ H8 ?9 }( `0 |, y, C2 Y
% a' ^* D% E' K" r 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。. u; X2 t) j) F# g" r
& X, ^7 B( L( a, N: V- ] 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
. [% A4 u4 w+ o5 b9 c; [2 s4 e0 _2 S$ }: G4 O
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。/ q4 V4 M8 Q& S" O p3 G4 ?7 p
# V2 \4 H, x) a ?- Z
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
3 R1 F+ |1 M5 C/ b$ ~' F4 p
. ?; H* L6 A- ^/ s(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。/ V, I" M3 Y7 g3 w" p
! V# u9 x: p; m9 {8 n& Y 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。1 B9 v! m9 |, |1 U+ X0 e; f1 F
/ w8 _$ j7 h- R6 ]
- i& i: v6 ~$ O" _+ p 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。9 L5 D0 _/ e( i
0 j! R2 m% h5 L" u: L 通过共享协议组件简化
; a: {( S4 G+ t# g4 y2 ^ X9 g6 w
4 \: n# f d& U$ F; q2 T8 W, H' c 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种
% {7 b* i8 W# s5 a0 a: X9 d) t& R4 r! u4 P* @! o3 v" X, n
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
$ R% c1 K6 g) p# R, W" r' d! r
+ T& ~8 N+ Y4 V1 y9 V- f 统一纠删码8 u& A8 d" Z* K, x1 Q
9 G( D0 A4 c- E# P/ x1 F* B. G9 Z1 P: K" M. O8 g
我们在三个场景中需要纠删码:
) U/ X& Q' y, d+ G9 n9 L
0 R: F0 r' _7 h5 o V' K 1. 数据可用性采样:客户端验证区块已发布。7 I2 U) G! F3 m! Q/ h' m- j
@, h* ~9 r0 F" f Q 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。) t9 }9 j- J$ r& C! I* O0 |; b
* l5 ?' b9 ^) P" X$ E 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。1 v5 d; i; g6 n1 u" p6 V8 g7 K
8 N' b3 M. F' R
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
5 S; q3 N q+ D6 x0 }7 M$ [/ h0 i* V9 {' X5 Y, o
1. 最小化代码量:减少总代码行数。
/ f6 p- s1 m' \! |, b3 r3 { X( P7 k8 e# D0 o
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
7 a! i1 z7 j u! B; r% ~) m, D2 ]7 f) W5 j2 N, s2 l
3. 确保可验证性:所有场景的片段均可根据根验证。# X1 Z7 J- H3 }9 Y2 C1 Q( v8 S
. ?) L+ s. t* L4 J# I$ M. K6 {
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。/ E" n4 ]9 s2 s5 T
+ _ }% [# T$ Z
统一序列化格式) g9 `( r) b9 g: W& X- h! D5 y: }
! l" k# V. B, F- q: q( `: i1 R0 F( W+ m: d7 v6 [% b& a4 {
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
9 n& x- L( O6 @6 V- x; L5 \
' _, K: J( A; |% M/ S9 S2 J- F度将因以下原因进一步提高:
6 A9 Z. d, M, \, T+ t8 v) b* J M5 i- u# u
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。1 ~) m# m K _
& b! _/ R, r- g; r" t
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
# V* I3 B, I! r" j
+ n- N7 ]% k( u& F 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。' G; r# O9 ]) x0 E, O0 G2 p" c
\! l! ]5 A; a: j+ x. q6 E- ` 我提议使用 SSZ,因为 SSZ:& U/ A+ w1 q6 D9 t& B) L0 N) ~
. f3 x5 }/ A1 v6 [ 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
z- T( b# x+ I- l% J4 ^$ }9 T, O9 d) _. Y1 W
2. 已在共识层广泛使用。
8 T9 u1 k; X8 }' _( s. q4 p: P- n# ?; t* m1 l1 M% s e
3. 与现有 ABI 高度相似:工具适配相对简单。
Q- }5 o; \/ w! t" }' s
# \$ e/ Z$ q: |8 E4 o T 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
$ @0 o. U1 \0 A" M% i0 |1 K/ M
! {' c% Y% R `" k7 b$ l( X0 c4 g 统一树结构
* ]; [6 k+ }1 y
' G( {9 ~. T. _9 [6 O6 O; E$ b% G
% M: \' f. a: p# d F8 O 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移0 a6 I" j, _* {
; o8 a1 ~. ]! \到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。1 b& V8 l/ b. Y! z9 t$ o6 \
) ?% ]' }( Z. r* n
迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
% j3 d* C0 H& u+ a( g0 K e- b( |! D. B
从现在到未来
1 \% y# j4 I' V! f: _7 h
6 j. b- l+ E/ y! H, p% U9 [ 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
Y* }% R) C9 \% R2 o0 |- l# g
# e9 r* g3 u4 f7 U5 d$ v/ k能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。4 [# S7 z8 t# [; b0 m0 G0 c
1 | G) R: n7 F1 G
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存2 [. {. e7 j/ g9 k8 l
* l: `# N1 d- F在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。6 n% P G+ i; T3 e! K
! c' w( C& w3 ]+ S* U3 o0 \, E# G! E) u4 |5 i7 o/ g/ L
( A W; H. m6 |+ l r. F( u |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13710 小时
本月在线: 36 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|