×
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] => 28213
[posts] => 458305
[todayposts] => 5
[yesterdayposts] => 413
[rank] => 2
[oldrank] => 2
[lastpost] => 2770283 NFT 文化变革,PENGU Token 迎来重大里程碑(转) 1759255557 小钱儿
[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] =>
)
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 12606 小时
本月在线: 0 分钟
|
|
- Y! _4 c) t+ x' K% a8 H
! s6 N" D( E* \* [' J2 i% i4 s 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
: N# Q" b4 M5 r( u8 Z1 J
9 i6 D5 _7 h! N0 R# P4 j或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
/ l) ]! x( r4 W8 H3 q6 l" L% t" k' s. [4 n d% U" T
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
7 z. V9 N% r0 Q0 k. X6 ~
* E6 c! a$ L0 ]% W% {7 n& X 以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉9 d! R# z) n2 E2 P7 v+ N1 `
9 O% d: b5 r. q" _. K+ J
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
! A, R/ k* Z% m& Q# i, k3 [9 w2 ~" ^) Z5 g% X; L0 U% V' K* V
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
- k* c; m$ @3 F: Y: M# o: e$ t& I# x7 g* t
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
2 i; }- ~. V$ g) ^4 ?4 l; d! L, ~3 F
比特币协议最令人赞叹之处在于其优雅的简洁性:
7 Q6 T+ n1 A$ R X0 E9 ?/ P) {0 g: n& q4 g4 R5 e
- i& j; u) @ x2 _
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
3 r+ _/ p( X' q. e0 N0 Y5 M
& ]) T& a; z# b* P" S$ t 2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
& m Q9 Q2 a9 H
2 L! Z7 E4 P7 m6 _ 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
5 m7 [6 S: m' ?$ f
/ w4 q+ o8 } D5 | 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。5 h: I+ @) Y, s7 V$ Z1 I
9 i! ~# G5 G7 v& i! Z5 b# m- ~ K4 C 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:4 _/ K: u: n6 g9 W4 j! V/ i
2 h; u- r6 E5 o8 R0 P9 m 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。, V: ^6 X5 h0 _: Y- a% f7 ?$ g
+ I% F/ c; _' Z: Z% M. S7 d 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。8 f1 ]" S+ C x6 j' \
9 @0 m. C" v2 ?2 P+ _0 C 3. 减少维护负担:降低长期协议维护的成本。
3 _4 [0 S" h6 F, a9 R' c2 i3 ~/ e' U/ Y9 U
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。
: r: k; \4 [( W8 @5 p8 j- C1 V4 z
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。2 q, P! E p2 }0 N+ y( |0 L" H
; i) J' x6 ~! i2 ]9 P
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
8 N# m' n# i: N4 q9 n4 h- E
0 v+ j/ {: X! ?, h本文将探讨五年后的以太坊如何接近比特币的简单性。
3 b9 R+ ^6 e1 |1 o7 u6 t# o$ h+ N! ?9 ~
简化共识层
' c5 ? L- ?7 s
! K( c+ x0 T0 J. [$ Z 5 s* c o7 n0 s. l# T! F& ^3 b- X! }0 y
; t' t8 f7 u. n% ?
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。- E2 h1 N1 \3 M2 E5 c7 _
0 [; n- e* m$ g$ d- \! o7 A) G& B
相比现有信标链,新设计显著简化:8 L1 M* |5 \9 W5 L3 @
' j9 t4 X- z' w9 ?1 k/ l( G 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需0 |# v0 R! ^: D# C! K8 A
5 a I# B: T& w- U0 e' ^( T约 200 行代码,且相比 Gasper,安全性接近最优。: ` W9 U9 ]3 N& J
% i; r* ^" o1 D5 |1 L) Y; m) H
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。
4 r. d1 S7 [4 Z0 t# [6 {0 I, K+ k+ L6 i8 g5 O
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
/ P& W( L3 j6 c: Q3 H! n6 r. o- b+ [ w) Q$ }2 O
系统性风险较低。
0 f" b9 G$ Z: L) I5 u7 M
0 J2 F/ u8 s6 r0 @7 H 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
2 f6 x" Q K! Y: y6 q
' @2 e" e# p" S 5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。 p' e: J: `$ K! _/ U& T
0 a4 f9 i/ D: g6 i) H6 W) ~* g7 a1 m 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。* C5 o8 D' A3 B, a A1 ]
# `2 K( e6 L% H; E 简化执行层
6 `/ ^3 _1 f. }0 n+ {3 d
5 v7 v) @) u/ V) r: ^9 |% y EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译/ y4 J, X5 i8 k' R
# I7 A4 t* O5 B$ n5 a( y
(precompiles)为单一用例优化却鲜被使用。& ?. o. r& V+ I+ M
3 {) V+ ~2 s1 b% p6 ` 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显
9 @% B5 w/ s! l7 Z! Q
1 b! f5 F& H$ b% P7 t2 Y示出类似挑战。; j% t0 y f8 @4 v O4 B
' ?7 U1 F5 s3 X& i# l$ B 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
9 S- Z7 q( ]$ i6 F5 l8 i8 u
6 }3 @3 u% U9 P9 ]3 a8 _9 t实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或! F, t j5 h; ^5 J% W3 C$ Y1 D$ m
+ k$ E+ u6 f8 |! f以太坊 ZK 证明器使用的另一种虚拟机。这将带来:9 @ J. Y" @. Y' d7 {( o
9 o, x: e: e- B& s5 W& b
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。* z! K+ z& ?2 W6 k+ g( W' d
! d% ] F2 m8 G4 R& R( P% W
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
/ Z( G# B: _5 M0 ~8 k: O- N3 D$ d5 O2 Q1 E# p) {4 a
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。( F/ n6 ~4 g. ^ R c5 P' p
' x. O z" x( z$ S
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
* B3 B! g- R( C! S$ _) I5 D1 O# b! z/ |0 y
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。# R2 d' T V, t9 E! @
9 p/ ]& ^7 w! b& w% s+ V D) D3 p 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
6 _0 I8 L$ t. q) Y; k, a
+ j/ u" b$ M q! w支持 DUP/SWAP17–32)来缓解这一问题。( [7 I6 a, W6 s. s1 j9 _5 l
, x# x% H! s" M* r
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
^3 @( H$ O4 [& U( f; t* U4 `+ A+ `( F" U" U
虚拟机过渡的向后兼容策略
( o% u0 V. L w4 X8 Y. q1 p( b5 F8 p) F, k+ B9 |8 N# m# N
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
' U8 p; | }, `6 }1 M
5 F' ^) h1 f, F0 }2 a% ^. [5 l* L 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
* t+ l# f" h# ~" k4 |5 N3 R# H0 b9 g. g* @! h. G
x! x0 J7 L( f6 ^4 o 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
% W7 u! Z0 i. }, Y* u
3 [! e$ O ?' i) P 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或1 }0 M* @$ D6 P1 I5 |
% O1 r% o+ y; A, y. I: s6 @! I T形式化证明器可完全忽略橙色区域。
# r% m, M6 d) I4 t" K$ p- u; N$ T7 h" ~! Y. [( O
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们
+ b- r- i5 X# _8 @, p6 b3 A( [2 |: w4 }
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。! Q' \$ v' S6 w! z4 }0 G/ i
+ E& H, E- W3 D, d
橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区: A# a6 _/ c7 }9 s6 y i
4 O3 u) x: M; T+ m# h }) o$ E域的代码复杂性远比绿色区域的复杂性危害小。$ J( N( d+ g' m
$ n, x* v0 V8 v) O4 s& L% C 将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
/ k3 P2 e+ I* X0 z+ \" Q j6 m8 G
. a5 C' ?% z4 c* N 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
4 C2 C7 q4 s5 H+ f" M7 ^" w6 E" v8 e( `; T- G) Q; X" ^0 z% I0 q/ @3 D
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。# F+ x! W/ Y: H/ P' H1 p! y) y9 q* S: x
, {; F( E: U. C. O6 ^! s; R9 l9 \ 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码" ?: @9 l+ C) r6 _& N+ O! V1 [
B, I1 A. {2 Q(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
) g K4 C0 b$ _. n8 z/ Q( y1 y4 r$ b. S' c/ z$ o
4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。1 G5 ]$ G8 G8 W7 e) e
7 \1 d% I m+ V9 a2 n- l9 H% v4 [
7 [6 c! ^8 L* a8 k% E* X& F. ]
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。0 y; [+ K& o' j# I+ A$ M% z) m0 n# N& C
9 m. n9 C" r- C8 j 通过共享协议组件简化
/ k5 ]5 u3 E& B
9 N2 Q5 ~9 M( m g+ |7 `# b7 B- i 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种' {1 E- x8 L: Q- c
: ]0 Z8 C+ S" D, _! d
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。! W: S1 [2 b; q& e% D
$ s u/ U% d8 ~& K3 K- t 统一纠删码6 i1 W( ]. ]: r& f4 n
; J+ w* r: [/ b* j: j, x: J/ Y
! S8 Z2 R7 y E) [* i p8 V+ [
我们在三个场景中需要纠删码:
+ Q2 }" c6 @0 c6 c/ Q( `% |6 P2 d
# E+ E* Z h4 B, r 1. 数据可用性采样:客户端验证区块已发布。
5 k' ^' K n7 `, g( T2 t# Y8 a$ T7 m% T6 x! c
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。8 d% }& S& [) p9 S
+ E5 z* m+ A" \ _8 p; j$ i
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。' Z0 G: U4 L7 J5 S/ W+ W
: X9 [# I2 P6 j# k5 M' j
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
3 |+ w' w3 A! R! P
/ c5 G; W4 i. Y# V& n 1. 最小化代码量:减少总代码行数。
4 w u0 u5 ~. D/ V/ c) U" X; p; G. E
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
2 x4 _6 e# ?. b2 e6 ~1 v9 H0 @' o
3. 确保可验证性:所有场景的片段均可根据根验证。8 c4 [" C. O* `% g( |' z
0 f, `: {4 m s: d' _2 P5 t
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。; [" H; W* d$ y+ \
# N3 S3 o! [, ~( G( o1 b" i
统一序列化格式" b+ A; P# k' E, K! k+ B
& o$ [* a! U5 t5 o* |6 R. P
1 j$ O+ U, o* X7 V3 R% F 以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程# D; I( e+ C9 C$ B, {1 E7 M
1 }* q2 k1 q) n+ X2 {$ q4 s度将因以下原因进一步提高:8 t6 K5 j, W/ ~8 v& i
+ z$ f; a r2 ?3 f; p 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。+ ^# a& u" q, b
0 M! q' n: |; _. a3 H9 M 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
3 u& W" W) w3 z8 g& N. u3 V8 @& `2 a! W
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
6 T) `$ K1 I, i" P9 _6 M
- s4 i: E/ K; I 我提议使用 SSZ,因为 SSZ:
1 [: T! ?. {; z5 ~5 z& J; P
! Q' P) _; E1 H" ^ L 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
$ Z! Q/ I+ ?+ p, z5 L4 }& C1 z4 a% x7 y5 I+ Q* j$ a7 V) e9 f1 C
2. 已在共识层广泛使用。
1 Z3 d2 g& K7 n7 C1 r7 ?9 T
- Q: D5 a4 \3 j0 C6 p9 d 3. 与现有 ABI 高度相似:工具适配相对简单。
* ~; J6 D0 X, J2 h. d* l0 n
' u# G/ N2 I5 Y% t! q) Z 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。! b6 h N4 n3 R
8 a f5 _, V& ]' K! s+ x 统一树结构
/ l$ [" x$ C* V9 z- @8 {% F1 r' a2 |6 _0 f. d" u: J
# d3 R3 ~8 J: l 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
6 _9 I2 O0 e+ P( O5 Z& K) s! h2 z# ]) G/ }
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
! i; Q1 R( r9 o( {0 ?* q7 r _! \& z, r9 q* c, u b! Q# ]6 h
迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。; s& ^* |; _& ~: r
6 v0 m# U. y0 _+ Y" [+ v
从现在到未来
* Z& i' h5 M0 y x( L) U
( k* A1 v# q7 F6 v 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
* k( G. E7 j% [0 W, O6 e' ~: e7 J" p: t! y2 Q% i$ M
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。 ]8 q% k# `; { z3 o+ ?2 o
: Q* c, E- J- W d/ \ v% L 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存; o1 y5 i4 U2 r- m. S7 e+ ?
7 n$ s7 A& w- X# G' C; E
在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。8 `$ _3 e# x9 K n2 ^/ }2 D1 g3 D
_6 s, H/ x+ m5 Y' i2 f
. u: U. Z" s( V/ K5 C X* N/ S3 L3 O' t) p" d' J
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13399 小时
本月在线: 45 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 4 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 125 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 129 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|