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] => 29740
[posts] => 483787
[todayposts] => 15
[yesterdayposts] => 102
[rank] => 2
[oldrank] => 2
[lastpost] => 2808332 在亚洲,稳定币正成为新的金融基础设施 1771778983 垂钓园
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12615 小时
本月在线: 1 小时
|
|

* f; j! a2 h7 O1 R( v
8 g, o5 _3 l9 r @) q 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V 9 u6 U5 j% d% w
) i! ?! T6 A& k, H$ g* x
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结6 ]- N, m2 \' U) ~3 q
5 B, [' V# t) ]0 W
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
2 }# e/ U! R( Z9 d+ c$ B4 ]& N8 q0 N5 ?1 D
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉. v$ e" j1 S/ p0 h; n: {( u
2 z H+ i$ d; w/ d/ w( n' S
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样* H! T, Y0 ~$ ?2 n
5 H3 }( Z5 r0 U性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
, H, r8 m/ z- |% K. x- |2 C$ R
6 }9 ~7 {8 r- z; g8 G 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
! \- j( O k% ~: E* T$ G: ^; [" }
@! Y, J# V W% D. g 比特币协议最令人赞叹之处在于其优雅的简洁性:
4 ]; _$ z4 O: y' a" Z- M$ [, u( ~. g
8 U$ J8 b# p _; h S1 a+ V0 w- o; [- A$ N4 f( n
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。, Q2 O" J0 }4 e$ c- s& b- ]7 Z3 g' T" y
# U1 Q5 H# `+ ]$ U' n
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
. O& q, J( Q# o; P6 C& L- f0 Z6 B; a8 c6 Q0 t
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。; t# s% ^* S6 Z b
* ^! ^, X) _1 T$ K( U8 N 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。4 `+ ?$ a& I( J/ o
5 {6 H* ^! U6 W6 M 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
& U& W: V, ?( B5 `4 U' ]
" m: f9 g6 C9 G U 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
8 l1 c# P( L3 d& S4 |4 b
6 l9 ^ ?( \- O4 d% w6 o9 c 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。# M5 g. J+ k# [% w: w
9 w* r7 c2 H Y/ ] M% I 3. 减少维护负担:降低长期协议维护的成本。- |1 i( N, P4 ^2 w
% s5 w$ h i. _! R, P
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。) u1 S' [/ \* w3 L
6 x+ X$ }- a' g& g5 ]7 H$ k( M
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
" b4 X( i0 y# {: y* t7 Z' D
3 `/ R5 Y) u2 x7 X' x7 G X 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。" P f w( n* {8 B0 t/ W
7 \: _, b8 g) g9 n6 p# J# O本文将探讨五年后的以太坊如何接近比特币的简单性。 H2 M7 G2 ]* B8 o
3 p/ h* x! S R
简化共识层
0 x) R* V1 \# t$ O
2 v' W; H2 A! j0 H2 y1 N0 y + }$ Z( S& L3 y7 F6 p6 u: I# _
7 V* [2 Z6 G: _( J1 T4 V( d
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
! k3 _8 k4 _: S( ^4 S6 d/ _9 v. ?+ T% M
相比现有信标链,新设计显著简化:
' f" Y! ~4 F. a
/ Y l8 r' x/ \1 E, r# c2 t0 O 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需* p$ R3 C- g7 e
8 z7 `& D) B, Z4 D" V约 200 行代码,且相比 Gasper,安全性接近最优。
2 I: L' N! g# d
9 W; k3 B; G/ m 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。. b) v* W, n1 F" ^
2 {) y& I( {! O. \. f 3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,. i% R- r; A( V
v, D" E' R: ?- W/ B8 o系统性风险较低。! Z3 m" Y Y D* i
5 l' }: O [+ q6 n! _5 W1 c 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
/ |' ]& Z [1 Y G- p
3 e+ Y8 c6 u7 x8 ?' z# G# C7 Y 5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。1 O* S+ _" B0 k |
, c7 ^/ w1 |* Y: ^6 _ 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。8 Y3 C9 p1 B r7 W) l0 S) y
) N' a( }; E* L% {/ v3 @8 E
简化执行层' ~* }/ U* m: b3 ^
) o* [8 G" F w2 V! m" _) h5 y# @ \
EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
' [( E: w- v7 e. F+ p
% q/ @4 \3 B4 X3 r& D+ A(precompiles)为单一用例优化却鲜被使用。$ e& b% h* d. k, o* `( T9 A
# {+ ~7 _% j$ x% D- {
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显
+ N6 t7 e3 H7 ]$ c) P# a8 R, q3 U1 j6 i# e, b1 F4 M9 Y" D' ^
示出类似挑战。
8 Z# V* A( ?( ~+ o$ Y. y' `
. Q6 Z8 k4 S" t 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
2 E" R u# [, l1 u' i- J- L( J& ?; f+ T
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
7 L0 n5 ~9 ?3 B, \2 a4 k
! ?9 V7 b% l4 n9 F以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
& d+ l- ~( e5 V) {
% U, c# \3 f9 L g# T 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
" T1 q% P2 _( [5 t' n% I
. u5 h. k4 Y& U# O/ p 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。4 h7 {& W' w8 a2 Z: V
0 h5 R7 w& s8 f1 d
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。( O/ Z$ m* i; r6 `$ O
$ }0 \$ w- v1 O0 d9 o6 c
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。. J7 N0 }$ Q9 b/ L. L2 H
! x, f7 v5 o# O6 g* X
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
; n2 O, z7 O9 V* ?. S/ A Y* [' D6 \' Q: o) E
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、0 v3 P" R2 _6 f
# Y4 y: D8 @% J6 Q% \$ A$ d支持 DUP/SWAP17–32)来缓解这一问题。
) y+ y, I" v8 L' l) o& ` a; W
0 T% c( @; E6 X 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?5 Q6 C. f1 w5 f! ?! x
) N, P" m1 P9 n% O
虚拟机过渡的向后兼容策略, E) ]. e4 L {8 u$ X; Q6 U: b
. E; C# w! B1 Q 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
, K1 v: g- j- ?' O& T1 b! K L x1 }5 R0 o* Q) l
首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。* H0 F! \: g3 D$ L0 y" j0 ^
' h7 _; p1 O- `3 c1 w' m/ \4 L |# b& _* M" F, g2 C% Q
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
! u. L! T9 s7 X+ ~4 h
3 _7 |! x9 ^# |7 z, H 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
# m& M; E( |# u# p% r0 V( h
" w" J3 Z6 T4 i p( ]5 s形式化证明器可完全忽略橙色区域。$ x, r1 g& R, i: {
( v3 {! Q7 T" x1 Y# M# \
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们2 }3 {) B* w- l$ ~! t
. z0 ]# U5 b4 ]3 W用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
6 K2 x( z6 ~1 ~3 r. x# }& I
. n: f7 ]1 d: _3 ?* e6 j. A5 ]. T 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区' e5 @: ?& a0 K9 T, K+ `
# G$ u' n& O! U2 {. M8 D& l
域的代码复杂性远比绿色区域的复杂性危害小。& t, c; c5 U: ]2 v# y) B/ l* ^7 H" V
: I7 W* L' e6 ]; `, }4 A. r
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。4 l' n$ p0 _7 T) X7 a
2 Q+ g+ r+ [1 T8 M% F" I
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。( q* G _. d' e$ ]6 D2 S3 I4 {7 E
' A, g7 x' h% _9 V/ i" c8 C 2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
7 p' _' ^. `) i9 }
! W1 }) i: O* L G- O 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码9 k" q% E4 p( s# {, C
' Z+ B7 \6 @2 ` v T ?3 G3 W5 [' W7 X(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。6 N, m( ?* v3 ]
* M" j( [, r4 |6 s% H9 h* k
4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。( f0 a5 |: }, N
' Y) d& Z: H9 L6 J
Z: ?1 z1 D F9 k) v
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。6 l z! g& X5 U$ f- Q% B2 | g
# w% h' b8 I" F# K& Q: z 通过共享协议组件简化
& Q/ F p8 W" v: e. a2 v, L+ S0 m1 x# M
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种& d6 q R: W0 K0 T3 @% Y2 s
* Y/ h7 j Z% H- I2 [- s% S; d; F模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
$ P; W( r; E* V) X! A. F+ r" X1 |9 t
统一纠删码
' ~/ {+ f+ j1 C4 o
; g& I: H' i: q$ n, A: [- @, i
+ L4 G& z/ {, \7 o ^ 我们在三个场景中需要纠删码:
' G7 _7 F3 w/ I- C1 G" ~, c& n. i
1. 数据可用性采样:客户端验证区块已发布。
2 N, d2 L3 S8 S" E. R3 ^1 X0 s$ j5 h: D2 ?( X3 V
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
+ ~9 Q7 `1 b' t. x/ {5 ?, r( a9 x1 o( f$ O) N% |
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。
; o( d5 W8 X. J$ |+ |; I; P9 q' t3 L1 C; l
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:0 o4 a- X3 q3 u) I
* S) `; @6 d. o! g 1. 最小化代码量:减少总代码行数。
9 _# |3 Z( Y; Q( F
1 ?3 e0 w) K* L0 M6 e8 r 2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
4 t8 m( O/ y1 {7 F1 r* Y" |) g5 c0 G6 o- n2 W0 n. Y
3. 确保可验证性:所有场景的片段均可根据根验证。
7 G# G+ M5 q1 v) K" X, n7 O" R8 P% t9 [
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
4 R& X$ A( F8 j$ Z) e8 C. G1 p% l' Q* r& s
统一序列化格式
2 m) \* \1 r$ q4 d4 ]5 _5 M
! E Y$ u4 `: U3 Q0 l& u; i' g1 G3 y1 c
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
; t( T* k+ i. P* z$ N1 X, \3 E; i9 E4 d. d) a G" t
度将因以下原因进一步提高:
1 t7 j: h+ |- i; H) H' y* i4 K3 x3 P& D2 r: T0 p
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。+ d4 [0 R' C* f* S# E! O- t- ?
0 d7 O4 u, S/ Z( @1 R! }% ? 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
! b* H, u* r2 N- U+ F/ d! v1 O W* ]& W- T K. B1 W
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
0 p' F" b, x/ O# j0 y% @$ }& A! Q
) }$ U& v3 L6 ` 我提议使用 SSZ,因为 SSZ:
; M+ W h4 G5 [1 K w ^5 w" A
" }) k/ H) }5 ?0 f4 B 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
7 r- \3 A! f- a- {/ u. H* P2 v/ e! |* x; j; M l' O' w: R+ ?2 b6 B
2. 已在共识层广泛使用。: h/ H/ O5 N6 t, e) \) Q
0 u3 f W* M+ n/ K/ | t
3. 与现有 ABI 高度相似:工具适配相对简单。
: _2 {3 w" } ?* \3 v
' \; k# ~8 z: r% Z& r7 G7 k 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。9 ?2 z A/ t2 T% C+ r
- j: ~: d* y' b. x2 }4 E, A
统一树结构
6 O4 o! D& ?' V3 o1 F% \8 S* \' ], M
+ D2 Y" k6 ]% z6 p) C* F% I) G
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移3 M! Y. W/ z7 C2 F; q- \- p
' T7 }7 @5 c7 N' O7 }% h到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。! U% B+ }2 J+ Y5 o3 n
. N: y$ D3 U1 i 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。" |/ b3 B7 i" E1 f# i) p+ {# C1 K/ [
7 J# I4 M2 o0 U: r 从现在到未来
: J. r# Q( N! _* h8 J; P- e6 w' t, h3 c' J
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
+ K! a- w* X! o3 }! _% G8 M& S/ `5 M* r2 w6 a
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
& L8 j4 ]3 j& q" N H! u) G3 E. H m4 X8 h* a% l
我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存. L9 p: ^+ G) V2 N1 u J+ z
# w4 e$ `* k5 I6 n1 v在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。7 S) c8 n, Q" H7 w
* S) G: i2 O, x8 x6 ~
5 s! a0 U$ }& u) Q- G* y8 S2 d6 O/ |1 B3 ^* }% w6 m: Z9 F* Y
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13716 小时
本月在线: 42 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|