这个技能用于在 MultiversX 区块链平台上优化智能合约的 gas 消耗，通过实现基于 Drop trait 的回写缓存模式，减少存储操作成本，提高性能。关键词：MultiversX, 缓存, gas 优化, 智能合约, Drop trait, 回写缓存。

该技能用于在区块链审计中验证代码是否精确实现文档规范，比较代码与白皮书或设计文档，找出规范与实现之间的差距，进行合规检查。关键词：区块链审计、智能合约、合规检查、规范验证、白皮书。

本技能专注于使用 MultiversX 的 TypeScript/JavaScript SDK 进行智能合约开发，涵盖 ABI 加载、部署、调用、查询和解析等操作。适用于区块链开发者，关键词：智能合约，MultiversX，SDK，部署，调用，查询，ABI，区块链开发。

这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。

Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。

该技能涉及使用MultiversX区块链的Tx Builder API进行智能合约之间的跨合约调用，包括同步调用、异步调用、回调处理、代币支付和回传代币管理。它用于开发去中心化应用（DApp）、DeFi项目、NFT平台等区块链应用，提升智能合约的互操作性和功能扩展。关键词：MultiversX、跨合约调用、智能合约、区块链开发、DeFi、DApp、异步调用、回调处理。

代币一键部署器是一款基于Clanker SDK的区块链工具，专门用于快速部署生产就绪的ERC20代币，并自动创建Uniswap V4流动性池。该工具支持Base、以太坊、Arbitrum等多条主流区块链网络，提供完整的代币部署解决方案，包括锁仓机制配置、交易手续费分配、狙击保护等功能。关键词：ERC20代币部署、Uniswap V4流动性池、区块链代币创建、智能合约部署、DeFi工具、代币锁仓机制、多链部署、代币营销工具。

Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。

此技能用于撤销TRON区块链上TRC20令牌的高风险批准，通过调用智能合约设置批准量为零，以保护用户钱包免受恶意合约攻击，提升资产安全。关键词：区块链安全、撤销令牌批准、TRON钱包保护、智能合约操作、DeFi风险控制、令牌批准审计。

区块链研究专家是一个专注于使用Zai MCP对EVM链、永久性去中心化交易所架构、中心化交易所集成和DeFi-TradFi桥接进行综合分析的专业研究代理。关键词包括：区块链研究、协议比较、技术可行性、安全审计、合规性分析。

Foundry 是一个用于以太坊智能合约开发的极速、模块化工具包。本技能涵盖其核心组件 Forge（测试与构建）、Cast（链上交互）、Anvil（本地节点）和 Chisel（REPL调试），提供完整的智能合约开发、测试（包括模糊测试和不变性测试）、Gas优化、本地部署和脚本化部署能力。关键词：Foundry，智能合约开发，以太坊，Solidity测试，模糊测试，Gas报告，区块链开发工具，DApp部署。

本指南提供Solidity智能合约开发的核心安全模式与漏洞防范措施，涵盖重入攻击防护、访问控制、整数安全、预言机安全、闪电贷风险及Gas优化等关键领域。适用于以太坊智能合约开发者、安全审计员和区块链工程师，帮助构建安全可靠的DeFi、NFT及链上应用。关键词：Solidity安全，智能合约审计，重入攻击，访问控制，预言机，闪电贷，Gas优化，区块链安全。