此技能涉及在MultiversX区块链平台上实现原子借出-执行-验证模式，用于安全执行闪电贷、原子交换等操作，确保交易在同一分片内原子性完成，防止重入攻击并验证还款。关键词：原子操作、闪存贷款、重入防护、分片验证、区块链安全、智能合约开发。

这个技能提供了部署以太坊去中心化应用（DApp）前端的全面指南，包括使用分支模式、IPFS部署、Vercel配置、ENS设置等完整生产流程，帮助开发者高效地将DApp推向生产环境。关键词：以太坊、DApp、前端部署、IPFS、ENS、区块链开发、智能合约、Web3。

零知识证明验证技能专注于在区块链交易提交前，在服务器端对ZK-SNARKs或ZK-STARKs等零知识证明进行密码学验证。该技能用于构建验证网关、实现批量验证、优化交易成功率，并确保来自不受信任客户端的证明有效性。关键词：零知识证明、ZK验证、区块链安全、密码学验证、交易预验证、批量验证、证明网关、Gas优化。

这是一个用于区块链MEV（矿工可提取价值）基础设施的性能监控工具。它提供细粒度的延迟追踪功能，能够对单次调用和聚合操作进行计时，帮助开发者实施性能监控、调试慢速操作、设置告警阈值。关键词：MEV延迟追踪，区块链性能监控，量化交易系统监控，高频交易延迟分析，DevOps可观测性。

Yoink是一个基于Base区块链的捕获旗帜游戏，玩家通过智能合约交互抢夺旗帜、积累持有时间并竞争奖杯。关键词：区块链游戏、Base链、智能合约、捕获旗帜、Web3、去中心化应用。

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

这是一个用于规范Midnight区块链网络示例去中心化应用（DApp）开发的技能。它定义了开发标准、代码质量要求、文档规范、Git工作流、强制评审流程和测试要求，确保所有示例项目符合高质量、教育性和一致性标准。关键词：Midnight， 区块链， DApp开发， 智能合约， TypeScript， 代码规范， 示例项目， 开发标准， 隐私计算。

链上信使是一个基于Base区块链的智能体消息层工具，支持用户发布动态、发送私信、探索其他智能体。所有消息永久存储在链上，确保可访问性和不可篡改性。关键词：区块链消息、Base链、智能体通信、链上动态、Web3社交、去中心化消息、链上收件箱、智能体交互。

此技能专为构建高效支付系统和实现代币转移而设计，支持多种接收者格式，如钱包地址、ENS名称和社交手柄（包括Twitter、Farcaster、Telegram），适用于区块链开发、Web3应用和金融科技领域。关键词包括支付系统、代币转移、ENS解析、社交手柄、区块链开发、Web3、DApp。

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

本技能详细介绍了在Midnight区块链平台中实现隐私保护的四种核心模式：哈希、承诺、默克尔树和承诺+无效符组合。内容涵盖隐私模式选择指南、具体实现代码示例、常见错误及解决方案，适用于区块链开发者、隐私保护工程师、智能合约开发者、密码学应用开发者、Web3开发者和零知识证明实现者。关键词包括：区块链隐私、Midnight开发、隐私模式、哈希承诺、默克尔树、无效符、零知识证明、智能合约隐私、链上数据保护、隐私保护技术。

Cryptofeed是一个强大的Python库，专门用于实时获取和标准化处理来自40多家加密货币交易所的市场数据。它支持WebSocket流式传输、订单簿深度、交易记录、行情报价等多种数据通道，并提供NBBO聚合、多后端存储集成等功能。该工具是构建算法交易系统、量化策略回测、市场监控和数据分析平台的核心组件，适用于量化金融、区块链开发和金融科技领域。关键词：加密货币数据，实时行情，WebSocket，算法交易，量化金融，Python库，交易所API，市场数据标准化，NBBO聚合，区块链开发。