智能合约 Skill技能列表
Midnight智能合约核心概念Skill midnight-core-concepts:smart-contracts
本技能详细介绍了Midnight区块链平台的智能合约核心概念，包括其基于零知识证明的隐私保护架构、Compact领域特定语言的语法与结构、公共与私有状态分离机制、Impact虚拟机的执行模型以及交易处理流程。适用于区块链开发者、隐私技术研究人员和Web3应用构建者，关键词包括：Midnight智能合约、零知识证明、Compact语言、隐私区块链、ZK-SNARKs、状态机、Impact虚拟机、数据隐私、链上合约开发。
午夜协议文档Skill midnight-core-concepts:protocols
本技能提供Midnight区块链平台核心协议的详细中文技术文档，涵盖Kachina隐私智能合约协议和Zswap屏蔽代币转移协议。内容包括协议架构、工作原理、使用案例、交易结构、原子交换机制及实际应用示例。关键词：Midnight协议、Kachina智能合约、Zswap代币转移、隐私区块链、零知识证明、原子交换、屏蔽交易、区块链隐私技术、ZK-Rollup、去中心化金融。
紧凑型合约测试评审Skill compact-reviewer:testing-review
本技能用于系统性地评审智能合约的测试工作，包括分析测试覆盖率、识别未覆盖的边界情况、评估测试策略的有效性以及判断测试套件的整体质量和完整性。关键词：智能合约测试、测试覆盖率、边界情况、测试策略、测试质量、区块链测试。
Compact合约安全审查Skill compact-reviewer:security-review
这是一个用于Midnight网络上Compact智能合约的全面安全分析技能。它专注于检测安全漏洞、隐私泄露、披露违规、访问控制问题以及零知识证明（ZK）特定攻击向量。关键词：智能合约安全，零知识证明，隐私保护，区块链审计，访问控制，漏洞检测，ZK攻击向量，Compact语言。
Rust与Anchor开发模式指南Skill rust-patterns
这是一份关于Rust编程语言和Anchor框架在Solana区块链上开发智能合约的实用模式指南。内容涵盖账户验证、PDA（程序派生地址）推导、跨程序调用（CPI）安全以及通用Rust最佳实践。适用于智能合约开发者、区块链工程师和安全审计人员，旨在提升代码安全性、可读性和性能。关键词：Rust, Anchor, Solana, 智能合约, 区块链开发, PDA, CPI, 账户安全, 最佳实践。
合约调用Skill midnight-tooling:contract-calling
该技能用于从Node.js后端程序与Midnight区块链上已部署的智能合约进行交互。核心功能包括：执行无需生成零知识证明的只读查询以获取合约状态，以及发起需要生成证明的状态变更交易来更新链上数据。适用于构建与合约交互的API服务、自动化脚本测试以及程序化验证合约逻辑。关键词：Midnight合约调用，Node.js后端交互，零知识证明，智能合约查询，状态变更交易，区块链API开发。
ERC-8004智能体身份管理Skill erc8004-identity
ERC-8004 智能体身份管理技能是一个基于区块链的工具，专为AI智能体设计，用于在BNB链上自主注册、验证和管理其链上身份。它遵循ERC-8004标准，支持免Gas费注册、元数据更新和状态查询，是构建可信、可验证的Web3 AI智能体的核心组件。关键词：ERC-8004，BNB链，AI智能体，链上身份，Web3，区块链身份，智能合约，去中心化AI。
Hardhat智能合约开发框架Skill hardhat-framework
Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
EVM智能合约Gas优化技能Skill gas-optimization
本技能专注于EVM（以太坊虚拟机）智能合约的Gas成本优化技术，提供从存储布局、内存管理到汇编级优化的完整解决方案。包含存储打包、calldata与内存选择、无检查算术、自定义错误、循环优化、批量操作等核心优化策略，并集成基准测试工具进行性能对比分析。适用于区块链开发者、智能合约工程师、DeFi项目优化等场景。关键词：智能合约优化，Gas节省，EVM性能，存储优化，Solidity开发，区块链成本，DeFi优化，基准测试，汇编优化，批量交易。
Foundry智能合约开发框架Skill foundry-framework
Foundry 是一个用于以太坊智能合约开发的极速、模块化工具包。本技能涵盖其核心组件 Forge（测试与构建）、Cast（链上交互）、Anvil（本地节点）和 Chisel（REPL调试），提供完整的智能合约开发、测试（包括模糊测试和不变性测试）、Gas优化、本地部署和脚本化部署能力。关键词：Foundry，智能合约开发，以太坊，Solidity测试，模糊测试，Gas报告，区块链开发工具，DApp部署。