这个技能用于区块链智能合约开发中，通过内存数据结构（如ManagedMapEncoded和ManagedVec）高效追踪多步代币操作的中间余额，避免昂贵的存储写入，优化Gas使用，适用于DeFi应用、批量处理、原子交换等场景。关键词：内存代币记账、智能合约优化、多步操作、代币追踪、Gas节省、区块链开发。

这个技能是基于Trail of Bits最佳实践的智能合约开发顾问工具，用于系统分析代码库、生成文档和规范、审查架构和升级模式、评估实现质量、识别常见陷阱、检查依赖关系并提供测试改进建议。旨在提高智能合约的安全性和开发质量，适用于区块链开发者和安全审计师。关键词：智能合约、安全开发、代码审计、区块链安全、Trail of Bits、最佳实践、开发指南。

这个技能是Move语言代码质量自动化分析工具，用于基于Move 2024 Edition标准和最佳实践检查智能合约代码。它自动扫描.move文件和Move.toml清单，分析代码组织、结构体、函数、测试等11个类别，提供具体反馈以优化区块链智能合约开发。关键词包括：Move语言，代码质量，代码审查，智能合约，区块链，Sui，最佳实践，自动化分析。

该技能是关于在Midnight区块链平台上开发隐私保护智能合约的核心指南。它详细说明了如何安全地处理源自私有见证的数据，防止信息泄露。主要内容包括：披露规则（何时必须使用`disclose()`函数）、安全与不安全操作（如`persistentCommit`与`persistentHash`的区别）、以及实现隐私的常见模式（如承诺-揭示模式、作废符模式）。适用于解决编译器隐私错误、设计零知识证明电路和构建保护用户数据的去中心化应用。关键词：隐私保护，智能合约，零知识证明，见证值，披露规则，承诺模式，Midnight，区块链安全。

使用 AlgoKit CLI 和 TypeScript 客户端部署和交互 Algorand 智能合约

这个技能用于验证MultiversX智能合约实现是否匹配其设计规范、白皮书和MIP标准。它涉及提取要求、映射代码、验证逻辑和记录发现，适用于审计、tokenomics实现验证和MIP合规性检查。关键词：智能合约审计、规范验证、MultiversX、MIP标准、代码审查。

这是一个用于智能合约代码审查的专用技能，专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题，确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词：智能合约审计，代码审查，逻辑错误检测，区块链安全，Compact语言，断言分析，控制流分析，类型检查。

这个技能用于指导用户编写自定义 Semgrep 规则，自动检测 MultiversX 区块链智能合约中的不安全模式，如算术溢出和支付检查缺失，以提升代码安全性和合规性。关键词包括 Semgrep, MultiversX, 智能合约安全, Rust 编程, 代码审计, 区块链开发。

此技能专注于 MultiversX 区块链智能合约的项目架构设计，提供生产级别的文件夹结构、模块组合模式和开发最佳实践。适用于开始新项目、重构现有合约或构建多合约系统，提高开发效率和代码可维护性。关键词：MultiversX, 智能合约, 项目架构, 区块链开发, 模块化设计, 智能合约开发, 生产级结构, 多合约系统。

本技能提供区块链开发中的最佳实践指南，涵盖RPC错误处理、Gas费用估算、多链配置、交易管理等关键场景。包含智能合约调用安全、防回滚策略、并发交易处理、跨链开发等技术要点，帮助开发者避免常见陷阱，提升DApp稳定性和安全性。关键词：区块链开发、智能合约、RPC错误处理、Gas估算、多链配置、交易管理、Web3安全、DeFi开发、DApp优化

这个技能用于验证加密操作是否在恒定时间内执行，以防止时序攻击。主要应用于审计自定义加密实现、秘密比较逻辑、认证验证代码等，在MultiversX平台上的智能合约安全分析中尤为重要。关键词：加密安全、恒定时间、时序攻击、审计、MultiversX、智能合约、密码学、安全验证。

AlgoKit CLI 是 Algorand 区块链智能合约开发的核心工具集，提供从合约构建、测试到部署的完整工作流。关键词：Algorand 智能合约开发，AlgoKit CLI 命令，本地网络部署，区块链 DApp 构建，智能合约测试，Puya 编译器，ARC56 规范，类型化客户端生成。