Tezos Skill

核心用途

本技能为 Tezos 区块链开发者提供端到端的智能合约开发指导，覆盖从编码语言选择到主网部署的全生命周期。核心内容包括三大智能合约语言（Michelson、Ligo、SmartPy）的适用场景对比，FA1.2/FA2/FA2.1 代币标准的完整实现参考，以及针对 Tezos 特有架构的安全与优化策略。

显著优点

语言层级完整：同时覆盖底层 Michelson（极致控制、Gas 关键路径）和高层 Ligo（快速开发、生产首选），满足不同复杂度需求。

安全实践系统化：提供 6 大安全检查清单，包括重入攻击防护、整数溢出防护、访问控制验证等，所有模式均附带可直接运行的 Ligo 代码示例。

Gas 优化专精：针对 Tezos 存储成本模型提供具体技巧，如缓存存储读取、使用 big_map 替代 map、批量操作合并等，实测可显著降低执行成本。

标准实现权威：FA1.2 和 FA2 代币标准的完整代码实现直接参考 TZIP 官方提案，确保与生态工具（钱包、交易所、浏览器）的兼容性。

潜在局限

生态规模限制：Tezos 开发者社区和第三方库资源相较以太坊、Solana 更为有限，部分高级集成场景可能需要自行实现适配层。

工具链碎片化：Ligo 存在 CameLigo、JsLigo 等方言变体，SmartPy 与 Ligo 的测试框架互不兼容，跨语言项目可能增加维护复杂度。

学习曲线陡峭：Michelson 的栈机模型对主流开发者较为陌生，且官方文档分散在多个站点（docs.tezos.com、ligolang.org、opentezos.com），信息检索成本较高。

适合人群

• 计划构建 Tezos 主网应用的合约开发者
• 需要将现有 ERC-20/ERC-721 合约迁移至 FA1.2/FA2 标准的跨链团队
• 注重形式化验证和链上治理的 DeFi/NFT 项目
• 寻求 Gas 成本优化方案的基础设施开发者

常规风险

智能合约不可逆：一旦部署至主网，代码无法修改，需严格执行 Shadownet → 审计 → 主网的部署流程。

资金安全风险：Michelson 的强类型系统虽减少部分漏洞，但重入攻击、访问控制绕过等逻辑错误仍可能导致资产损失，建议高价值合约进行专业安全审计。

网络升级兼容：Tezos 协议定期升级（如 recent Mumbai/Nairobi），需关注 Breaking Changes 对合约行为的影响。

测试网状态：Ghostnet 已标记弃用，务必迁移至 Shadownet 进行开发测试，避免依赖过期网络配置。

核心用法

本 Skill 是一份面向 Tezos 区块链开发者的综合性技术文档，提供从入门到生产部署的完整开发指导。内容覆盖三大智能合约语言（Michelson 底层栈语言、LIGO 高级语言、SmartPy Python 风格），以及安全模式、代币标准、测试策略等关键领域。

开发者可通过查询获取：特定语言语法示例（如 LIGO 的 CameLIGO/JS_LIGO 变体）、安全审计清单（重入攻击防护、整数溢出检查、访问控制等六大项）、FA1.2 与 FA2 代币标准实现代码、Gas 优化技巧（存储缓存、View 函数、批量操作等），以及主网/测试网部署的完整工作流。

显著优点

权威技术来源：所有内容对齐 Tezos 官方文档（docs.tezos.com）、LIGO 语言官网（ligolang.org）及 TZIP 标准提案，代码示例可直接用于生产环境。

安全优先设计：专门设置安全清单章节，强制强调状态更新顺序、整数边界检查、权限验证等关键模式，并提供正误代码对比，显著降低智能合约漏洞风险。

多语言覆盖：同时支持函数式风格（CameLIGO）、类 JavaScript 风格（JS_LIGO）和 Python 风格（SmartPy），适应不同开发者背景。

工程化完整度：从本地编译（ligo compile）、测试网验证（Shadownet）、模拟执行（--dry-run）到主网部署的全流程均有命令级指导，附带区块浏览器、水龙头等 13 个可信外部资源链接。

潜在缺点与局限性

纯文档无执行能力：本 Skill 仅为静态知识库，无法直接调用 octez-client 或 ligo 编译器执行链上操作，开发者仍需在本地安装完整工具链。

版本时效性风险：Tezos 协议每数月升级（如 2024 年引入 Smart Rollups），文档中的 Gas 成本、测试网 RPC 端点可能随协议迭代而失效，需交叉验证官方最新文档。

深度安全依赖外部审计：虽然提供基础安全检查清单，但明确建议"高价值合约需专业安全审计"，意味着文档层面的指导不能替代形式化验证或第三方审计服务。

网络配置局限：测试网章节提及 Ghostnet 已弃用，但未涵盖最新 Tezos 二层扩展方案（如 Etherlink EVM 兼容层）的开发指导，专注 L1 场景。

适合的目标群体

• 区块链开发者：已有 Ethereum/Solidity 经验，需迁移至 Tezos 生态的工程师
• 智能合约安全审计员：需要快速查阅 Tezos 特定漏洞模式（如 Mutez 单位混淆、隐式/显式账户区别）的专业人员
• DeFi/NFT 项目团队：计划发行 FA2 多代币或实现复杂可升级合约架构的产品团队
• 高校 researchers：研究形式化验证、函数式智能合约语言（LIGO 基于 OCaml 家族）的学术用户

常规使用风险

开发工具链依赖：实际开发需本地安装 LIGO 编译器（~500MB）、Octez 客户端及 Node.js 环境，版本不匹配可能导致编译失败。

测试网资产丢失：Shadownet 水龙头获取的测试 XTZ 无价值但仍需妥善保管私钥，文档提醒"always test on shadownet first"但未涵盖私钥管理最佳实践。

Gas 估算偏差：文档提供的优化策略基于当前协议版本，未来协议升级可能改变存储/Gas 定价模型，生产环境需实测验证。

外部链接可用性：14 个引用资源均为可信来源但不受本 Skill 控制，极端情况下（如 tzkt.io 服务中断）可能影响调试体验。