ERC-20 代币：Solidity 开发和安全审计

我们的团队正在准备为一个早期阶段的 Web3 产品推出一个实用代币，我们正在寻找一位经验丰富的 Solidity 开发者，他将在主网启动之前设计和加强核心智能合约。工作范围包括一个 ERC-20 标准代币的完整周期：合约设计、仔细实施、覆盖全面的测试集，以及后续的结构化安全验证。我们不需要一个抛入代码库的复制模板。我们希望有一个深思熟虑的实现，其中每个公共和外部函数都有明确的目的，访问控制被明确设置，边缘情况下的行为通过测试得到确认，而不是盲目接受。

在开发部分，您将用 Solidity 编写一个代币合约，实现标准的转账、批准和授权机制，并添加产品真正需要的管理功能：管理发行（铸造）、可选销毁（销毁）和在紧急情况下的暂停能力。所有特权操作必须受到正确的访问控制保护，合约必须遵循当前的存储布局、事件发射和错误处理的最佳实践。安全验证是任务的同样重要部分：我们期待对重入、整数溢出和下溢、访问控制弱点的彻底审查，以及对不安全外部调用和可能导致资金被提取或锁定的逻辑的检查。结果应汇编成一份清晰的报告，每个问题按严重性排名，描述影响，并提供具体的修复建议。

交付物是一个可直接使用的合约，能够通过一套自动化测试，涵盖正常和对抗场景，附带书面的安全审计报告，以及一份简要的气体优化说明，指明成本降低的地方和所做的权衡。回复时，请展示与智能合约相关的先前工作。

— Solidity 中的 ERC-20 合约，具有在明确访问控制下的转账、批准、铸造、销毁和暂停逻辑
— 一套覆盖正常使用和对抗边缘案例的自动化测试
— 安全审计报告：重入、溢出、访问控制，按严重性排名并附有修复建议
— 气体优化说明，包含前后数据和权衡描述