智能合约 Skill技能列表
区块链陷阱防范Skill pitfalls-blockchain
本技能提供区块链开发中的最佳实践指南，涵盖RPC错误处理、Gas费用估算、多链配置、交易管理等关键场景。包含智能合约调用安全、防回滚策略、并发交易处理、跨链开发等技术要点，帮助开发者避免常见陷阱，提升DApp稳定性和安全性。关键词：区块链开发、智能合约、RPC错误处理、Gas估算、多链配置、交易管理、Web3安全、DeFi开发、DApp优化
CantonNetwork开源仓库指南Skill canton-network-repos
本技能提供Canton Network开源生态系统的全面指南，涵盖DAML SDK、Canton运行时和Splice应用程序的版本管理、构建流程和故障排除。适用于区块链开发者、智能合约工程师和去中心化应用构建者，帮助解决版本兼容性、包ID不匹配和LF版本升级等问题。关键词：Canton Network, DAML智能合约, 区块链开发, 去中心化应用, LF版本, 包ID, 版本兼容性, 开源构建, Splice应用程序, 分布式账本。
Midnight开发环境设置Skill midnight-tooling:midnight-setup
Midnight开发环境搭建指南，提供零知识智能合约和DApp开发所需的完整工具链配置。包括Node.js、Docker、Compact编译器、证明服务器等关键组件的安装与验证步骤，帮助开发者快速搭建隐私优先的区块链开发环境。关键词：Midnight开发环境、零知识证明、智能合约、DApp开发、Compact编译器、区块链工具链、隐私计算、开发环境配置
性能审查技能Skill compact-reviewer:performance-review
本技能用于分析和优化区块链智能合约（特别是Compact电路）的性能。它专注于识别性能瓶颈、优化约束数量、减少证明生成时间以及降低Gas和计算成本。关键词包括：电路性能、约束优化、证明生成、Gas成本、性能分析、智能合约优化、区块链效率。
紧凑型代码可维护性审查Skill compact-reviewer:maintainability
本技能用于评估代码（特别是智能合约）的长期可维护性，识别潜在的技术债务，并提供模块化设计、重构和升级策略的指导。关键词：代码可维护性、技术债务、模块化设计、重构指南、升级策略、智能合约审查、未来验证。
构建智能合约Skill build-smart-contracts
本技能指南专注于使用 Algorand TypeScript (PuyaTs) 或 Algorand Python (PuyaPy) 在 Algorand 区块链上开发智能合约。它提供了从概念理解、最佳实践搜索、规范代码示例检索、代码生成适配到集成测试和构建部署的完整工作流。适用于开发者创建投票、NFT、DeFi 等各类去中心化应用（DApp）的底层合约逻辑，是进入 Algorand 智能合约开发的核心指引。关键词：Algorand 智能合约开发，PuyaTs，PuyaPy，TEAL 编译，区块链编程，DApp 合约编写，ARC-4 标准，状态管理，内部交易。
紧凑型合约关键问题审查Skill compact-reviewer:critical-issues
这是一个用于智能合约代码审查的专用技能，专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题，确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词：智能合约审计，代码审查，逻辑错误检测，区块链安全，Compact语言，断言分析，控制流分析，类型检查。
紧凑型代码审查最佳实践Skill compact-reviewer:best-practices
本技能提供Midnight区块链上Compact智能合约开发的代码审查指导。它专注于识别和推广惯用的编程模式、推荐的最佳实践，并指出开发过程中应避免的常见错误。关键词：智能合约开发，Compact语言，最佳实践，代码审查，Midnight区块链，编程模式，常见错误。
Compact合约测试与调试Skill compact-core:testing-debugging
本技能提供关于Compact智能合约的测试与调试的全面指南。核心内容包括：常见错误（如潜在见证值泄露、电路约束失败）的快速诊断与修复，调试决策树，单元测试、见证模拟、状态验证等测试方法，以及常见陷阱的规避方案。适用于区块链开发者、智能合约工程师进行合约开发、错误排查、测试框架搭建和单元测试模拟。关键词：Compact合约，智能合约测试，电路调试，见证值泄露，约束失败，单元测试，TypeScript测试框架，区块链开发。
Compact标准库Skill compact-core:standard-library
Compact标准库是区块链智能合约开发的核心内置模块，提供加密函数（如持久哈希、椭圆曲线运算）、工具类型（Maybe、Either）、代币操作（铸造、发送、接收、合并）和时间函数（区块时间、时间约束）。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词：区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。
隐私与披露Skill compact-core:privacy-disclosure
该技能是关于在Midnight区块链平台上开发隐私保护智能合约的核心指南。它详细说明了如何安全地处理源自私有见证的数据，防止信息泄露。主要内容包括：披露规则（何时必须使用`disclose()`函数）、安全与不安全操作（如`persistentCommit`与`persistentHash`的区别）、以及实现隐私的常见模式（如承诺-揭示模式、作废符模式）。适用于解决编译器隐私错误、设计零知识证明电路和构建保护用户数据的去中心化应用。关键词：隐私保护，智能合约，零知识证明，见证值，披露规则，承诺模式，Midnight，区块链安全。
Compact核心语言参考Skill compact-core:language-reference
本技能提供Midnight Network上Compact智能合约语言的完整中文参考手册，涵盖原始类型、复合类型、电路语法、见证语法、控制流和模块系统等核心内容。关键词：Compact智能合约，零知识证明，ZK语言，区块链开发，Midnight Network，隐私计算，电路编程，类型系统，模块化开发。