SuperAPI AI 工具集

solidity

安全与审计

查看项目

更新于 10-15 22:11

技能介绍

用途:该技能基于 Solidity(ethereum/solidity)官方文档整理,面向以太坊 EVM 智能合约开发者,提供语言与编译器的系统性参考。

主要能力:内容分为核心参考、特性、最佳实践与高级主题四部分。核心参考包括源码布局(SPDX、pragma、import、注释)、合约结构(状态变量、函数、修饰器、事件、错误、结构体、枚举)、类型(值类型、引用类型、映射、运算符与转换)、控制结构(if/循环、内外部调用、revert、try/catch)、单位与全局对象(以太/时间单位、block/msg/tx、ABI 与哈希辅助函数)。特性部分覆盖合约创建与可见性、继承(virtual/override、super、C3、基类构造函数)、接口、库(DELEGATECALL、链接)、事件(indexed、anonymous、topics、emit)、自定义错误、内联汇编与 Yul、NatSpec、瞬态存储(EIP-1153)、可见性与 getter 生成。最佳实践涵盖重入、gas、随机数、抢跑等安全议题,常见模式(提款、访问控制、checks-effects-interactions、代理)以及风格与布局。高级主题包括 solc CLI 与 Standard JSON、优化器、库与路径解析、内部机制(存储/内存/calldata 布局、源码映射)、ABI 与元数据、SMTChecker 形式化验证及编译输出。

使用方式:资料中未提供具体的调用命令或安装步骤,暂未提供。

适用场景:编写、审阅或调试 Solidity 智能合约,理解编译器配置与 ABI 交互。

限制:资料为文档型参考,未提供收费、价格或平台信息;具体用法需以官方文档为准。