本技能是关于Midnight区块链智能合约开发中Compact编译器的完整工具指南。它详细介绍了如何使用compactc编译器进行合约编译、配置构建设置、理解零知识证明（ZK）相关的输出产物（如zkir、证明者/验证者密钥），以及如何设置开发环境（如COMPACT_PATH）和集成VS Code语言服务器以获得更好的开发体验。关键词包括：Midnight区块链，Compact编译器，智能合约开发，零知识证明，ZK证明，DApp开发，编译工具链，VS Code集成。

用于在MultiversX智能合约中读取链上状态数据，包括调用者信息、账户余额、区块时间戳、ESDT代币元数据、本地角色、代码元数据等，是区块链开发和智能合约编程的关键技能，适用于DApp开发、DeFi应用和NFT项目。

这是一个用于区块链智能合约开发的辅助技能。其主要功能是帮助开发者快速克隆和启动Compact合约示例项目，包括计数器、代币、NFT、去中心化交易所（DEX）等模板。该技能通过提供结构化的示例目录、浅克隆命令和兼容性检查，简化了基于Midnight和OpenZeppelin框架的合约开发环境搭建流程。关键词：智能合约开发，区块链入门，合约模板，Midnight，Compact合约，OpenZeppelin，DApp开发，示例克隆。

EVM字节码分析技能是专门用于智能合约安全审计、Gas优化和逆向工程的专家级工具。提供深度EVM字节码分析、操作码解析、存储布局识别、代理模式检测和字节码反编译能力。关键词：EVM字节码分析、智能合约安全审计、Gas优化、逆向工程、区块链安全、Solidity反编译、存储布局分析、代理合约验证、操作码分析、字节码验证。

本技能提供关于Compact智能合约的测试与调试的全面指南。核心内容包括：常见错误（如潜在见证值泄露、电路约束失败）的快速诊断与修复，调试决策树，单元测试、见证模拟、状态验证等测试方法，以及常见陷阱的规避方案。适用于区块链开发者、智能合约工程师进行合约开发、错误排查、测试框架搭建和单元测试模拟。关键词：Compact合约，智能合约测试，电路调试，见证值泄露，约束失败，单元测试，TypeScript测试框架，区块链开发。

本技能专注于以太坊智能合约的设计与开发，核心是激励模型和去中心化系统的构建。它教授如何设计状态机、设置自维持激励、避免常见设计错误，并应用于DeFi、NFT、DApp等领域。关键词包括以太坊、智能合约、激励设计、去中心化应用、状态机、Hyperstructure、链上开发、区块链技术。

这个技能专用于扫描和审计Cairo/StarkNet智能合约的安全漏洞，识别包括felt252算术溢出、L1-L2消息传递问题、地址转换问题和签名重放在内的6个关键漏洞。适用于区块链项目的安全审计，帮助开发者在部署前发现和修复安全问题，确保智能合约的安全性。关键词：Cairo，StarkNet，智能合约，安全审计，漏洞扫描，区块链安全。

Midnight开发环境搭建指南，提供零知识智能合约和DApp开发所需的完整工具链配置。包括Node.js、Docker、Compact编译器、证明服务器等关键组件的安装与验证步骤，帮助开发者快速搭建隐私优先的区块链开发环境。关键词：Midnight开发环境、零知识证明、智能合约、DApp开发、Compact编译器、区块链工具链、隐私计算、开发环境配置

这个技能用于在 MultiversX 区块链智能合约中处理和验证支付，包括接收、验证和路由 EGLD 及 ESDT 代币的支付。它涵盖了单笔、多笔、可选和混合支付模式，适用于智能合约开发中的支付端点实现。关键词：MultiversX, 智能合约, 支付处理, EGLD, ESDT, 区块链开发, 代币验证, 支付路由。

此技能用于提交原始EVM交易，支持多种区块链如Ethereum、Polygon、Base和Unichain。用户可以通过JSON格式指定交易参数，包括目标地址、calldata、交易值和链ID，适用于智能合约调用、代币转账等场景。关键词：EVM交易、区块链、智能合约、交易提交、JSON格式。

这是一份关于Rust编程语言和Anchor框架在Solana区块链上开发智能合约的实用模式指南。内容涵盖账户验证、PDA（程序派生地址）推导、跨程序调用（CPI）安全以及通用Rust最佳实践。适用于智能合约开发者、区块链工程师和安全审计人员，旨在提升代码安全性、可读性和性能。关键词：Rust, Anchor, Solana, 智能合约, 区块链开发, PDA, CPI, 账户安全, 最佳实践。

此技能用于分析代币合约的安全性，检测蜜罐风险、地毯式风险、流动性锁等关键安全指标，帮助用户在交易前评估风险，避免投资欺诈代币。关键词：代币安全、智能合约安全、蜜罐检测、地毯式风险、流动性分析、区块链安全。