进入江苏省住房和城乡建设厅网站,重庆智能网站建设,网站建设的成功经验,做古风文字头像的网站1. 引言
所有的zkEVM都存在一个有趣的问题#xff1a;
如何给gas定价#xff1f;
在Ethereum Virtual Machine (EVM)中#xff0c;gas通过为每个计算设置economic fee#xff0c;来保持网络安全。恶意行为#xff0c;如拒绝服务#xff08;DoS#xff09;攻击#x…1. 引言
所有的zkEVM都存在一个有趣的问题
如何给gas定价
在Ethereum Virtual Machine (EVM)中gas通过为每个计算设置economic fee来保持网络安全。恶意行为如拒绝服务DoS攻击通过设置执行交易的价格来抑制。gas limit定义了事务可以执行的计算步骤总数。
gas用于反映节点所消耗的带宽、存储、计算资源但是在生成zkEVM proof的过程中某些EVM opcodes的证明 要比 在CPU中re-execute 昂贵。 换句话说就是在EVM中某些低gas fee的计算在zkEVM中证明时可能会变得非常昂贵并降低网络速度。
zkEVM中的opcode定价有3个选项 1保持与原有的EVM gas定价策略一致 有利于EVM-equivalency开发者可无缝将其dapp部署在zkEVM。但是存在潜在的DDOS攻击。原因在于EVM中某些低gas fee计算在zkEVM中证明将非常昂贵。将足够多的低gas fee opcode压缩到一个EVM块中但在zkEVM中的证明是高成本的并且网络可能会经历严重的延迟。如在zkEVM中Keccak hash证明是昂贵的将EVM区块中填满“EXTCODESIZE”仅需100 gas但会导致type-1 zkEVM执行大量Keccak hash从而导致潜在的DoS。 2在zkEVM中重新给opcode定价。 重新定价的问题在于某些合约依赖于现有的gas策略来工作——如“GASLEFT”或“CALLSTIPEND”。 这会给dApps引入unexpected behavior给开发者增加不必要的麻烦。 3保持原有的gas定价策略同时额外引入DOS缓解机制。 可保留合约的功能同时不牺牲网络安全性和可靠性。当前Polygon zkEVM的opcode gas定价与EVM完全一致。Polygon zkEVM引入了配额quotas来识别病态交易——如用EXTCODESIZE填充整个块。将其视为额外的安全反射。一个块中只能包含一定数量的Keccak哈希。Polygon zkEVM扫描违反此配额quotas的恶意块有助于确保不会发生昂贵且网络缓慢的spam。 由于Polygon zkEVM证明器速度极快Polygon zkEVM中L1 gas计划和实际资源消耗之间的计算成本差异仍然很小。【在zkASM编写的zkROM中为各opcode引入了ZK-COUNTERS计数。可参看Jordi 2022年10月分享Technical Details of the Opcode Compatible zkEVM by Jordi Baylina | Devcon Bogotá。】这是最好的选项无缝设计集成加上防止spam的机制。
参考资料
[1] Polygon zkEVM的gas定价
附录Polygon Hermez 2.0 zkEVM系列博客
ZK-Rollups工作原理Polygon zkEVM——Hermez 2.0简介Polygon zkEVM网络节点Polygon zkEVM 基本概念Polygon zkEVM ProverPolygon zkEVM工具——PIL和CIRCOMPolygon zkEVM节点代码解析Polygon zkEVM的pil-stark Fibonacci状态机初体验Polygon zkEVM的pil-stark Fibonacci状态机代码解析Polygon zkEVM PIL编译器——pilcom 代码解析Polygon zkEVM Arithmetic状态机Polygon zkEVM中的常量多项式Polygon zkEVM Binary状态机Polygon zkEVM Memory状态机Polygon zkEVM Memory Align状态机Polygon zkEVM zkASM编译器——zkasmcomPolygon zkEVM哈希状态机——Keccak-256和PoseidonPolygon zkEVM zkASM语法Polygon zkEVM可验证计算简单状态机示例Polygon zkEVM zkASM 与 以太坊虚拟机opcode 对应集合Polygon zkEVM zkROM代码解析1Polygon zkEVM zkASM中的函数集合Polygon zkEVM zkROM代码解析2Polygon zkEVM zkROM代码解析3Polygon zkEVM公式梳理Polygon zkEVM中的Merkle treePolygon zkEVM中Goldilocks域元素circom约束Polygon zkEVM Merkle tree的circom约束Polygon zkEVM FFT和多项式evaluate计算的circom约束Polygon zkEVM R1CS与Plonk电路转换Polygon zkEVM中的子约束系统Polygon zkEVM交易解析Polygon zkEVM 审计及递归证明Polygon zkEVM发布公开测试网2.0Polygon zkEVM测试集——创建合约交易Polygon zkEVM中的Recursive STARKs
