Foundry项目中`forge test`的Gas快照检查功能优化分析
2025-05-26 12:53:55作者:韦蓉瑛
背景介绍
Foundry是区块链生态中广受欢迎的智能合约开发工具链,其中的forge test命令提供了强大的测试功能。在测试过程中,开发者经常需要关注合约执行时的Gas消耗情况,为此Foundry提供了Gas快照检查功能,允许开发者对特定代码段的Gas使用情况进行快照和对比。
当前实现的问题
在现有实现中,Foundry通过环境变量FORGE_SNAPSHOT_CHECK来控制是否启用Gas快照检查功能,但这一实现存在几个明显问题:
- 配置方式不一致:缺少对应的命令行参数,只能通过环境变量控制
- 环境变量处理简单:仅检查变量是否存在,不解析具体值,导致
false和空值都被视为true - 配置管理分散:直接使用
std::env::var访问,未通过项目的统一配置系统figment
技术实现分析
Foundry使用figment库作为配置管理的基础设施,它能够合并来自不同来源的配置(如命令行参数、环境变量、配置文件等)。对于大多数配置项,Foundry通过Clap的arg宏定义命令行参数,并自动合并到figment中。然而FORGE_SNAPSHOT_CHECK却绕过了这一机制,直接访问环境变量。
这种不一致性会导致:
- 配置优先级不明确
- 缺少命令行覆盖能力
- 配置值解析不统一
改进方案
基于项目维护者的反馈,建议的改进方向包括:
- 统一配置入口:在配置结构中增加
snapshot_check布尔字段 - 支持环境变量:保留
FORGE_SNAPSHOT_CHECK支持,但改为解析实际值 - 添加命令行参数:如
--snapshot-check和--no-snapshot-check - 保持向后兼容:确保现有使用环境变量的方式继续有效
实现建议
具体实现时应注意:
- 在
TestConfig结构中添加snapshot_check: Option<bool>字段 - 通过
figment合并来自命令行和环境变量的配置 - 实现合理的布尔值解析逻辑(支持
true/false、1/0、yes/no等常见格式) - 更新文档说明新的配置方式
对开发者的影响
这一改进将使Gas快照检查功能的配置:
- 更符合直觉(可以通过命令行直接控制)
- 更灵活(支持更丰富的布尔值表达)
- 更一致(与其他配置项采用相同机制)
开发者可以像使用其他Foundry配置一样,通过多种方式控制Gas快照检查行为,例如:
# 通过命令行启用
forge test --snapshot-check
# 通过环境变量禁用
FORGE_SNAPSHOT_CHECK=false forge test
总结
Foundry作为专业的智能合约开发工具,其配置系统的一致性和灵活性对开发者体验至关重要。本次针对Gas快照检查功能的优化,不仅解决了一个具体问题,更是对项目配置系统完整性的重要完善。这种改进体现了开源项目持续优化、追求卓越的精神,也展示了社区协作在项目发展中的关键作用。
登录后查看全文
热门项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0447
源启盛夏_AtomGit暑期开发者成长计划「源启盛夏」暑期校园开发者成长计划旨在激活校园开源力量,通过积分激励、认证扶持、资源倾斜等形式,引导高校组织和开发者完成「入驻 — 建项目 — 做贡献 — 获认证 — 得资源」的完整闭环。无论你是想带领社团入驻平台的组织者,还是希望用代码贡献证明自己的开发者,都能在这里找到属于你的成长路径。Markdown00
jiuwenswarmJiuwenSwarm 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。Python0766
Hy3Hy3 是由腾讯混元团队研发的快慢思考融合的混合专家模型,总参数量 295B,激活参数 21B,MTP 层参数 3.8B。4 月底发布 Hy3 Preview 后,我们在 50 多个业务中获得了广泛的反馈,修复了各种体验问题,进一步提升了后训练的质量和规模。今天,我们发布 Hy3。它展现出显著强于同尺寸并比肩旗舰(参数规模往往是 Hy3 的 2~5 倍)开源模型的智能水平,显著提升了在各类产品和生产力任务中的实用价值。Python00
AscendNPU-IRAscendNPU-IR是基于MLIR(Multi-Level Intermediate Representation)构建的,面向昇腾亲和算子编译时使用的中间表示,提供昇腾完备表达能力,通过编译优化提升昇腾AI处理器计算效率,支持通过生态框架使能昇腾AI处理器与深度调优C++0312
DragonOSDragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios. 使用Rust从0自研内核,具有Linux兼容性的操作系统,面向云计算Serverless场景而设计。Rust00
项目优选
收起
暂无描述
Markdown
827
5.48 K
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
494
515
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
783
1.57 K
作为 Ascend for PyTorch 社区的核心组件,TorchNPU 是昇腾专为 PyTorch 打造的深度学习适配插件,使 PyTorch 框架能够直接调用昇腾 NPU,为开发者提供昇腾 AI 处理器的超强算力。
Python
800
1.14 K
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
970
2.28 K
deepin linux kernel
C
32
16
AscendNPU-IR是基于MLIR(Multi-Level Intermediate Representation)构建的,面向昇腾亲和算子编译时使用的中间表示,提供昇腾完备表达能力,通过编译优化提升昇腾AI处理器计算效率,支持通过生态框架使能昇腾AI处理器与深度调优
C++
480
312
JiuwenSwarm 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。
Python
3.01 K
766
CANNBot 是面向 CANN 开发的用于提升开发效率的系列智能体,本仓库为其提供可复用的 Skills 模块。
Markdown
1.26 K
808
CANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。
Jupyter Notebook
647
284