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] => 30272
[posts] => 490695
[todayposts] => 18
[yesterdayposts] => 171
[rank] => 2
[oldrank] => 2
[lastpost] => 2818692 传统券商杀入Crypto(转) 1775234985 垂钓园
[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 小时
本月在线: 0 分钟
|
|

7 Y" w W0 A* {+ V% k. {; c/ L. b' j( b$ \7 Z. ~( ^8 L
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
5 C( W# E" G9 Z5 g a( q# K
3 x* F( T0 Z" O- P0 ]0 p, Z- q或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结+ U4 E0 K% W L8 p; `. J! }' ?
/ b& ~% Z$ m5 F- w8 Q2 g4 |
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。0 S& @4 b+ _& ?: H* y# u7 H
2 M! ^: G) ^0 V- R$ ^7 b* J6 U
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
( p2 U$ i& S! R
7 r3 h/ H' T3 p F Y: A计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
8 |! W& f- l& ?( K( t+ f2 Q! G2 z! B
, g0 O) l' [: C5 _ v4 ]. D性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
8 A1 n% R2 L) P; B1 k* H2 c, @; K, U8 q4 X' Q& q
本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。, _' }) v8 {4 w2 J5 Z2 Q. x
& e4 V2 P( @( T
比特币协议最令人赞叹之处在于其优雅的简洁性:$ w' Z! M9 d8 k2 g6 i8 r s5 \
- z9 A& V) p M3 X: q3 @( r' g m; x& Z2 b% E. ~
1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
& e" n+ P/ f3 t) c' F1 R7 }4 q0 n& G- V: G1 z
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。' w# _, E1 K1 P& k/ E7 d; g
" v+ e7 t; T8 _6 q 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
$ A* z' ]& B6 d6 V, m B$ r8 I; q* H7 s; _4 n$ e1 Y) l
仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
0 { Y n6 W* ^, f$ B. e, k. t, d- x" E! Z
协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:+ v: ^" @# A; M1 k, T9 y9 A( z
1 T* G9 h L2 d s+ B! v
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。 p: p* a6 N& ?, M, m& V
( ~# U+ i W+ J: Q& ^ 2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
/ Q7 r$ B) V7 O+ B0 H" H' @ M8 u3 n
" F Y) C( E: o8 `7 E 3. 减少维护负担:降低长期协议维护的成本。- Y" R7 `7 w: L9 w' b, ]8 q
# I: W, C$ ^, n& c7 n" ?3 S0 s2 ?( Z
4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。: m V- Z3 m$ V5 J
7 t2 O. H( i. D 5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
' d2 n6 t C5 K. v ]$ B3 G3 W- C4 S! P& [; e, R2 j
历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
; \/ J2 j1 ?. O/ s" }& H7 B
' k3 l6 b4 k. u" n& D本文将探讨五年后的以太坊如何接近比特币的简单性。
! B- |4 F4 H, F# h" \/ K' u
0 L* F, U1 Q% E& J. Q$ ^) y9 J 简化共识层
6 W a' a S T' @! W! [4 H! A5 c
/ i# k% \; a* T: H: A ! |1 F8 Z' E9 o4 t' S
& l/ H4 t- `6 s% ]& N0 [) P: X1 e2 ] 新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。$ a* t5 K5 Z; U0 ?9 x
+ w; s9 @. X: x( T+ F# q
相比现有信标链,新设计显著简化:
8 E8 ]8 B4 V/ ^! t( y6 N
) n; p( Y) W4 R0 ] 1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需' T6 F7 r9 x2 e. }
% w2 q: _' Q6 F& x8 t6 x
约 200 行代码,且相比 Gasper,安全性接近最优。) n& O3 E7 ]; O1 s" q$ r7 a
' s3 W+ Y" {; M$ t+ f( V9 b
2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。
; B/ a. a. A+ T# X& e8 t
4 _. L& Q5 D8 ]& M3 l; I$ O 3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,9 r- E4 D, ?' q( N8 k+ y
5 w1 J! e! d2 d! A: I/ K+ k$ o& w! ?
系统性风险较低。
3 X* D( t7 o W# N
1 q1 c6 C" E3 x2 z+ A3 u/ u 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
, Y4 z* N' c& c8 h: {3 p0 Y" n2 V* k w& F
5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
8 N8 M2 j5 W c+ j) ^
$ i1 ~; W) C% J3 `/ m! t2 n# E* v 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
' Z$ J% N7 T& L5 O; p' ]# l8 b
! Y3 } r2 z5 S- e* S( r5 K1 m 简化执行层
. P \+ H/ Z2 K+ z3 r7 y# g- \2 a& s# D' F3 Q
EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译; z* ` U* x8 R# s) E, B
. F+ P7 |3 Z% v(precompiles)为单一用例优化却鲜被使用。
* _; z. [% N2 o# F
. f: c8 m/ {& h1 c0 G0 Q. T 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显9 s2 b; n6 F$ E1 ?! E2 _% ] O5 \4 @
" H+ P8 M) l( k; H* p* y$ q
示出类似挑战。8 ?3 E4 p( P8 b& c' I* m+ s+ x
x. n. O) ]/ j
我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以& t4 W* K0 [3 U' `( g4 S6 M. x, r+ X
$ C* r _: @1 K3 Q! Q1 a
实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
7 _* R: x9 E0 U7 Y. m. H& L4 {' Q0 p$ Q. ~1 T" R
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:: x& k; j2 b8 k5 I/ u4 Z
$ L) k V, [" O) o7 B7 | 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
! H! e1 h9 f. v9 K b$ D r" x5 \4 \, r: o
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。3 D* ]$ b# t0 n/ U0 I; \( E
, m. c$ _2 d( N! ]3 c w9 _0 W8 }
3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
5 v& w- l p$ L5 K* V; {9 m
g, \. H" g) s7 S7 E3 G/ J 4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
2 \- ~( L4 U$ c% P; c9 S6 E3 S) e
4 N; x; D4 R* P7 j0 ^1 r7 S 5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。
. \9 k! j! Q! s& u6 z. e0 y
: i/ C ?" \3 ]3 P! {4 Z 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、
9 I/ e1 m/ C6 t4 L& S* N9 j1 A
支持 DUP/SWAP17–32)来缓解这一问题。
: Y; v% l" O' X- V) F
+ _, I6 Y9 ?( I* E' i# C 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
8 S# p }' `3 t( u, |* C' t/ Y- P, d1 Y' N7 |5 |2 f# Y" v
虚拟机过渡的向后兼容策略: a) l) d; Q+ T7 z t$ C F6 v0 c1 ]6 w
" w+ |- ~. m M
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。
$ q1 m& G! D& R* q0 Z; r/ w
% E( i$ S2 \9 G' n; t$ ~% p 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。& S$ I0 H5 i# m& W0 N. z/ _( A, C
" D: Y9 E+ p% n* i" d! j @+ w1 d( k: Q) t: \
目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。! g% T& s9 B# \- E F+ W
' r2 Q1 {2 Q+ V
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或4 P+ X: b- Q1 [' X2 z* X
7 G8 v: [ }/ `5 w形式化证明器可完全忽略橙色区域。
% j# O1 d" {+ }% Z0 s
7 M' n, C2 K$ ^3 B 新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们0 U3 ~' z7 G9 Q: U& K
6 V1 j, W" n; z* a
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
* m6 Y( w7 m( l1 w' S1 B; K# A% e3 S# J
橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区& |* ?4 i2 b% g4 T# W% Q
- O8 S# A0 K! h& N* M
域的代码复杂性远比绿色区域的复杂性危害小。
) X6 F6 ] }- u' \. {: y; C/ ^+ @2 v5 ~
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
% O9 b4 X% U* \
$ [$ }$ {# y0 a1 c1 K 1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。1 A3 j2 p0 B# A6 V0 D/ j, _
9 h5 l2 s% P$ ]6 w
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
9 O/ z5 s+ z. {% m2 w$ \9 Z8 z
3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码
# g( n N1 K: C7 v0 K0 [" e! b) R' V) t7 z
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
# m2 p$ V, d( I
! v; f8 q j8 l7 {* H 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。
3 i0 ]( m' U' F8 W: C0 U" ]8 a3 y6 {9 z- v3 Q% ^: v
6 u( O4 m' u5 I5 N7 o" i e# U( s 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。
4 P7 X9 ~, {. Z% B
% u( U1 i/ N2 h/ c 通过共享协议组件简化
x1 m. b6 l% Z, {$ [
/ r; G9 \6 W+ ^1 y6 T( Z 降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种, H$ l0 W5 j& d# j- w# N% V
7 k2 H- [! d: W( _模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
& ~5 I: G2 Y' `/ g; L* V& ?& L1 u' o/ `
统一纠删码
- @, F7 S/ G- k: ]% [- Q2 C* s. n/ Q8 B1 i9 {0 M
$ b" S2 d. R5 R" b; L 我们在三个场景中需要纠删码:
* ]( Y: @" P& P# J) |$ z
$ z- S4 R9 l9 U' D 1. 数据可用性采样:客户端验证区块已发布。+ U, w+ l8 ~5 x E
; |& n4 Q$ Z1 X; I r* o- F$ | 2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。
7 [$ r- u$ ]0 u: {, X+ i! a2 S" ^
* o& I; `3 X( J9 n2 R5 V0 a+ ^ 3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。
1 M6 L- r* J* ]+ {1 o; q
' [0 x& [6 J% X! M3 u1 P& w U6 i 若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:+ K, h; w% N7 I$ w
4 M* O5 `. L6 n$ {0 [2 d( J4 t
1. 最小化代码量:减少总代码行数。0 l3 r8 P5 L* V- ~& d
4 g5 R: m% _: a0 L! w( v 2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。4 Z- E4 P( N8 _3 Q
: k6 n6 A( k1 n, L- E2 x6 m y2 i 3. 确保可验证性:所有场景的片段均可根据根验证。
! ]1 `; `. a, }' s# D& ]; [- w, ^3 `
若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
& y: T" I! s" R: v" }4 i' e' p+ ]7 g! Z7 z" u2 g6 p
统一序列化格式
: J! `' U' y# t0 d; u) G& m0 w
! U+ ^4 h7 K1 Q! [
, V7 F1 _$ ]( E" b F4 |5 P 以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
' }! q5 c7 ]+ s, M2 l* J* D+ T
度将因以下原因进一步提高:4 X, i2 Z& L. Z' {; f B
+ {0 ] \! V( q" m) V) J$ W 1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
7 I ?$ }4 `: d9 E$ S8 a3 i5 F
# Y- Z0 D, W1 D, j8 }# I# p) S2 g/ z 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
: p6 T9 v; g- d) Y. k
- M' `" J- ^% Z9 ^, T6 A! n 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
) P' h8 c( d4 ?# | r9 E( \5 O: c8 ]3 `
我提议使用 SSZ,因为 SSZ:8 m1 [& I: \! i& d
# u% r( r |: j. o
1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
2 F, k- S7 x( z' P0 r6 h! u2 U# g, E! A% t5 Q6 ^; h/ z5 [9 e
2. 已在共识层广泛使用。! i& k; e& n7 L3 u
& I! b9 G0 Y6 V9 t: r+ P' m1 P
3. 与现有 ABI 高度相似:工具适配相对简单。
8 ~% n B5 G/ y
, X" _# n- c' L: x5 \ 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
1 n" P& L* Y7 s" j' I/ b1 b( b' U$ }$ W1 k* ~5 L1 O6 D M. Y) U
统一树结构
; V6 m/ F x P' d" y! M. s
) Q+ X$ W7 L4 B2 O1 J! u, n) E) e* N
4 f5 }6 R. m" G0 ?: u$ v 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移% C- O2 E& r9 L7 {- `
5 V% A* ?. x; m4 m4 s9 Z
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
" q I! y- x& d! C. I- a5 `$ H9 b9 |) V! H
迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
( `- N& O4 Z' B; `6 z1 Y3 e9 W+ c4 ]8 r0 \6 h. G
从现在到未来( C% T, `% Q4 R# F, b& k
P$ ~& [$ Z# s6 V2 \ \
简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功" R# H1 n" M5 K8 t2 q s2 B: f
# e9 |" o, L5 }1 G3 |0 x3 b n7 K
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。
4 x0 f* h7 D6 ~- y7 F
6 ]: R5 }/ m. q; M+ j K1 V' m 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存
* a8 ^ \3 {4 S- O3 @; @$ L
9 C+ d% J% O1 l! b8 N: ~9 t1 r$ F在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。$ _! | U' q/ ?' ]
& A j3 C z3 F( x: z! @
3 S+ x+ u7 \9 E; x$ \( n9 Z2 G" J7 a: {; X. {7 m, o5 [5 O: J
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13798 小时
本月在线: 8 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|