实战案例
从具体问题出发，用可验证的证据完成链上交易与合约分析
从一个具体问题出发，结合真实交易与可复现场景，学习如何串联 Skylens 的交易分析、合约存储、调试和 Virtual TestNet 能力，形成有证据、可复核的分析结论。
选择你的分析任务
| 想解决的问题 | 主要使用的产品模块 | 案例 |
|---|---|---|
| 交易为什么失败？ | Execution Trace、Source Debugger | 定位交易 Revert 根因 |
| 资产从哪里来、到哪里去？ | Balance Changes、Token Flow、Execution Trace | 追踪交易中的资产流向 |
| 哪次执行修改了目标变量？ | State Changes、Execution Trace、Source Debugger | 定位状态变量的写入来源 |
| 没有源码时如何理解关键调用？ | Execution Trace、Bytecode Debugger | 调试无源码合约 |
| Proxy 的状态究竟存在哪里？ | Proxy Storage、Storage Layout、State Changes | 解析代理合约的存储状态 |
| 如何在隔离环境中复现并验证结果？ | Virtual TestNet、RPC、Foundry | 在 Virtual TestNet 中复现并验证交易 |
推荐阅读路径
- 交易故障排查：先学习定位 Revert，再学习无源码调试。
- 资金与状态审计：先追踪资产流向，再定位状态变量写入。
- 复杂合约验证：先解析 Proxy 存储，再到 Virtual TestNet 中复现结论。
每篇案例都按照“目标 → 背景 → 问题 → 步骤 → 证据 → 结论”的顺序组织。阅读时建议保留交易哈希、区块高度、Trace 编号、地址和原始数值，确保结论可以被其他分析人员复核。