智能合约安全审计员：分析 Solidity 与 Go 智能合约的安全漏洞，提供 Gas 优化建议，并生成...
智能合同-安全-审计
功能概述
智能合同-安全-审计是一项面向实际任务的技能，主要用于技能,旨在加强智能合同安全、优化天然气成本并确保Solity和Golang(宇宙/超高地)项目的全面测试覆盖。它将相关步骤、工具调用和结果整理方式集中到统一流程中，帮助使用者更快完成目标并减少重复操作。
核心要点
- 使用时应结合输入条件选择合适的执行方式，核对必要参数、依赖环境与输出内容，并按原始要求处理异常情况。
- 该技能适合需要稳定复用相关能力的场景，可作为自动化工作流的一部分，也便于后续检查、调整和扩展。
- 从功能定位来看，该技能强调把分散的操作要求整理成清晰、可复用的处理流程，使用户能够围绕既定目标快速准备输入、选择执行方式并获得结构化结果。
使用与执行
实际使用前应先确认任务范围、数据来源、运行环境、必要权限和关键参数，再依据技能说明逐步执行；若输入条件不完整，应先补齐信息或采用保守配置，避免因错误假设导致结果偏离需求。
结果检查与注意事项
执行过程中需要关注工具调用是否成功、接口或依赖是否可用、输出格式是否符合预期，并对异常提示、缺失字段和边界情况进行处理；涉及批量任务时，还应保存进度，避免中断后重复操作。
smart-contract-security-auditor
一项专为提升智能合约安全性、优化 Gas 消耗成本，并确保 Solidity 与 Golang（Cosmos/Hyperledger）项目具备充分测试覆盖率而设计的能力。
工作流
1. 安全静态分析
在完成智能合约编写或修改后，可触发该能力对代码进行常见漏洞分析。
- 针对 Solidity：检测重入攻击（reentrancy）、整数溢出（overflow）、访问控制缺陷（access control issues）等问题。
- 针对 Go：检测确定性（determinism）问题及状态访问控制问题。
触发方式：输入“Audit this contract: [file_path]”或“Check my changes in [file_path] for security vulnerabilities.”
2. Gas 与性能优化
使用该工作流获取降低 EVM Gas 成本，或优化 Cosmos/Hyperledger 中状态读写操作的建议。
触发方式：输入“Optimize gas for [file_path]”或“Suggest performance improvements for [file_path].”
3. 自动化测试生成
每当合约逻辑发生变更时，该能力可自动创建或更新对应的测试用例。
- Solidity：生成 Foundry 测试文件（
.t.sol）。 - Go：基于
testing包生成 Go 测试文件（_test.go）。
触发方式：输入“Generate tests for [file_path]”或“Write a Foundry test script for my new logic.”
参考材料
执行任务时，请参考以下文档以确保符合行业标准：
- 漏洞清单：审计过程中需重点关注的已知问题。
- Gas 优化指南：降低链上执行成本的策略。
- 测试策略：编写测试用例的模板与核心原则。
使用指南
- 表述明确：如需同时执行安全审计与测试生成，请明确提出两项需求（例如：“Audit this file and write tests for it”）。
- 审阅结果：审计器将输出发现的问题与改进建议，在请求代码修改前请务必审阅确认。
- 提供测试上下文：为 Go 合约生成测试时，若代码中无法明显判断所用框架（Cosmos SDK 或 Hyperledger Fabric），请主动说明具体框架类型。
热门AI工具
相关专题
本专题从实际API接口调试场景出发，讲解Postman身份认证的完整配置流程，包括常见认证协议介绍、授权参数设置、访问令牌填写、OAuth 2.0授权及认证失败排查，帮助用户正确完成接口授权与访问验证。
0
2026.11.06
围绕Postman HTTP请求头配置展开，讲解Headers选项的具体使用方式，包括Key和Value参数填写、请求头信息添加、常见Header字段设置及请求头修改方法，帮助用户解决接口调试过程中遇到的请求头配置问题。
0
2026.11.06
详细介绍Postman接口请求的创建与发送方法，涵盖GET和POST请求、URL配置、请求参数、Headers请求头、Body请求体设置以及响应结果查看，帮助用户掌握Postman接口请求的完整操作流程。
0
2026.11.06
DBeaver数据导入专题，整理Excel、CSV、SQL、TXT等常见文件的数据导入方法，涵盖目标数据库选择、数据表创建、字段映射、数据类型设置及导入参数配置等操作，帮助用户将本地文件中的数据写入数据库，并了解批量导入、重复数据处理和导入失败等常见问题的解决方法。
0
2026.11.05
DBeaver安全防护专题，围绕数据库连接安全、账号密码保护和访问权限管理展开，整理SSL/TLS加密连接、SSH隧道、数据库凭据保存及证书验证等配置方法，同时介绍敏感信息保护、远程连接风险和高权限账号使用等注意事项，帮助用户提高数据库日常管理的安全性。
0
2026.11.05
本专题聚焦DBeaver数据库连接配置与管理，覆盖从新建连接、选择数据库类型到填写连接参数和验证连接的完整流程。针对MySQL、PostgreSQL、SQL Server等常见数据库，整理相应的连接设置方法，并提供驱动缺失、认证失败和连接异常等问题的排查方向。
0
2026.11.04
本专题围绕XORM框架的结构体映射展开，说明表名与字段的命名策略、xorm标签常用属性、主键自增与时间字段自动填充，并演示Sync2自动建表、增量字段升级、索引声明与反向生成结构体的完整流程。
0
2026.11.04
本专题聚焦XORM框架的配置与连接环节，拆解MySQL、PostgreSQL、SQLite、SQL Server的DSN写法与驱动选择，讲清连接池参数、多数据源拆分、读写分离与超时重连的处理方式，并补充容器与兼容数据库的适配经验。
0
2026.11.04
本专题聚焦XORM框架的配置与连接环节，拆解MySQL、PostgreSQL、SQLite、SQL Server的DSN写法与驱动选择，讲清连接池参数、多数据源拆分、读写分离与超时重连的处理方式，并补充容器与兼容数据库的适配经验。
0
2026.11.04
热门下载
相关下载
精品课程
共6课时 | 12.1万人学习
共79课时 | 161.8万人学习
共6课时 | 54.7万人学习
最新文章
