+ @% u" H' S7 V$ g) _以太坊 ZK 证明器使用的另一种虚拟机。这将带来: 4 M- k$ {* k5 r6 K - ]; b8 w: q; |) x9 J% E$ x 1. 效率大幅提升:智能合约执行(在证明器中)无需解释器开销,直接运行。Succinct 的数据显示在许多场景下性能可提升 100 倍以上。! d" f% o9 _6 y. [, I/ h. H. f
; V0 t& X: Y) U8 O/ e5 @( j7 x
2. 简单性大幅改进:RISC-V 规范相比 EVM 极其简单,替代方案(如 Cairo)同样简洁。, r3 I0 p9 j/ p3 i! s9 i* i$ D
( W$ p% Y/ N) E) m$ q1 |7 [0 ^+ X. V 3. 支持 EOF 的动机:如代码分区、更友好的静态分析、更大代码大小限制等。 ! s+ A. Q) |2 n l8 h7 C# B8 @7 ~( u8 n( w7 z
4. 更多开发者选择:Solidity 和 Vyper 可添加后端以编译到新虚拟机。若选择 RISC-V,主流语言开发者也能轻松将代码移植到该虚拟机。* Q" A8 {, R+ C# V5 P9 D; ~
) D. p. E& o# T" r1 g/ H
5. 移除大部分预编译:可能仅保留高度优化的椭圆曲线操作(量子计算机普及后连这些也将消失)。1 c$ _1 H- g( H' U6 `
; p3 R& j4 f& m0 K( W. s) d* z 主要缺点是,与已准备就绪的 EOF 不同,新虚拟机的收益需较长时间惠及开发者。我们可通过短期实施高价值的 EVM 改进(如增加合约代码大小限制、, M$ g2 a* P. V5 O, s- C5 o( J
7 Q. w4 v. v9 W. m9 t支持 DUP/SWAP17–32)来缓解这一问题。 4 G5 B. ?6 W( Y0 G) }4 C- ?" T 4 E0 u, {. a W0 |8 L7 G) H 这将带来更简单的虚拟机。核心挑战在于:如何处理现有的 EVM?; }% j9 k1 [8 ^" i. k
- ~4 f1 |- l$ |9 s0 h 虚拟机过渡的向后兼容策略# I/ U/ B6 m( R$ Y+ l
: A2 k7 P+ C( d 简化(或在不增加复杂性的前提下改进)EVM 的最大挑战在于如何平衡目标实现与现有应用的向后兼容性。 7 a/ S2 D$ j7 p4 ?( w) D 4 N7 o |5 P5 b 首先需要明确:以太坊代码库(即使在单一客户端内)并非只有一种定义方式。3 D7 |/ o! @* x# U. Y) J8 ?/ i
3 j3 Z/ t$ _! l/ z* [% n K3 X