Solidity 智能合约安全

为什么需要这份指引

智能合约一旦部署便难以修改，重入、整数溢出、权限与访问控制疏漏、以及 DeFi 里常见的组合攻击，往往在一次交易里就造成不可逆损失。单靠「能编译通过」不足以上线生产环境；编写与审计都需要一套可对照的检查清单和开发模式。

技能覆盖什么

本技能围绕 Solidity 安全最佳实践 组织内容，帮助你在实现功能的同时把常见攻击面压到最低：

• 编写新合约时采用更安全的结构与惯用法
• 审计既有代码中的漏洞模式，并对照常见攻击向量
• 在 DeFi 场景下落实访问控制、外部调用与状态更新顺序等关键约束
• 在不牺牲安全前提下考虑 Gas 与实现细节的权衡
• 为外部专业审计整理合约逻辑与风险点

使用时应先明确目标、约束与所需输入，再按相关实践落地，并用可操作的步骤与验证方法确认结果；更完整的模式与示例见 resources/implementation-playbook.md。

适用边界

若任务与 Solidity 或链上合约安全无关，或依赖本技能未覆盖的工具链与领域（例如纯前端、非 EVM 栈），不必强行套用此处模式。