SuperAPI AI 工具集

cairo-contract-authoring

编程与开发

查看项目

更新于 10-16 06:21

技能介绍

用途:在 Starknet 上编写 Cairo 智能合约。适用于从零新建合约、修改已有合约的存储/事件/接口、组合 OpenZeppelin Cairo 组件(Ownable、ERC20、ERC721、AccessControl、Upgradeable)、用 embeddable_as 实现组件模式,以及组织多合约 Scarb 项目。不适用于 Gas 优化、测试策略设计、部署发布和既有代码安全审计,这些分别由 cairo-optimization、cairo-testing、cairo-deploy、cairo-auditor 处理。

主要能力:按 new、modify、component 三种模式分类请求;根据请求类型加载语言、合约结构、组件与安全模式参考;先输出接口、存储、组件、事件与安全姿态计划并等待确认,再实现代码;实现后运行 scarb build 验证编译,并检查每个外部函数的访问姿态。

使用方式:先分类模式,modify 或 component 模式需先读取现有 .cairo 文件;按需加载 references/language.md、references/legacy-full.md、references/anti-pattern-pairs.md;计划控制在 30 行内;实现时接口用 #[starknet::interface] 定义在合约模块外,视图函数用 @TContractState,外部变更用 ref self: TContractState;项目结构为 src/lib.cairo、src/contract.cairo、src/interfaces.cairo。编译通过后可用 snforge test 检查回归,并建议后续运行 cairo-testing 或 cairo-auditor。

强制安全规则:每个修改存储的外部函数必须有明确访问姿态(守卫或注明公开原因);构造函数校验关键地址非零;升级流程拒绝零 class hash;时间锁必须读取 get_block_timestamp() 而非调用方参数;不得写出反模式。

限制:资料未提供具体收费、价格、平台支持范围与效果数据;错误码 AUTH-001 至 AUTH-004 给出对应恢复方式。