优惠论坛

标题: 以太坊 2026 年转型：为什么基于证明的验证对节点至关重要（转） [打印本页]
作者: 人生如赌    时间: 2026-2-15 00:37
标题: 以太坊 2026 年转型：为什么基于证明的验证对节点至关重要（转）
2月11日，以太坊（ETH）开发者和研究人员将齐聚一堂，参加首届L1-zkEVM研讨会。此次活动或将预示着未来以太坊区块验证将变得更快、更轻量、更便捷。7 @7 C* k2 S7 S+ A; _' o0 z8 D

1 P9 ~" o, b# W4 J路线图：L1-zkEVM 和 EIP-8025
" f4 ?+ e8 x7 y9 {, y# M( e7 p" d这项计划属于以太坊 2026 年 L1-zkEVM 路线图的一部分。其核心特性 EIP-8025（也称为可选执行证明）引入了一种新的验证途径。
% `  n8 J2 Q$ V! R& W7 M
' l2 N* h$ R0 e( {8 N与其要求每个验证者重新运行（或“重新执行”）区块内的所有交易，系统将允许被称为 zkAttester 的专门参与者使用零知识 (ZK) 证明来验证区块。
: F( k+ p0 q% b$ w7 r" e- B4 N
" |0 `, W8 X- @; \5 o3 x重要的是，此次升级是可选的。未进行升级的节点将继续按现有方式运行。9 V: Y8 Y) H+ }( m. @  a3 W

- U- w& a, ~  P* H7 M这为什么重要？  S% U* j" l9 N; }& a  n* L5 J
现在，以太坊为了确认交易的正确性，验证者必须重新执行每个区块中的每笔交易。随着网络活动的增长，这将变得非常消耗资源。) C% q2 d0 O& s2 L7 H" J5 F

8 b1 Y4 ^( [! ?7 x0 H% }5 @零知识证明改变了这种局面。验证者无需重复所有计算，只需检查一个加密证明即可确认区块的有效性。验证速度显著提升，硬件资源占用也大幅降低。. T+ o  C: n7 M. I* X, @5 @$ o& m' s

' L$ T- Z4 }) w, U( C4 |更低的存储、带宽和计算需求，使得在消费级笔记本电脑上运行完全验证节点再次成为可能。
+ l0 m, U( K) n$ ~& N) l: R  w# B1 x$ [. z. \! i/ x
如果参与成本降低、参与门槛降低，即使 gas 限制和产量增加，个人质押者和家庭验证者也能保持竞争力。$ x/ k6 }' P0 V
+ h  N- x, J8 \$ B; ]
安全、架构和全局
* e+ @  V0 w$ Y" w6 Z4 m5 \3 q, \根据 EIP-8025，区块只有在多个独立证明（目前提议为五个证明中至少三个）得到验证后才会被接受。这既保证了客户端的多样性，又降低了对单一实现的依赖。, z6 v' O4 S0 X
/ x3 |! r2 w" f' m& O1 W( ~
声明内容如下：  c( O6 r1 k+ r! |  B6 N- u
# J/ @& z8 c  B' x8 b1 ~: s5 o7 @
这项工作分为六个子主题：执行见证和客户程序标准化、zkVM-guest API 标准化、CL 集成、证明器基础设施、基准测试和指标以及使用形式化验证的安全性。
6 B  J& V3 m$ @" @+ c4 U+ S+ c0 b, F& o. T/ f8 |7 F1 M9 N
除了 L1 层之外，此举还有助于规范执行见证人和 zkVM 接口。这将使已经致力于以太坊区块证明的 Rollup 和证明基础设施提供商受益。
! c7 w5 B7 Z5 s7 ]6 l; ~. n, F4 o3 c% W$ P# @  C
最后想说的话
: y) b5 v! Q, K0 m: r! O4 mEIP-8025 可以让以太坊区块验证速度更快、重量更轻，从而能够再次在笔记本电脑上运行。
5 d' d' t+ d4 [! g7 j% U, k以太坊将在扩展其基础层的同时，有效提升安全性。& m# H9 C! j8 F* Y
% w1 V: X9 T9 h5 g, f
作者: 垂钓园    时间: 2026-2-15 00:48
这波升级看着挺硬核，不过对普通节点来说是不是更省事儿了
作者: whywhy    时间: 2026-2-15 06:53
节点验证能更轻量的话，对普通用户参与是好事
作者: 22301    时间: 2026-2-15 10:35
节点也是要去关注起来啊。
作者: 小作文    时间: 2026-2-15 11:56
这升级看着挺带劲啊，zk证明要是真落地，节点验证岂不是能快成闪电？
作者: rainwang    时间: 2026-2-15 15:02
到底重要不重要，专家们忽悠去吧
作者: rainwang    时间: 2026-2-15 15:05
小作文 发表于 2026-2-15 11:56* a* v: p0 c! \1 i0 \1 d
这升级看着挺带劲啊，zk证明要是真落地，节点验证岂不是能快成闪电？
' R4 c, x% ^* d& K) U4 t3 r. Q
看来这个内容，你也是能真正看懂？
作者: g9527    时间: 2026-2-15 18:34
zk证明要是真能让节点轻松点，那以后跑验证可就省心多了
作者: 叫我十三    时间: 2026-2-16 00:29
这技术看着挺厉害，到时候升级是不是能省不少算力资源
作者: 舞出精彩    时间: 2026-2-16 20:54
到底还是要看清楚的是怎么转了



欢迎光临 优惠论坛 (https://www.tcelue.com/) Powered by Discuz! X3.1