核心用法
本 Skill 定位为 Tezos 区块链智能合约开发专家系统，主要服务于三类场景：
1. 合约开发指导：提供 LIGO（CameLIGO/JsLIGO）、Michelson、SmartPy 等多语言开发指引，推荐默认使用 LIGO 进行生产级开发
2. 安全模式实现：涵盖重入攻击防护、访问控制、输入验证、整数溢出防护等 5 大关键安全模式的标准代码模板
3. 标准合规开发：完整实现 FA2（TZIP-12）多代币标准，包括 transfer、balance_of、update_operators 等必需入口点，支持同质化代币、NFT 及混合合约
4. Gas 优化策略：提供 big_map 替代 map、视图函数、批量操作、存储读取缓存、数据打包等 5 种生产级优化模式
5. 部署工作流：从编译验证 → Shadownet 测试 → 安全审查 → 主网部署的完整 CI/CD 级流程
显著优点
- 安全优先架构：每个代码示例均嵌入安全检查点，强制"先更新状态再外部调用"原则，从源头杜绝重入漏洞
- 生产级代码质量：所有示例直接对标主网标准，包含完整的错误处理、权限验证和边界检查，可直接用于真实项目
- 多范式语言支持：同时提供函数式（CameLIGO）和命令式（JsLIGO）风格示例，适配不同开发者背景
- 标准化合规：严格遵循 TZIP-12（FA2）和 TZIP-16（元数据）官方标准，确保与钱包、交易所、NFT 市场的兼容性
- 全链路测试覆盖：内置单元测试、安全边界测试、Shadownet 模拟测试的三层验证体系
- Gas 成本可控：通过 big_map、视图、批量操作等模式，显著降低链上存储和计算成本
潜在缺点与局限性
- 语言生态门槛：LIGO 虽然比 Michelson 友好，但仍属小众语言，开发者社区规模远小于 Solidity/Vyper，第三方库和教程资源有限
- 学习曲线陡峭：Tezos 的 Michelson 虚拟机模型、存储模型（big_map/map 区别）、以及 FA2 的回调模式与 EVM 系差异较大，以太坊开发者需要重新适应
- 工具链成熟度：相比 Hardhat/Foundry 等 EVM 工具链，LIGO 编译器、测试框架、调试工具的功能丰富度和 IDE 支持仍有差距
- 测试网流动性：Shadownet 虽为长期测试网，但测试代币获取和节点稳定性偶有问题，Ghostnet 已废弃需迁移
- 无实时链上数据：Skill 本身为静态文档，不包含链上状态查询、事件监听等动态功能，需配合 octez-client、TzKT API 等外部工具
适合的目标群体
- 区块链安全研究员：需要系统学习 Tezos 智能合约安全模式的审计人员
- DeFi/NFT 项目开发者：计划发行 FA2 标准代币或构建 Tezos 生态 DApp 的团队
- 传统金融迁移者：机构背景开发者寻求 PoS 共识、形式化验证友好、能耗较低的公链方案
- 学术/教育场景：区块链课程教学、学生作业辅导、安全编码实践训练
- 跨链开发者：已熟悉 EVM 或 Solana，希望拓展 Tezos 技术栈的全栈工程师
使用风险说明
| 风险类型 | 等级 | 说明 |
|---------|------|------|
| 资产安全风险 | **高** | 主网部署错误可能导致真实 XTZ 损失，务必在 Shadownet 完成全部测试 |
| 代码审计风险 | 中 | Skill 提供的代码虽经安全设计，但未替代专业审计，高价值合约需额外聘请第三方审计 |
| 网络配置风险 | 中 | 命令行示例中主网/测试网 RPC 切换频繁，误操作可能导致意外费用或失败交易 |
| 依赖工具风险 | 低 | 依赖 ligo、octez-client、npm 等外部工具，版本兼容性需自行验证 |
| Gas 波动风险 | 低 | Tezos Gas 成本相对稳定，但网络拥堵时仍需关注 |
| 来源可信度风险 | 低 | T3 个人开发者维护，社区活跃度中等，需关注长期维护状态 |
关键建议：任何涉及真实资产的操作前，务必执行 --dry-run 模拟，并在 Shadownet 完成至少 3 轮完整测试循环。