EVM

此文深入探讨了Optimism如何降低交易费用约30%的过程。通过优化Rollup成本和L2执行成本，作者阐明了固定开销和费率标量的调整，清晰呈现了加密交易的技术细节和数据分析，同时展望了未来优化的方向。

如何在Polygon zkEVM 测试网上部署合约

这篇博文深入探讨了以太坊对象格式（EOF）提案的复杂性和成本，认为其带来的好处主要是附加的，而不是必要的改进。文章详细分析了EOF的设计架构、优缺点以及其对以太坊协议复杂性的影响，强调可以通过更简单的改进方案替代大量新变化，并警示可能引入的共识错误。

Pessimism，一个开源的监控系统，旨在通过快速检测和响应各种对协议的威胁，增强 Base（以及更广泛的 OP Stack 和以太坊生态系统）的安全性。

本文介绍了一种扩展验证EVM代码段的机制，旨在确保在有效合约的执行过程中不会发生栈的下溢或溢出。通过对操作数栈的验证，消除了运行时对栈下溢的检查，并减少了对于大多数指令的栈溢出检查。此外，还讨论了代码有效性、栈高度和终止指令的相关性。

本文介绍了在合约创建时对EOF格式（EIP-3540）合约代码进行验证的新特性，以确保代码的正确性，拒绝包含不完整PUSH数据或未定义指令的合约。该项更改旨在将代码有效性纳入共识，同时提供向前兼容性，允许未来新指令的定义，并简化EVM的执行路径。

本文介绍了四条在EOF1引入的新指令：DATALOAD、DATALOADN、DATASIZE和DATACOPY，旨在对EOF容器的数据部分进行读取。新的指令设计遵循现有数据读取指令的模式，并在保持向后兼容的情况下，优化了数据的访问和复制方式。

破解以太坊 EVM 谜题2

本文介绍了一种为以太坊虚拟机（EVM）设计的可扩展和版本化的容器格式（EOF），通过在部署时进行校验，提供了代码与数据的分离，有助于将来新功能的引入与旧功能的废弃。EOF格式的设计可以减少运行时的负担，提升合约的管理效率。并且，该格式包括了一些新特性，如静态跳转和多字节操作码的支持。

本文介绍了在EOF格式的字节码中实现多个代码段的能力，主要是通过引入新的操作码CALLF和RETF来实现对函数的调用和返回。该EIP旨在消除动态跳转的需要，并通过编码输入和输出数量来提高代码分析的机会，同时限制每个函数的栈隔离。

本文介绍了在以太坊虚拟机（EVM）中引入三条新的指令 SWAPN、DUPN 和 EXCHANGE 以提升栈操作的灵活性，这三条指令允许访问深达256个项的栈，简化了编译器的设计，并支持更复杂的函数调用。文章详细阐述了这些新指令的规范、执行规则、兼容性及安全性考虑。

本文详细介绍了Solidity编译器的新via-IR编译管道，该管道使用Yul作为中间表示，以便在生成EVM字节码之前进行优化。文章探讨了via-IR的动机、特性和转变为默认编译管道的计划，以及与传统编译流程的比较。

本文深入探讨了Solidity中的uint256最大值的获取方式，包括使用内置类型、数学公式和一些不推荐的hack方法。作者指出，使用type(uint256).max是最干净且安全的做法，并对最大值的大小进行透彻的解释和可视化。具有明确的逻辑和结构，适合Solidity开发者阅读。

破解以太坊 EVM 谜题3

在第 3 部分中，我们将深入探讨合约存储的工作原理，通过提供一些思维模式来帮助理解并深入了解存储插槽包装（slot packing）。