优惠论坛
Well123
注册
找回密码 |
天策评选的优秀公司,所有会员与公司发生的问题我们将负责尽力协助处理。
收起/展开
新晋公司
 

新晋公司具有驻站代表,并不在论坛纠纷服务范围内,请会员自行判断选择

  • 356
S级信誉公司
ManBetX万博
YZ
乐投
taptap(点点)
E世博
瑞丰国际
A级信誉公司
吉祥坊
星宝合营
乐动体育
B级信誉公司
bet365
C级合作公司
CMP
金星
LOKI
平博
  • 推荐主题
  • 热门活动
  • 币圈快讯
  • 商城动态
重要通知
 
论坛搜索
              搜索
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] => 27373 [posts] => 436703 [todayposts] => 546 [yesterdayposts] => 539 [rank] => 3 [oldrank] => 3 [lastpost] => 2759944 XAI告xAI涉嫌商标侵权 区块链游戏的反击还是想赚一波人气?-转 1756817250 爬格子的瘦书生 [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] => )
发帖
1234下一页
打印 上一主题 下一主题
[虚拟币交流] 如何让5年后的以太坊变得像比特币一样简单(转)
[复制链接]
avatar
跳转到指定楼层
1#
   
" b( ^5 ^9 A) T. e3 H
: r* {* p1 l8 d. M8 k 以太坊旨在成为全球账本,需要可扩展性和韧性。本文聚焦协议简单性的重要性,提出通过简化共识层(3-slot 最终性、STARK 聚合)和执行层(替换 EVM 为 RISC-V 2 ?  W# |9 p; G

* A+ W* Y6 n  {" k) J7 q% ~或类似虚拟机)大幅降低复杂性,减少开发成本、错误风险和攻击面。建议通过向后兼容策略(如链上 EVM 解释器)平滑过渡,并统一纠删码、序列化格式(SSZ)和树结
- |$ ~4 r) [1 d; \& ^7 M) H* ?/ R- h/ ]' j
构以进一步简化。目标是让以太坊共识关键代码接近比特币的简单性,提升韧性和参与度,需文化上重视简单性并设定最大代码行数目标。( P/ e# `" }0 [5 A& C: g
  ]4 c5 d/ l4 E! y4 \& o
  以太坊的目标是成为全球账本:存储人类文明资产与记录的平台,服务于金融、治理、高价值数据认证等领域。这需要两方面的支持:可扩展性与韧性。Fusaka 硬分叉
0 C- G# ~- L3 z$ |7 C7 p- P  d# Z5 ~0 q5 D' v
计划将 L2 数据的可用空间增加 10 倍,而当前提议的 2026 年路线图也计划为 L1 层带来类似的大幅提升。与此同时,以太坊已完成向权益证明(PoS)的过渡,客户端多样
. k" ~3 m* z4 j4 _6 S) b. I/ {* X7 H: t; b+ c' D
性迅速提升,零知识(ZK)验证、量子抗性研究也在稳步推进,应用生态日益稳健。
) O, w' T" S- Y) J7 F3 k8 K' f
9 d5 T4 {% `; Q+ J- _5 G2 I  本文旨在聚焦一个同样重要却易被低估的韧性(乃至可扩展性)要素:协议的简单性。: y9 y2 Z# |: _% C! y/ c1 u
5 y# X, w+ Z1 `8 |8 y
  比特币协议最令人赞叹之处在于其优雅的简洁性:
( G3 P9 K: O1 [: |% J9 T2 A5 [6 n6 I, C" x. ]7 G2 q! e
" o4 ?1 j6 z3 p' A
  1. 存在一条由区块组成的链,每个区块通过哈希与前一区块相连。) n/ ^. _6 @% Q  d; L
+ S" r( Y# N! N! g6 k$ d6 U+ A# ]
  2. 区块的有效性通过工作量证明(PoW)验证,即检查哈希值的前几位是否为零。
! B7 V# o6 I& \$ I8 d0 `& s& y6 K9 b' y: H+ t! Y1 l: q
  3. 每个区块包含交易,交易花费的币要么来自挖矿奖励,要么来自之前的交易输出。  [8 H& k! L! E' H

" h+ d( p9 V6 T1 F# H' E  仅此而已!即便是一个聪明的高中生也能完全理解比特币协议的运作,而一个程序员甚至可以将其作为业余项目编写一个客户端。
# M" Q+ \- j( d9 [8 A" q: b  M2 U$ G: R8 j: C# j4 o* @
  协议的简单性为比特币(以及以太坊)成为可信、中立的全球基础层带来了诸多关键优势:3 [$ ?+ P5 ^- B: }9 V1 n

8 ]2 Q% o4 w2 @) U  1. 易于理解:降低协议的复杂性,让更多人能够参与协议研究、开发和治理,减少技术精英阶层主导的风险。, z; {) S/ N! [# i- `  a. v% z

* F* Z" f% T. `  2. 降低开发成本:简化协议大幅降低创建新基础设施(如新客户端、证明器、开发者工具等)的成本。
2 j+ h: R* H1 i$ S0 x0 ~. X9 m/ c" d/ Z
  3. 减少维护负担:降低长期协议维护的成本。
% I' l/ }1 @- B3 _4 k3 U* {1 p- ]- p9 P$ D/ ~8 X& `. n, i
  4. 减少错误风险:降低协议规范及实现中发生灾难性错误的可能性,同时便于验证不存在此类错误。
5 G% R' i. n- i% S
, ~6 q, X# Z  M$ b  5. 缩小攻击面:减少协议的复杂组件,降低被特殊利益集团攻击的风险。& s8 L6 ^0 L, Y/ Q6 s( `4 x
( e/ M/ _3 `% }9 x4 b  h7 s
  历史上,以太坊(有时因我个人的决策)常常未能保持简单,导致开发成本过高、安全风险增加以及研发文化的封闭性,而这些复杂性追求的收益往往被证明是虚幻的。
& O5 m( G; v* `. S: {& x! z# u7 W6 ]
本文将探讨五年后的以太坊如何接近比特币的简单性。9 w+ `) ~) Q& o' u8 M6 ^
$ f4 ]+ i2 F9 |) l$ U
  简化共识层
" H; N1 ~; ]0 X7 K5 T/ N& D4 W$ \
& \- P9 X6 |5 j  }
3 ^% _( o; c3 r5 q1 s' |1 g
  新的共识层设计(历史上称为 “信标链”)旨在利用过去十年在共识理论、ZK-SNARK 开发、质押经济等领域的经验,构建一个长期最优且更简单的共识层。# ~! Z  E! k2 I) M* ?. e% M

7 V# g3 Q& C9 F) R相比现有信标链,新设计显著简化:6 l, A) u. t5 `& P

3 o0 o6 s( v4 t3 K3 f  1. 3-slot 最终性设计:移除槽(slot)、周期(epoch)、委员会重组等概念,以及相关的高效处理机制(如同步委员会)。 3-slot 最终性的基本实现仅需. v6 f# @$ x# P% _. v# u0 w

. @0 s, n7 F1 {9 ^. g约 200 行代码,且相比 Gasper,安全性接近最优。
6 _( f% `3 H8 o7 h9 Y: u% h
" M, d# l0 T$ N8 t" _7 g) ]  2. 减少活跃验证者数量:允许使用更简单的分叉选择规则实现,增强安全性。* `; T1 m- {. I5 F8 I
+ z+ m% K) m! t
  3. 基于 STARK 的聚合协议:任何人都可成为聚合者,无需信任聚合者或为重复位域支付高昂费用。聚合密码学的复杂性较高,但其复杂性被高度封装,
2 r  {. W5 ?* h% n2 C
2 p2 [3 c* q- `$ {2 M  V2 }; U5 Y) R% \系统性风险较低。* P3 _6 Z# l/ ]$ X2 Y7 w+ N1 k( `
' b& C+ o+ Z( l- d- a( J
  4. 简化 P2P 架构:上述因素可能支持更简单、更稳健的点对点网络架构。
1 q$ U3 t$ y  a8 k8 ?
" Z' p" C# c# v+ V* T2 s  5. 重新设计验证者机制:包括进入、退出、提款、密钥转换、 inactivity leak 等机制,简化代码行数并提供更清晰的保证(如弱主观性周期)。
9 x& o$ T, @. Q5 k6 V5 @7 k
4 h! ?3 y0 e- P4 P9 q' v$ M; a  共识层的优势在于其与 EVM 执行层相对独立,因此有较大空间持续改进。更大的挑战在于如何在执行层实现类似简化。; o9 g8 ~! ~) A7 [1 `
1 R% w7 T: @1 V; m' E
  简化执行层
1 F: n6 r/ j5 Z; {
" Z9 h. b1 h2 a  Z* N& h  EVM 的复杂性日益增加,且许多复杂性被证明无必要(部分因我个人决策失误):256 位虚拟机过度优化了如今已逐渐过时的特定密码学形式,预编译) H" b/ ]5 ~/ k. E& A! {' C' ]

/ w0 a6 J" G- s; H/ P* N" P(precompiles)为单一用例优化却鲜被使用。! w& h2 `; r' G1 y3 }# h" K* W

; ^) ]5 q8 d, X% J5 ~! I" E) D  逐一解决这些问题效果有限。例如,移除 SELFDESTRUCT 操作码耗费巨大努力,却仅带来较小收益。近期关于 EOF(EVM Object Format)的争论也显
1 h# A  Q3 i* H* p& Y; b6 j( `3 t/ S! S5 }& I3 F$ s. s
示出类似挑战。
0 s# n/ V4 Q. v4 X4 e+ N6 a4 `( G3 V( ?
  我最近提出一个更激进的方案:与其对 EVM 进行中等规模(但仍具破坏性)的更改以换取 1.5 倍的收益,不如向一个更优、更简单的虚拟机过渡,以# [3 H" p3 O! t: z" `, e2 t

( t0 \- y" W  ^) i1 n$ j实现 100 倍的收益。类似于 “合并”(The Merge),我们减少破坏性变更的次数,但使每次变更更具意义。具体而言,我建议将 EVM 替换为 RISC-V,或
9 r* z3 q4 |3 J" X7 `9 B9 Z$ O& n' o+ r- E
以太坊 ZK 证明器使用的另一种虚拟机。这将带来:- o! y0 X4 U4 D& x5 V

4 [- d# O4 f+ r* h  1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。
1 K8 k7 j9 X0 j  g9 R/ v5 ]9 M  K/ v0 B* n9 X/ ^& t" {4 a4 O
  2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。
1 z8 g( K4 Z7 K, \) w6 g1 A  F+ q! C  N  a6 q1 I- Y8 O
  3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。7 H; c8 H$ A4 U; q( }& @
8 i- O4 g! m% N8 T! G
  4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。
4 B/ D: ~1 m, T6 O4 [8 a# {( w9 [. {0 e
  5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。2 O6 ^* k2 o' j8 l# I
$ v7 X+ Q1 I+ `! u
  主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、6 U9 n/ a& K0 g" z0 W2 z$ }7 n

% C5 i; v9 [8 @" o- c8 g- ?支持 DUP/SWAP17–32)来缓解这一问题。4 b, Q. b0 p2 v! m. `5 T

3 Y& |, L) p3 }- p  这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?
1 M: Z5 B& R. S) |0 P5 K/ d, m6 K) k4 o$ C+ S4 q2 r3 L
  虚拟机过渡的向后兼容策略
' r, F$ G/ J4 B3 J' `# M1 ?- W3 Y. G2 y: K  l
  简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。2 {2 U; ?# I% _. h4 w$ R
( y5 u' }. Y' C. g5 a; F! S5 ]
  首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。
% A& q5 Q3 x8 p8 a6 J- r: P" U; p3 M2 Z$ F+ _6 F, C, r
1 y1 p8 s7 u* g6 e/ i# F
  目标是尽量缩小绿色区域:节点参与以太坊共识所需的逻辑,包括计算当前状态、证明、验证、FOCIL(分叉选择规则)及 “普通” 区块构建。# y* b) P, L% m% m

4 e$ w, a7 N% b: Y, v3 x/ _  橙色区域无法减少:若协议规范移除或更改某执行层功能(如虚拟机、预编译等),处理历史区块的客户端仍需保留相关代码。但新客户端、ZK-EVM 或
" C$ m# N8 T& }+ I0 w6 G& j& c; e- [: R& h: K# z
形式化证明器可完全忽略橙色区域。
: U8 c! ]! x1 _* v* I
+ ^$ g3 K0 ~* q1 n8 B8 t' J  新增的HS区域:对理解当前链或优化区块构建非常有价值,但不属于共识逻辑。例如,Etherscan 及部分区块构建者支持 ERC-4337 用户操作。若我们$ O5 R9 g; H' b. v0 i
* [4 c; U5 m1 G5 R$ b
用链上 RISC-V 实现替换某些以太坊功能(如 EOA 及其支持的旧交易类型),共识代码将显著简化,但专用节点可能继续使用原有代码进行解析。
' o( E4 i" i3 ^/ `! |3 c! ^( h  L
( g- t8 v7 V' u1 {$ o5 b  橙色和HS区域的复杂性是封装复杂性,理解协议的人可跳过这些部分,以太坊实现可忽略它们,这些区域的错误不会引发共识风险。因此,橙色和HS区4 N- |& X$ O: E! r' t

% `3 f6 D$ v' T& R8 k5 K" D域的代码复杂性远比绿色区域的复杂性危害小。2 Q/ d6 B+ h) L  O+ F3 d( [
" E; J' U# c1 e8 V  H
  将代码从绿色区域移至HS区域的思路,类似于苹果通过 Rosetta 翻译层确保长期向后兼容的策略。
" N5 _! n" J4 x# x9 c
/ ]. S; j, g6 r$ a, d  1. 要求新预编译提供链上 RISC-V 实现:让生态系统逐步适应 RISC-V 虚拟机。
. N, d" W1 e/ t* U2 _7 A
) A. I9 C  B* [; Z" m# |. u  2. 引入 RISC-V 作为开发者选项:协议同时支持 RISC-V 和 EVM,两种虚拟机的合约可自由交互。
/ r4 v; j* P2 A( o9 W0 H
& m" }1 a# Y& ]% U, D/ j8 k# s3 n  3. 替换大部分预编译:除椭圆曲线操作和 KECCAK(因需极致速度)外,用 RISC-V 实现替换其他预编译。通过硬分叉移除预编译,同时将该地址的代码; t" _1 r6 z& b7 ]4 R+ w7 E3 W
* A( S# C7 v5 W- J2 G8 q$ [
(类似 DAO 分叉)从空更改为 RISC-V 实现。RISC-V 虚拟机极其简单,即使在此止步也净简化协议。
& \' r  i$ R$ [; H1 S0 l7 V  u
' ]0 e3 j; n1 h' u6 S, V4 N) j  4. 在 RISC-V 中实现 EVM 解释器:作为智能合约上链(因 ZK 证明器需要已进行)。在初始发布数年后,现有 EVM 合约通过该解释器运行。
! l7 P6 v: k3 ]; e) U' n
& b& n- k8 V7 H6 t/ ~9 O; l/ D; J( L" A( r' G1 F# F: B
  完成第 4 步后,许多 “EVM 实现” 仍将用于优化区块构建、开发者工具和链分析,但不再是关键共识规范的一部分。以太坊共识将 “原生地” 仅理解 RISC-V。) P: ~- {; x# r3 H/ S

6 Z& _- @- h6 M5 H' e9 o. t# Y  通过共享协议组件简化
# p. n5 r1 l& {2 D) V# f. K1 Q+ ^" [  d( E4 K
  降低协议总复杂度的第三种方式(也最易被低估)是尽可能在协议栈的不同部分共享统一标准。不同协议在不同场景下做相同的事情通常毫无益处,但这种, H. S% ?+ y' y' h" l- K2 c
* I( T% R3 ?% A& A8 z- s; j6 r# a9 H
模式仍常出现,主要是因为协议路线图的不同部分缺乏沟通。以下是几个通过共享组件简化以太坊的具体示例。
  g& q5 \, i% I8 N& y, g7 f5 E/ x, m
  统一纠删码6 b" o6 A. L$ }6 q, U) [1 J' r

$ F. G1 M+ t# Z( ~6 j6 Y
; p# a$ e+ u4 ^# t9 v1 j  W3 V  我们在三个场景中需要纠删码:
7 r1 v% d. A( @  T. v
1 N. Z4 J8 ]  @: [0 y: r  1. 数据可用性采样:客户端验证区块已发布。- C" t2 B' f0 l& s& j0 M2 k0 [  x

* I# C# ^+ l, r# J" l# q  2. 更快的 P2P 广播:节点接收 n/2 个片段后即可接受区块,在延迟与冗余间取得平衡。5 e% _: @7 U) x: Q4 L) O5 ]- m  S
- u5 v+ W2 d: `( t) z. I$ ]
  3. 分布式历史存储:以太坊历史数据分片存储,每组 n/2 个片段可恢复其余片段,降低单一片段丢失风险。+ b5 K5 W- S( p, p1 X
, D0 E% T4 {0 \
  若在三种场景中使用同一纠删码(无论是 Reed-Solomon、随机线性码等),将获得以下优势:* m9 a/ _+ Q9 t. z8 d- W7 }7 |
7 c7 k: J( g5 c1 s5 P7 G# U+ c
  1. 最小化代码量:减少总代码行数。
; ]9 h  U% T# a1 z$ s/ f$ T
! u7 [) }* C" b" k1 P  2. 提高效率:若节点为某场景下载部分片段,这些数据可用于其他场景。
8 L% G5 I# v- L) s2 R: D2 v; Q
9 N4 s. A$ x' s  J5 E  V6 Z- }  3. 确保可验证性:所有场景的片段均可根据根验证。
# l: ~/ `7 K  ?$ ], v, F: T& j$ D2 g2 H& H0 c1 O- `1 n" d) E0 u) [
  若使用不同纠删码,至少应确保兼容性,例如数据可用性采样的水平 Reed-Solomon 码与垂直随机线性码在同一域操作。
' ?% `: `# |' _3 ~" ^- f# c7 r; [; I/ b% y6 d9 u$ X6 B# U. U) N
  统一序列化格式
; P5 a- R) c" w  m, [  ]0 p0 m% R! u  `6 A( a
6 x1 U2 v1 ~8 t5 R
  以太坊的序列化格式目前仅部分固化,因数据可按任意格式重新序列化和广播。例外是交易签名哈希,需规范格式进行哈希。未来,序列化格式的固化程3 @: q2 W9 w( _# N) C! i5 `
: {" ]0 w7 p$ I$ @) T+ _% y" z
度将因以下原因进一步提高:
; {9 V3 R) _. \* ^! f
# {) P' t) `* f1 W/ H  1. 完全账户抽象(EIP-7701):交易完整内容对虚拟机可见。! x/ L5 f. K) a. ~9 \
% s% ?/ J4 i7 F! ?5 {  Z6 p
  2. 更高的 Gas 限制:执行层数据需放入数据块(blobs)。1 q' Q& D. [4 d5 V) r- m
+ Y9 N' |, K: m( u9 X, Z' }
  届时,我们有机会统一以太坊三个层级的序列化格式:执行层、共识层、智能合约调用 ABI。" h6 n5 G" N6 c( R: k& _1 `

! o1 a! M3 k# C6 j' z- R8 Y9 p  我提议使用 SSZ,因为 SSZ:4 d- ]0 s' t6 C' ~! }- Z
( y# e# Q% h- Y
  1. 易于解码:包括在智能合约内(因其基于 4 字节的设计和较少的边缘情况)。
7 P0 B9 t5 x2 s* P! s$ q; D3 P# J) B5 o9 _# ]: Z3 \
  2. 已在共识层广泛使用。0 j0 Q# c0 Q# |2 l

8 `3 _; w% s/ N2 ~+ K1 d2 |  3. 与现有 ABI 高度相似:工具适配相对简单。5 Y4 T  P  R/ M: D2 x/ r" @2 L1 q
7 n0 y" P. \  |2 w
  已有向 SSZ 全面迁移的努力,我们应在规划未来升级时考虑并延续这些努力。
3 d- H- v2 L/ x+ v4 U$ P* e+ I& ~5 q. F8 h
  统一树结构! E5 s. w0 q8 P9 O

, C: @0 x! B, R0 w8 v1 A1 l' i& k% _' t& p5 C
  若从 EVM 迁移到 RISC-V(或其他可选的最小虚拟机),十六进制 Merkle Patricia 树将成为证明区块执行的最大瓶颈,即使在平均情况下也是如此。迁移: Q" s8 ^7 Q  g( \6 E
& S+ F) p+ S. h  ~! ~
到基于更优哈希函数的二叉树将显著提升证明器效率,同时降低轻客户端等场景的数据成本。- E0 o  u2 x$ X! N- R

3 a. h& ^, c1 j5 B8 I8 b  R2 I  迁移时,应确保共识层使用相同的树结构。这将使以太坊的共识层与执行层可通过相同代码访问和解析。
5 S- t0 {, a- Q. A2 B5 _- w8 n5 u/ r3 q3 D( H
  从现在到未来
# G; g( I5 N* n( G) o3 W$ d/ w( Y* m# n9 h  [: _8 T
  简单性在许多方面类似于去中心化,二者均为韧性目标的上游。明确重视简单性需要一定的文化转变。其收益往往难以量化,而额外努力和放弃某些耀眼功8 T, N+ a; |3 A2 v& G& }
. ^2 X$ N) m! M5 z
能的成本却立竿见影。然而,随着时间推移,收益将愈发显著 — — 比特币本身就是绝佳例证。' O- ~9 f; n; }4 S

2 H& _* I8 Y0 r" o% `  Y' Q  我提议效仿 tinygrad,为以太坊长期规范设定明确的最大代码行数目标,使以太坊共识关键代码接近比特币的简单性。处理以太坊历史规则的代码将继续存
5 A* T3 W& n  z- u. F
: L' h$ A% {. b) I9 S) I在,但应置于共识关键路径之外。同时,我们应秉持选择更简单方案的理念,优先选择封装复杂性而非系统性复杂性,并做出提供清晰属性和保证的设计选择。$ z4 w( q) H* d
: z% I$ d+ b4 C9 g6 M; f
/ d- L/ i7 D( t

$ |& Q0 o  {2 h/ @1 Z) w
avatar
2#
想要简单也是不容易的事情啦。
avatar
3#
建议需要理智的人,要不然的话索性不给更好。
avatar
4#
楼主的理论打法还是很好啊,来收藏下了解下了
avatar
5#
主题回复处广告图案-天策传媒
你估计也是一个理论很内行的玩家,感激你的分享。
avatar
6#
这个理论打法说起来是绝对有用的,我也来学习
avatar
7#
我的成果的功劳都是楼主像这样的理论分享。
avatar
8#
建议什么的与我没有关系,根本不感兴趣了
avatar
这么个的建议我也是要来看看,学到点东西了
avatar
具体的理论打法还得让老哥来解答啊
avatar
给建议还是需要心平静和的人啊,我也是来旁观了
avatar
12#
这样的理论打法是十分科学好有道理哦,我也来学习
avatar
给建议什么的都是大神,我只是来围观一下而已
avatar
理论虽然看起来很利害,但是我还是不行
avatar
15#
谢谢楼主的理论分享,也是可以了解到很多的。
avatar
16#
这样的理论还是可以多多学学一下。
avatar
你的理论打法也是有在记录中的呀?
1234下一页
您需要登录后才可以回帖 登录 | 论坛注册

本版积分规则

:) :( :D :'( :@ :o
:P :$ ;P :L :Q :lol
:loveliness: :funk: :curse: :dizzy: :shutup: :sleepy:
:hug: :victory: :time: :kiss: :handshake: :call:
{:8_286:} {:8_287:} {:8_288:} {:8_289:}
{:8_290:} {:8_291:} {:8_292:} {:8_293:}
{:8_294:} {:8_295:} {:8_296:} {:8_297:}
{:8_298:} {:8_299:} {:8_300:} {:8_301:}
{:8_302:} {:8_303:} {:8_304:} {:8_305:}
{:8_306:} {:8_307:} {:8_308:} {:8_309:}
{:8_310:} {:8_311:} {:8_312:}
{:8_313:} {:8_314:} {:8_315:} {:8_316:}
{:8_317:} {:8_318:} {:8_319:} {:8_320:}
:) :( :D :'( :@ :o
:P :$ ;P :L :Q :lol
:loveliness: :funk: :curse: :dizzy: :shutup: :sleepy:
:hug: :victory: :time: :kiss: :handshake: :call:
:) :( :D :'( :@ :o
:P :$ ;P :L :Q :lol
:loveliness: :funk: :curse: :dizzy: :shutup: :sleepy:
:hug: :victory: :time: :kiss: :handshake: :call:
:hug: :victory:
:) :( :D :'( :@ :o
:P :$ ;P :L :Q :lol
:loveliness: :funk: :curse: :dizzy: :shutup: :sleepy:
:hug: :victory: :time: :kiss: :handshake: :call:
:hug: :victory: :time: :kiss: :handshake: :call:
:hug: :victory: :time: :kiss: :handshake: :call:
:hug: :victory: :time: :kiss: :handshake: :call:
:hug: :victory: :time: :kiss: :handshake: :call:
:hug: :victory: :time: :kiss: :handshake:
未有绑定记录
 


Powered by 天策论坛   © 2007-2025 天策论坛 | 小黑屋 | 手机|
1717 : 0