该文档是OpenZeppelin对Consensys/linea-tokens代码仓库的一次安全审计报告，涵盖了Linea L1和L2上的ERC-20代币合约以及一个L2上的空投合约。审计期间发现了一些低风险问题，如文档字符串不完整、代码优化空间和不确定的许可协议，但没有发现高危或严重漏洞。报告总结了审计范围、系统概述、安全模型、问题详情以及修复情况。
本文通过一个具体的智能合约示例，详细讲解EVM（以太坊虚拟机）的完整执行流程，从字节码层面深入分析每个指令的执行过程。我们将以一个简单的存储合约为例，完整展示从合约调用到执行完成的每一个步骤，包括函数选择器的匹配机制、参数的解析过程、存储操作的Gas计算、内存管理的动态扩展、以及错误处理时的状态回滚
OpenZeppelin
一眼万年
