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] => 29399
[posts] => 479457
[todayposts] => 45
[yesterdayposts] => 111
[rank] => 2
[oldrank] => 2
[lastpost] => 2800409 窃取ZF4000万美元钱包的嫌疑人是已被查封的加密货币承包商高管的儿子(转) 1769409172 rainwang
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12613 小时
本月在线: 1 小时
|
|
0 K. D0 y. _* m& c& i! {4 O
. u0 Q6 ], e) ]! F+ F T& `9 T 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V $ S, q6 z, r8 \: K2 @
8 R( B- A1 T! k/ t, a8 e
或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
, b* _2 A% T! g: a' \) u' W
- A# o) Y( d& @; a构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。) |! c9 o) ]( p. c) N6 b3 @
7 d5 i/ M! ]0 r) a w
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉1 g# B* n6 B, _1 g/ U) x
1 |7 L7 T* i" X$ j) i" g/ [' N计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
. Q/ c/ X/ L7 g0 {2 B" s' A- x! ~) A/ g2 C# t; K
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
7 {$ q% o& ]7 X! }
$ `: I- e z" x8 V0 Y 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
+ M) ?$ P! S5 T4 [* V. F; E3 q' d4 y& g
比特币协议最令人赞叹之处在于其优雅的简洁性:
+ J3 Y+ C& {& g
7 b- G2 [$ K% V; \& S K0 y9 e; |( o
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
) k8 ]1 q9 J/ g$ j7 r. {2 }0 d9 M7 ]) k9 R2 a9 y, H% H/ P
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
3 k/ N, @* H# _ o, H; G7 \0 ~* F) @
3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。8 }, o" d2 Z1 L: A/ L: L% U( D/ D
5 j- v3 z" Y+ w" a' T; E4 C$ ~( v4 p, X 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
# y- e+ Z* q \, D- m! H) O( c8 \7 U4 U6 [
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:( [$ K+ o% L" m5 e
. ~* [+ y5 m8 G6 n/ l- k 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
% D8 b: N; U. x7 I4 m# Z l! C2 U
, k/ r' S: G$ Y$ @! R3 B 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
1 t/ l& ^0 @# o2 `9 J9 y6 r8 j$ _1 N5 E7 A* r( y( @9 c$ {# Q
3. 减少维护负担:降低长期协议维护的成本。
/ `) \4 v+ _, d2 b9 S" v* e
. h: {$ U, j6 O2 L }/ Z4 m- R& x; G 4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。- d& H C5 K9 l
* Y$ _" t( ]; l, R
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
$ @# f3 j2 L6 p+ W0 {; M' U3 W O$ d. [7 T
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
/ w4 X# ]5 Y2 I) X# T B4 \4 R
! s c$ D% ^2 m( J2 P7 } K) ^1 M本文将探讨五年后的以太坊如何接近比特币的简单性。
: ]$ H6 |- ~( f- B6 @+ A6 U0 K+ ^5 L2 p9 ~
简化共识层
7 `/ d( o$ z, z7 O$ `# @8 z! Q- R% F1 t9 ]- @3 w6 V$ a8 }, ^7 w
% A) C( ]9 d0 x: Q: b0 n/ |% P
( _. a. @3 o1 ?$ | 新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
! y, R: A/ Q4 E3 G+ ^7 A1 b/ L4 S; t$ D }+ L
相比现有信标链,新设计显著简化:3 }- N8 R/ F8 e; B X
0 P* e. _8 X* a8 ^
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
k3 f3 _* j+ k- m- I. M* d0 i8 V. _) V/ J8 K" f
约 200 行代码,且相比 Gasper,安全性接近最优。4 r1 n! v% ] R% z7 R0 }8 K- a
/ a. X: @0 { F3 E% d- `
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。 l: u- E4 W; R' A# x/ O" v
) j; {3 v8 v5 B" ~
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
7 c( k3 S7 v6 H+ _2 V+ a: T! ]7 ?* \' ]& M# U
系统性风险较低。0 V _! ^0 x+ S* a1 w) s4 x' w
/ B4 X9 r& w ?
4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。+ V6 `( z$ J/ x! p. ]) t9 L
3 w3 j' ~& L8 {7 U! M) I8 k4 f# N; h7 a
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
( R! y4 M. l* z0 u* G" {& r8 r4 E7 @) u, x4 [5 H# Y# {
共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。' v. }7 p2 P) o! `5 G F
2 g( ~0 h2 B" g, D4 e" O. i5 x2 A 简化执行层1 Z: E3 k. x0 a
$ W* q6 V6 a5 e6 G EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
$ H5 ]% R" h) o- F/ g% L/ ]7 w; r6 W" r
(precompiles)为单一用例优化却鲜被使用。
% a4 B; X( t* X# K5 ^+ c z" D3 J9 H, u' A5 l# s
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显
5 N6 m' V( y4 b+ R! E( V" K1 b: j
0 R \, J& o+ ~示出类似挑战。: v" Z7 d( N5 o! w# U+ L9 ]
2 v$ l6 @% R- D7 j# v# }
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以3 m4 F: Q, h2 w( V$ W" X
3 p x K% Q# N c' Z0 O ^ m: B. T
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或0 W. b8 I, G r- ^" U: ~* z2 l
/ X2 E8 d% a0 p: U& d% i$ d# b以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
) D+ V- T0 ?3 O( [1 e& }7 u6 P0 b; o0 O0 O
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。+ t+ x9 D: H1 P
+ l" @) q. ~9 ]# R2 s: a6 s. } ? 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。" \; u2 ~% X; G2 g! p, Z
! ] {/ b" W# s2 v' v 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
! K: J0 [. X5 \# Z* p/ K6 s
" v5 x, V# K9 [! m/ b9 M 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
. P7 B1 s! R5 K' [( r1 c+ l* z3 j: q! K2 `. w+ F
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。" v0 y. O8 `# [3 ^: c% L+ K
6 x3 u5 v: B! O/ V" q) c
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
& L2 J2 Z2 c; G9 L2 y: f# l! D1 u4 \% Z* x
支持 DUP/SWAP17–32)来缓解这一问题。1 s/ e2 A/ n8 r( ]& X$ p* G
0 ^; p( n8 b7 V x, j 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?# ?; s1 O0 P) ]$ ~% D; U
0 ~! w% O7 [, k) @7 J' y! p5 |0 w- J
虚拟机过渡的向后兼容策略
6 [. X% ], T) v+ | s, d& N, x
# X; F7 B' {; I( u' F( @ 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。, Z) x2 M/ m* s, a7 [" D) \5 w4 `1 V
`/ @6 W: y8 E& t 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
% i0 A7 U% W3 ^7 {. {" _7 G0 U8 _0 s! x0 n, t: ^5 w5 Q- J8 h" R+ R
& j1 f( K2 u M( [# m0 B7 H
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
/ }: i0 [3 o2 l5 X6 a& \9 r
% m) u& U3 |: `/ l* |2 x 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
8 u: P9 } U9 Q' u0 ~ m
5 D" }$ x! K9 B$ R9 \8 F% {形式化证明器可完全忽略橙色区域。& a& J; n/ m* K m2 [" G! D
" ^7 I% n, b4 [$ j" i# ^4 ?5 n 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
2 K, z$ Q0 `$ i) v( k: {- Q$ L+ W P% Z- w9 g8 l
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
- K& b% N# [2 O. Z6 d. V3 Y/ G' X* i0 @6 D% d0 v8 X
橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
2 F5 M* C) Q: w; n! |
' x, Z3 J( L0 [- b+ `1 N' f1 O$ }/ B域的代码复杂性远比绿色区域的复杂性危害小。$ U& b# z5 h7 a
* Z/ c* k. L7 \- T3 [
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。2 n8 I A6 ?5 s+ @& h$ |! j
, x: e- v3 l6 u, s @
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
$ y" I, n8 b% W8 W2 u
6 F# ?) |; a* o% o 2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
' y/ t6 p3 N, n# R* T) D7 Z8 r, q; ?0 A0 _( t; _
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
; Q$ _9 r% v7 j# o& A' P, @, Y$ v( @2 r2 G, r6 l
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。8 `9 L9 Y2 m9 V! F) `. A a
. b' h2 H0 R* W8 i 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。% ]3 T+ h5 x& t8 ]
7 R" F1 X& L/ v- Q/ Y
5 u/ }. o1 X7 ~0 e 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。
' M+ j9 l+ o& o: W0 |! O3 V: l1 p; Z5 C, k
通过共享协议组件简化
2 } Q& \. P/ p& E0 R. J
. B4 @! s. d3 h0 l6 m6 R 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种) ]3 |1 Q- @/ }- S
m5 ?, N6 w$ M. e! T1 C7 L% g' C9 T+ V/ r模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。$ J( ?/ A& N" a. a3 R
1 @0 U0 y& K1 A. A 统一纠删码
: P) s3 o) m& I: o; L, s& f' g( Z9 f* v% o- ~( V. W# h5 G
/ y8 h" M6 p4 a0 z7 y- {6 W 我们在三个场景中需要纠删码:
2 x" z, e: t7 J% V! A0 t7 ~
' b* L% L M- F! J0 E 1. 数据可用性采样:客户端验证区块已发布。' ]3 z4 E) @% ] f
, y* ^7 g& \) J' j4 f! D4 w 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。% J' G4 ]. e0 m3 C D# O% e) B
: _ `8 I, i+ v/ {8 ?, o 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。. ~, r* ^4 C( W( t' Z/ D
" K0 I) c1 t3 y
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:5 G3 ?8 F2 r6 X" w! a
* D- V+ E/ d2 j' y5 ^6 i* @& @; c
1. 最小化代码量:减少总代码行数。* q- L6 N( e* T8 b
2 O. _+ p' ?4 q) w
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
^4 T. ?7 W3 E! ^5 y- [
; W& v: j5 x8 S: K M/ z( j 3. 确保可验证性:所有场景的片段均可根据根验证。" l; j7 ]1 M" y' x, F! v; [% g
, p; f4 p i! O( C; w" X
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。 @& `# {# Q& e# k
% c) Z& }1 }6 X8 `# J
统一序列化格式
+ F( k7 j9 {6 t( H/ z6 o) Q e% H) s
. L$ v0 w0 q) ~8 K. q2 P6 c% u3 b8 m2 a, M9 z
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
~6 `# i1 g U. X9 K5 J$ F: i) M' E1 K* q5 j
度将因以下原因进一步提高:
; }7 s7 P C; B: E9 a" e9 Z) [4 @6 W$ j M. r
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
b, Y4 L* c+ K1 r* X! x& o. s) H q1 M
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
+ A; b- x6 E+ x- P) I: ^; i; \1 W0 J+ C+ \
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。4 Q$ |$ s1 v4 E
: C% r7 D/ S$ m3 C' M1 @ 我提议使用 SSZ,因为 SSZ:
2 n4 A P4 T6 B7 t, ?! w+ W* ~- C) q( l" q. ^
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。; r" `$ ]! u5 J% a K7 a* B: i& F
$ }) o* v" d2 N% I( X
2. 已在共识层广泛使用。- u" }' W# n8 X2 {0 M( j& t4 |
4 {7 J, g- Z7 [8 y! H6 w4 N
3. 与现有 ABI 高度相似:工具适配相对简单。
( W. Q5 y/ L- m7 s# h+ m' q" P+ }# ^
/ U! f- G7 C( F# n; a# \/ ^. _& g6 H 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。# r9 h, M# z8 _: n% ~1 T7 E/ j
5 Q2 O9 s4 w& K1 t8 _
统一树结构
! l" V2 |. l6 r
% n2 P6 N+ p; w% G
' E7 W+ t( m, [6 x6 F 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移" ~& c9 F7 f* u9 _ `4 |; g
1 b$ Q2 V3 u; {, X% {
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
; u: k& [- w! a
0 F" s4 d9 O4 |. D/ b$ v+ ` 迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。9 n1 ~0 W3 X9 u7 l
$ C c9 B' M1 V' c7 P
从现在到未来
7 y; w1 e1 y+ b3 P9 F2 I
1 d& L' e1 p( r% l+ P# V4 z* _) h 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
! O' k* | b8 c7 ]! v+ `2 v6 m
. w' l3 A+ B. d4 z( W" V: Z能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。( K7 I. f3 C r a8 ~8 K W
% Z. A) E/ ]& s- n1 y3 \% L# R' Q 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存. V `/ i* o1 M
6 A1 `# o. M! ~+ K, D* O( R+ \在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。
6 \# j6 C0 j0 y' Q
/ @$ d; h/ _- I5 K1 n0 Z( R2 Q* F5 ?: S3 [8 g8 l6 D' c
: j4 x0 T+ `8 s# b8 q
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13662 小时
本月在线: 51 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|