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] => 28829
[posts] => 470628
[todayposts] => 1
[yesterdayposts] => 138
[rank] => 2
[oldrank] => 2
[lastpost] => 2782526 这个熊市里还在排队上市的加密项目们(转) 1763484399 caoch
[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 小时
本月在线: 0 分钟
|
|
/ _5 m x) E+ i9 L+ p7 p
) M% k* z- a, w0 c5 f* h
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V ( ]4 E/ c% F2 ^7 A/ U$ G
1 [; g3 R8 z" g+ P4 r( f& U或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
/ u% S8 |. Y. h5 S; S* L
/ ?) U, G* H: P9 @% F构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。/ E# U4 @1 }/ n4 P% A5 c
' z6 w5 u: E% Q9 H
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉/ F$ o4 d: m1 u) v$ w0 j8 @, u
) q2 K% V! `/ M, I7 w
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样/ m; ^! l9 }' F3 s2 g7 |: E( p# u
8 U |, F: J Z( Q, X
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
* t% L6 G; |/ Z6 }; H+ h/ k% I$ E( W9 ]
5 v/ i& a; x1 B0 D" A* P8 M5 t2 R 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。4 m, A+ B7 S3 J; s G- X
1 v: D$ e) V5 j6 B
比特币协议最令人赞叹之处在于其优雅的简洁性:
# ]: @6 n& R/ u! y; `9 \7 z9 f* Y2 \* q1 n' M/ _
: y6 K" f% P1 D& U9 v/ P" U( o
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
$ ?# x: M, D5 @4 ~1 m- a# L; a' o1 Q2 r
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。 X, k- ~; y# m9 c1 H3 t
. s; [: s) p, u; ]: R. |! `: C! k1 X 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
* V. g3 b4 v9 ]+ z$ p0 |/ y! t5 B0 @# z7 ?" d; u5 w6 d
仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。4 T2 v5 J3 Y6 f0 b1 R
$ i4 r! p" M' g; O- d* E' Z. }
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:9 w& Y7 S% _4 Q
1 B' T4 T" g5 F" j' p# O, H- ?6 w 1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
B$ F: v7 Q7 b% z; E
3 ^% b2 R' v9 F Q 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。) w/ g# i) m" g9 Y* y+ S. J4 k
; X$ [. X# Y6 n# u" c- |3 |' D 3. 减少维护负担:降低长期协议维护的成本。
1 A: ?1 q# S! M3 N m" |( U
1 |" U+ D. y$ C5 V2 X# {. L 4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。" W% P. }/ h) Z8 N1 j& Q9 n
* `% } f& ^/ ], ^! c( i# _ 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
: {& H' t, r, i4 q# K( y, X# g9 v3 Y
7 o* S& L0 E0 M; \- h6 ]7 _ 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。# c2 F4 q1 N$ _8 E! D- z
6 U" O$ I% p1 }& K6 j; {* |2 A
本文将探讨五年后的以太坊如何接近比特币的简单性。2 Q' s6 i& a- z' V! L
9 U+ J2 @ y5 {& i
简化共识层: p5 o1 C& y" a2 O/ V
2 R' |5 |( u: R& O# `3 ^' o" O6 E
/ ?9 g3 p" b$ c/ }' o
3 c: y0 l5 l6 V4 _8 _ 新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。" I, _, p7 s! V Z& V1 a8 D
+ a" g- Z; ~7 h% X7 _, k( j. M
相比现有信标链,新设计显著简化:
5 j. [4 {! |8 w8 O7 G/ F. @; Y
2 Z% L' V- q( q% d 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
5 D2 Z; g3 \1 \& U- @- c' t2 u. f) n
1 a2 q) f4 l5 i9 w: m) d" P$ |/ R约 200 行代码,且相比 Gasper,安全性接近最优。$ M: t9 d+ V& o/ w* F
4 G" \! E* B+ q. x) I/ U% Z
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。0 u4 w C" D# ^% p4 \& t# Q2 ~1 u
2 r8 G; S6 |6 k 3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,4 h' P/ b6 k/ S' V) ]
6 r" {$ y+ v; E" R4 ~# K系统性风险较低。4 K4 d* O- B9 b) d
( H8 t L0 Q: J: i' h 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。6 K$ l! D& Q Y7 i1 R$ h, ~7 S5 a$ l. N
/ o' c1 O4 i* \, y( A7 ]
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
. q( c# |9 s) j5 b3 M4 h6 N( d
+ q( u! b' W8 P1 y2 f1 i8 q7 v# Y 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
, N! ^) j5 d; T+ T! y' N$ H' U9 f! d, k! z# f/ Z
简化执行层9 a* n" B! m ~; V8 {6 j
, h% O) Z ]) S. Q- t$ H EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译
$ x, @" C# H h+ U, Z: L
7 R9 q% H1 j/ I* q/ Z8 k% N$ N% l2 Z(precompiles)为单一用例优化却鲜被使用。
# a7 T0 [- j" T6 N) Y6 s. d& a4 i2 c3 \4 V0 n+ W# i
逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显/ h+ A1 [0 j# ~0 _; F8 u- V
8 J, y8 N1 Z ~7 |% I/ \示出类似挑战。
! m. D- E* o1 i' A
$ e5 B6 K! w5 m6 c1 q9 b 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以8 Z# x: M+ H; g
8 O& G% M5 N$ B8 _3 g$ u4 Z实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
8 @% Y- B( E4 M" ?
7 u' z. T1 ^+ q* L8 s以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
2 m6 K+ u$ h0 w: ^7 Y
& A3 h2 d1 l5 x1 ^! L% ~# F" z 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。' B+ ?7 o% D X
" d8 Q0 O0 t) R' d' H7 ]2 Z% ^ 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
( a/ w' h `6 s+ X- C# O3 [' l i: a4 t: I6 M0 k6 A& Y
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。( [; E8 ?+ T3 k5 b
4 k" L( t. |' l' o% M$ n, |( p8 D+ ]2 o
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
?& s: s* Q+ \. f- c% ~+ q/ D% J. z& Y2 {
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。$ T* E& Q K: D) t9 K, `
+ I3 d5 z1 M, ^6 m" f6 l0 c7 Y M
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
# s" f& F& ^9 v/ f* K3 Z4 X4 ?6 N/ V% r5 z
支持 DUP/SWAP17–32)来缓解这一问题。
+ s) _. H7 E }, Z3 x7 S! H( }' l3 K6 x0 Y n! b
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
L- C) r& y! d& j* l6 n
5 }0 b3 n9 f) c0 x 虚拟机过渡的向后兼容策略) d5 R9 U/ P5 e, N; @ j5 z
4 T; h# D$ Q5 `& `* Z
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
$ c% J) ~( s( q3 L* g, T$ J8 {
4 v( b- Q! p$ Y I& e( C9 i 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
- e4 L$ H8 w8 @2 ?3 T, B, O: c, i- o
) v9 }* c; f) ]# O9 v
2 a% |' {1 X" C 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
9 q/ p( R( f: d8 d, m6 G
5 k8 ~- S8 M- T0 V2 \, W; m' G% J 橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或0 s0 C7 J2 F) e4 i' {/ h5 Y$ [
; a/ j4 D. g3 v2 V* O) `" c. B7 O9 t
形式化证明器可完全忽略橙色区域。
; J l2 i. A0 ?% j% X
! x5 B7 M5 w* o) _( o1 }4 x& R 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们( k- h3 y1 Q2 t P
% H4 d5 [" C) v6 r( g( D% F( t用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。' }6 K+ R1 { U; e3 I
& C2 z5 z3 j0 r6 J# k 橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
g0 J. `$ l& |4 C; I# H- g, M6 v# A+ j( s" J# b+ j
域的代码复杂性远比绿色区域的复杂性危害小。: @7 ?4 c4 d- D x
% U2 E3 r2 \: T1 v: x" n
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
3 j- V0 Q* }4 W' Y# `1 h& r1 B! ]1 a6 Y% \; ]3 h2 ]" E
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。2 `" x9 N( y+ N7 W% q9 q7 p
- @7 z& G& x1 C" }5 S
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。4 g: P8 z- T- \3 Z; _
- D/ E$ ]( r+ y" s9 C 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
, D7 I) q D) m* V$ ^( [& p+ ~* p* N6 T' M7 P
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
- J) ?0 E+ @/ B* L; R* \$ I0 x. R+ N7 r7 \$ i* _. n- D
4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。$ \) ^& |" ?$ Z. D/ B7 L5 @! r
$ I+ J0 R3 \4 D5 j( O0 |( R; M' h) F# c
完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。. S1 Q1 r$ Y+ k0 j5 t! Y b
% {: l' s0 o. J) T7 w! M! k1 a5 O
通过共享协议组件简化
/ ?: z' ~7 @/ o1 l& P9 z4 T7 o/ E6 f6 X* b/ C4 e$ K2 E0 d; ?' p* A
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种
1 G, o2 s6 x) v8 h2 d4 Z% h- o! V. v3 M% {0 S
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。* Q3 D. I' C, k$ t6 f# s) Q3 ?% |7 Y
0 w- f& N! \6 Z! d 统一纠删码 q J7 m; V2 f- K# a1 a; ]7 Q
! A: Q6 @* I5 F8 G6 E
$ I4 _% D; G0 o' k% s0 i8 o6 A( N
我们在三个场景中需要纠删码:, W3 p. r+ D; Z8 M- B0 V! q
5 W( h) |6 b% `1 O0 j 1. 数据可用性采样:客户端验证区块已发布。
7 Y4 Z9 G6 _* E- n) L
7 f6 M9 x6 u9 }) ] 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
. G& Z D. ?2 W* b8 V; n6 m0 g: O9 N2 W7 W/ {
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。3 W! j7 x5 T0 N2 ~
/ V8 ]9 y# r& t& C9 h3 l
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:
n" x4 h+ l, t8 N; q' a
% G; b0 `) |' d N 1. 最小化代码量:减少总代码行数。9 F9 d C' B+ M/ Q
8 a' A) d. s$ I/ k# w7 C% t. G
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
& @4 o2 R& {& i
9 N+ ~. n9 Y( I$ V6 w. r. ? 3. 确保可验证性:所有场景的片段均可根据根验证。
% E$ R! r, x7 V# O" \3 `+ g; ]5 B% f$ s* |" `; x5 [6 _) F
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
, v, x) q X' s. b/ u2 @% `, U/ \
统一序列化格式, b# }7 D3 C7 t
; z9 M' z. i5 N; j) i. F/ Q! {" R p' {
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
2 l j. X2 A2 U+ F2 t, E! m# w' q9 Z8 N" z! I- J
度将因以下原因进一步提高:
" A# t P. T8 [/ Y$ ^0 P1 }, n7 `6 ~. J0 M3 g3 O
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
( N! j. @/ Y+ R) B" g. n7 M) S* c
2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
K5 s1 Z, q- s1 j* z; c! B$ y) p8 g! i: i2 d- p5 c+ d8 x
届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
& i/ g5 A! c3 J; y/ S; J- a; F0 l& O$ p5 w8 Z( E+ o2 F. m
我提议使用 SSZ,因为 SSZ:
7 ?# e. P. Z5 \: {) a- B6 x5 Q$ H2 ]
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
) R9 Q4 u. C% A* P$ `$ T. Y4 E) _9 }9 e; U$ C& e) Q5 _7 o7 ^
2. 已在共识层广泛使用。- w) m4 v* Q/ y+ ]1 m! n! D) K
! I& q6 {( G( V
3. 与现有 ABI 高度相似:工具适配相对简单。# [. @* o. `, h. i* w
" e! W2 a' G* n 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。$ Y d8 [9 h* J9 p" t4 M
) o5 G, z/ B9 d% P% @( [/ d
统一树结构
8 y5 G- y( ` g& s4 v- N# V8 F* n7 S4 z1 S/ O3 [
q1 I2 o# O! w& [4 W5 m
若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移) A4 M P, }& s- ?! v2 l! w4 }
4 t$ W/ _0 l) p4 a3 | d0 H' O
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。) a \1 n& A- `. M0 p
' O0 g8 E( k C! J: E ]
迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
2 K7 U2 L0 X0 Q+ y9 g' A& c* Q6 u$ F# u! V% B9 w
从现在到未来
+ f3 _* P) j2 W( s1 X& I. U! A- e8 _; A& S( |7 V# t7 h+ u
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功7 D" n U# n/ _' h @
8 @- ]( |2 _9 [; C能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
. V {3 `, K9 ^/ d' G- n' {
$ h$ i; n& f2 N5 D( k2 Q6 |& k 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存) N" O- n' ~7 s
9 D% c/ A; v* o在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。& H, a, k' i3 V
- ^$ M5 {8 z" W6 P6 \/ Y5 b! d- X$ e+ K1 T% w6 D* n8 l. E5 P8 K
1 ]1 o9 u2 O/ W8 Z+ f |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13523 小时
本月在线: 50 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 46 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 6 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 19 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 1 小时
本月在线: 15 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 5 小时
本月在线: 30 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 45 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 48 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 15 小时
本月在线: 15 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 105 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 分钟
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 30 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 134 小时
本月在线: 2 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 136 小时
本月在线: 45 分钟
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 11 小时
本月在线: 0 分钟
|
|
|
|
|
|
|
|
|
|