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] => 29406
[posts] => 479559
[todayposts] => 29
[yesterdayposts] => 118
[rank] => 2
[oldrank] => 2
[lastpost] => 2800809 今日虚拟币市场基本都上涨的啊 1769496002 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 小时
|
|
* w0 [5 e$ W* {+ N
3 s- ?* `; F* U" l3 m0 N q
以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V
- R; k. w7 B$ Q* g( `
+ p6 r) N5 w$ Z6 L9 x或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
5 H, v! Z L' {* h% ^0 ~2 v/ E* k. |5 {) {5 N" E, d
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。
( e! n" |& E& F) }3 `4 `7 W9 B3 j' B" y$ ^6 v
以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
4 @1 r) S- s @% O, L3 S" t* Y$ p& Z- H+ Z# @. z. ^
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样. D1 [2 |6 b& q
. v9 B7 d. F& B2 t# c% b
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
! `$ n- j, `6 I
. T9 z+ @! d$ w0 K! G 本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。
( k* _/ m+ ?, V* w% m- o: j# f, B: O# ^) l
比特币协议最令人赞叹之处在于其优雅的简洁性:
G* S0 ~! h+ @. R% t: K& ~
q2 I' P/ J6 e% L. H
7 Q$ M6 l6 B% H8 a( J8 _9 i$ X 1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。
- _& K/ F$ c" G6 f, q% a9 b+ B. G- F- G: X+ O4 _+ u
2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
$ e) j& Z# P. n& S" v. ]% Y S, Q
7 z3 O* a6 {) o) m8 _4 F1 g H2 r/ t 3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。
+ G4 ?. E3 ~/ ] c* b1 ~
9 N, w2 ^8 P- w" S/ W: z 仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
" O% I% ?! e8 O& K" _* w' P
* g/ o9 Q* S7 H; p) [ 协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:
; ]6 J# ^6 Z, O, B4 t- A) y7 h$ P! _7 {' A0 K/ D2 z$ z
1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。
2 x8 G* U2 d7 X5 i3 e- G8 k! m4 A* V2 X* q: b$ V: T
2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
3 v6 n: x$ p W: Q y
/ W% _$ {6 T! d9 }) S 3. 减少维护负担:降低长期协议维护的成本。
. H8 N1 N. ]7 _6 o( A% i, u
; I" Z: E1 m/ G( G8 V 4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。$ ~. q7 S& `/ c5 u4 Z0 u2 S+ @
: q! s8 R' a F4 q! Y" O
5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。
, c, u- X; o0 r' P8 c# W, p% a
' Q7 t( S% M- G6 h3 ` 历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。+ ~; Z8 Y5 g% S: F, u7 s+ g
3 y3 w% G1 c8 {3 p) n6 w1 R本文将探讨五年后的以太坊如何接近比特币的简单性。
) q4 u- R# R! t1 k9 i+ ]
; B s% H/ d: z0 Z9 X& Z: j 简化共识层8 {+ T8 u; h4 R! _' ?
' T- d* ~# G) p8 z1 G# b

9 c5 G' S+ M$ D9 q9 x1 q. F: [# d) T* J+ E2 z! |% Z+ T/ W
新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。
" b4 D" Y6 x* t1 h$ L5 ^
' u9 q: g, Y# v8 T7 E相比现有信标链,新设计显著简化:
$ Q5 z2 g! E; d. h6 N2 a# W1 E2 T6 }" p* L
1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需
# x l0 w. H& k5 ?5 @ f% H; C$ ~7 C( q% y' s# v
约 200 行代码,且相比 Gasper,安全性接近最优。' u6 N, h. x) ]8 r* r' p
# C% V5 D$ j# j6 o- j# t* E 2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。. e& d0 J" l. p# {8 b/ C9 d% L
+ a( R% a3 T: T0 x7 B
3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
+ b8 T1 K% L4 z1 S W4 z+ U% I- p3 Y# a3 z
系统性风险较低。
. N- A8 [+ M2 X, t' O) Y+ I
, }8 M# C8 S- S2 t' G3 H7 g 4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。, W0 j# W" _1 ~/ y9 Y/ \) [# n
* n1 q& \0 r& D$ J 5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
! ~8 ?1 [+ Y; U/ K8 h
5 [1 i* [) ?! [7 e% v 共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。
+ f: y7 m8 g- W' y8 L+ _; ]4 u2 S) v4 y! m3 p Y; F! l
简化执行层
" u/ F7 p8 ^8 R5 U5 q* G
i# J; r( n- j0 ?! F EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译; ^; g1 d0 C2 f$ c, T$ @1 Y }
/ K* B- |# m3 r y(precompiles)为单一用例优化却鲜被使用。 S5 ^5 _: s, u& B- V, e
! j& t* U1 T" y: c 逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显6 e, y5 L( D5 m
# _( n4 C9 o( w4 R- O1 m% k0 a
示出类似挑战。
9 W0 l2 Y5 F3 C( S1 b
% p( f" U$ p0 ?3 u- T 我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以
' @5 |" j$ `5 l; Z/ {! g7 d& h* g
' a8 ?$ C; W8 F3 S( i& e( B实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
4 U5 c0 {, V9 [$ H% e v. M! B# q" Y; n8 _2 r; D
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:
+ ~* B' u5 G4 B4 H8 S9 j9 x: y, v
1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
6 f, T8 e& S B9 R; ~( n7 ~1 C
7 l) p6 r9 P' x, m 2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
, Q7 a; X2 q y3 S) Y# b1 N
# ?% R1 U0 G& E1 F+ t# p! j0 A 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。
. W6 d# d& y) e' `; B9 K+ I( W" g0 b! a3 O2 \/ o4 V) r1 S
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
+ J: D; M5 r9 ~$ S2 ^
: n/ t/ E1 B3 {( D3 k) ?/ a 5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。0 l2 f) t- g0 u- F& r" K
8 V3 H1 |' h [8 R
主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、7 `1 N H( E9 D6 b/ t/ O" \" P2 ^; h" b
~0 T b) ?2 h- [支持 DUP/SWAP17–32)来缓解这一问题。9 Y' D0 u3 |) w. n# i# c! N4 ?; Z
% C2 E" j2 V1 b8 u, e5 C$ _
这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
+ u) b) B! r3 B/ W5 Q, j
S1 A: H/ Y6 y, V- D" F$ @+ N 虚拟机过渡的向后兼容策略% e* k1 X- u3 e9 b8 H9 l# g3 C
& b, `3 N8 E4 V5 R9 T+ _9 {/ R
简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。9 V; P; J8 {! c! [
, Z: x! H7 ~ }" t5 H 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
? _$ b5 I7 b( X/ I" V, E- W! x# }+ l6 ]. E: r7 |( g; t
F s* t, [& b( D8 D" k' ` 目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。
# S" h( X) x7 c( G9 v" A! O7 o1 G* V
橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
, N8 Z0 B ?( }! Y, Y/ ~$ O& E" l7 X! A$ \% R
形式化证明器可完全忽略橙色区域。8 L2 m- q# u; h. l# T$ h* i! w
6 t$ i J' {9 w! D& U6 R
新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们) Y$ P4 {/ d+ k4 A3 n8 T/ R2 n$ Q, `
8 c0 n* j+ P \4 ?! u3 c. R用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。+ H5 u2 a# O3 ^
' w; T9 X: Y9 n8 w6 \/ b
橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区
- f" U' ~, u' Q. d; z4 X4 s. v: o# w4 g2 G1 D
域的代码复杂性远比绿色区域的复杂性危害小。3 p5 r) f5 Z1 C
: k$ i2 [4 s; x% k1 R5 }0 O, q
将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
. H- m8 f8 g4 t) Q- @" ~) T/ I) Y9 e7 ~- x6 l% V
1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
. `. O- P* ?9 }' f- j2 I$ S6 E1 | e: b: ^. n2 O( h" ]9 u( u
2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。, }. d6 i+ M/ U- M; ^! N4 f/ b
) t% ?/ S2 j& A+ I 3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码8 w% F$ Y) w* H7 W' ~8 A1 u. X
8 T r' k Z# w(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
7 ` O3 j) n% |7 |4 K& g2 H
2 Q. \. t1 E& m# w1 e0 n 4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。
5 C0 p: f; @4 [& F2 t5 J+ |8 n2 U4 c- Y
1 d1 Z: v. W6 C( K+ ^5 M 完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。$ M* [2 h" |; L) A F0 T3 t( {
1 p: a" @8 Q( ^: Q
通过共享协议组件简化$ A& V9 T3 A' h% {6 b) B
0 W0 l/ l/ E* r4 v! [0 L! x. i
降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种: {8 ]# `1 n: G# `
, C8 _% B5 c4 J& z* i模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。9 j& ]% L1 `0 j8 ^1 a
) ]1 u/ Q1 J! X( @4 ~6 k3 t
统一纠删码
: ^) S+ N! h* m
7 f/ P& }+ Y* ? @, D. z d4 E
我们在三个场景中需要纠删码:- t1 d5 q0 u; r$ k
- c7 K2 r, v: O% j0 |3 B& @
1. 数据可用性采样:客户端验证区块已发布。 d+ D6 i- l1 r, V- Q' e
`9 Y& w. ?, N4 A$ A1 h* p
2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。/ O: J7 ^/ N! G% M0 M
& b. R6 q( l5 b* l9 h
3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。' t; C5 P7 z( V4 x* d4 G
4 n- b+ R% Z' Y) n, I
若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:. Y+ F7 |/ t* y( O1 ?6 E( \
f# i0 D2 T, H8 s; j i
1. 最小化代码量:减少总代码行数。6 ^4 n H. a0 F8 w5 Q
7 E, C2 f6 i+ `. b2 f. ]4 P4 l D
2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。. w4 V' i: N2 \; {) ^+ {+ T
# E! J8 |; o1 {9 h; d 3. 确保可验证性:所有场景的片段均可根据根验证。
) I$ J* A( O! \( j% _5 s
8 Y! v+ y" j. A" R$ e8 p 若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。4 C' ]/ C7 G3 E! {9 s% K8 {/ M
- w9 K' O% V- o& h3 d
统一序列化格式
4 q7 x5 p1 l/ C# `5 T5 |$ ~* j9 U9 K( D2 o
7 v2 j3 I9 f, D) \
以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程
9 z) N, \& c$ I1 e: V2 M- }' U
$ i+ n% x5 E3 x! B1 b/ O, K: z" x) v度将因以下原因进一步提高:
# `" S2 l/ w0 V4 [% @! A- t1 u: T: u. P
1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。
* F. O+ J$ V/ L, F& l* a4 m
& G8 q7 ^0 Z9 B2 n 2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。
1 ]) ?9 Q! N* r [
) R7 d& M! ]4 Q( g 届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。
% l5 x7 c6 Y3 e5 R9 V0 D, l# Z- F' H& ^, b! ^0 I' ^9 h, D* @' l
我提议使用 SSZ,因为 SSZ:' W$ v( J( `7 R. T$ l! e- Y- d
/ {3 W }4 i6 x 1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。2 C; j; Y; `( Q+ a8 v
% I8 n3 `1 z* Q, E f( u. e
2. 已在共识层广泛使用。
! H/ o' x7 t" P0 s W, u# j' i
^9 q' w( h+ r- z: L/ h 3. 与现有 ABI 高度相似:工具适配相对简单。" m* m1 H4 t4 T( M
$ |+ h9 [' N2 M( S3 Y' }$ M 已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
- r9 e+ F& E) d+ K. b- H1 p( |- x: m- C) e+ I
统一树结构
0 o# m+ o9 m' X6 N; v: @+ _# {2 g: x# _6 \
' f, R4 L* E* z- I- k& z 若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移
. q- C% X1 L: P5 ?- X6 R& m3 m5 {
" ^1 s5 X# q- x- a: {1 L C" }到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。
% \1 u: S( J. \# }- B+ w" M7 X; }: E7 p, A0 ^) _
迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
* F: t3 U& [/ ], D: t
3 y) ], m& O: F* Z* p, B 从现在到未来, A5 }. N C- P6 _7 u
9 k" M' Q! {9 m0 F. w 简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功
# V3 O: `8 E/ _! X+ w
$ d, O# n5 G5 d( O& X& J1 g能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。* U, V& j+ w, u# X
_# a5 e, N+ [# q" e 我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存
@* z1 T1 {$ I8 t# |
c: c& f3 e+ i' a5 p( k4 X9 h5 W在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。) k. u- ?# Y" [0 A- [$ w- h
* m, A8 _+ ^9 [7 f( M7 R5 r
- P# X1 A) Q/ j; L0 g
2 }7 P2 }, e7 h: L: s0 ^) E |
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 13664 小时
本月在线: 53 小时
|
|
|
|
|
|
|
|
|
|
当前离线
经验:
天策币:
活跃币:
策小分:
总在线: 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 分钟
|
|
|
|
|
|
|
|
|
|