术语表
了解 Skylens 文档中常用的交易、合约、存储和调试术语。
Skylens 保留英文功能名称，以便与产品界面保持一致。下表解释这些术语在文档中的具体含义。
| 术语 | 在 Skylens 中的含义 |
|---|---|
| ABI | 用于解码合约函数名、输入、输出和事件的接口信息。 |
| Bytecode | 合约部署或执行的 EVM 指令。没有源码或 Source Map 时，可使用 Bytecode Debugger。 |
| Call | 交易中的一个合约执行帧，例如 CALL、STATICCALL 或 DELEGATECALL。 |
| Execution Trace | 交易执行时产生的调用、事件、错误和状态访问顺序树。 |
| Implementation | 为 Proxy 提供代码和 Storage Layout 的实现合约，通常不保存代理的业务状态。 |
| Proxy | 保存状态的稳定地址，通过委托调用把执行交给实现合约。 |
| Revert / 回滚 | 丢弃当前 Revert 上下文中状态修改的 EVM 行为；已经消耗的 Gas 不会恢复。 |
| Source Map | 将字节码指令映射到源码位置的编译器信息。 |
| State Changes | 交易执行结束后最终保留的账户和 Storage 差异。 |
| Storage | 由合约地址持有的 EVM 持久化键值状态。 |
| Storage Layout | 将 Solidity 变量和类型映射到 Storage Slot 与字节偏移的编译信息。 |
| Storage Slot | EVM Storage 中一个 32 字节位置；Mapping 和动态数组会从基础 Slot 推导数据位置。 |
| Token Flow | 展示资产转移路径的图；它解释移动过程，Balance Changes 则确认最终净影响。 |
| Virtual TestNet | 用于复现和修改场景的隔离网络 Fork，不影响源链。 |
文案约定
- Execution Trace、Load Implementation 等粗体名称表示 Skylens 界面中可见的功能或按钮。
delegatecall、SSTORE、slot0等代码格式表示 EVM 操作、标识符或原始数据。- Revert、回滚和交易失败相互关联但并不完全相同：子调用可以 Revert，而外层交易仍然成功。
- Storage 特指 EVM 持久化存储；“状态”还可能包括余额、Nonce、代码等账户数据。