智能合约 Skill技能列表
隐私与披露Skill compact-core:privacy-disclosure
该技能是关于在Midnight区块链平台上开发隐私保护智能合约的核心指南。它详细说明了如何安全地处理源自私有见证的数据,防止信息泄露。主要内容包括:披露规则(何时必须使用`disclose()`函数)、安全与不安全操作(如`persistentCommit`与`persistentHash`的区别)、以及实现隐私的常见模式(如承诺-揭示模式、作废符模式)。适用于解决编译器隐私错误、设计零知识证明电路和构建保护用户数据的去中心化应用。关键词:隐私保护,智能合约,零知识证明,见证值,披露规则,承诺模式,Midnight,区块链安全。
Solana漏洞扫描器Skill solana-vulnerability-scanner
这个技能用于自动扫描Solana区块链程序(包括原生Rust和Anchor框架)的6个关键安全漏洞,如任意跨程序调用(CPI)、程序派生地址(PDA)验证不当、缺失签名和所有权检查等。适用于智能合约安全审计、漏洞挖掘、预发布安全评估等场景。关键词:Solana漏洞扫描、智能合约安全、Anchor程序审计、CPI安全、PDA验证、安全漏洞检测、区块链安全。
MultiversX智能合约开发陷阱与解决方案Skill multiversx-sharp-edges
这个技能是一个针对 MultiversX 区块链平台的开发指南,详细列出了常见的非明显行为、陷阱和平台特定问题及其解决方案,帮助开发者在编写智能合约和 dApps 时避免错误。关键词包括 MultiversX, 智能合约, 陷阱, 开发指南, 区块链开发, 调试技巧, 异步回调, gas 限制, 存储映射。
MultiversX智能合约最佳实践指南Skill mvx_sc_best_practices
本技能提供编写安全、高效、符合最佳实践的MultiversX智能合约的全面指南,涵盖存储优化、安全模式、测试方法、代码结构等关键方面,适用于区块链开发者、智能合约工程师和审计人员。关键词:MultiversX, 智能合约, Rust, 最佳实践, 安全, 气效率, 存储, 测试, 区块链开发。
内存代币账本模式Skill multiversx-vault-pattern
这个技能用于区块链智能合约开发中,通过内存数据结构(如ManagedMapEncoded和ManagedVec)高效追踪多步代币操作的中间余额,避免昂贵的存储写入,优化Gas使用,适用于DeFi应用、批量处理、原子交换等场景。关键词:内存代币记账、智能合约优化、多步操作、代币追踪、Gas节省、区块链开发。
MultiversX区块链数据读取Skill multiversx-blockchain-data
用于在MultiversX智能合约中读取链上状态数据,包括调用者信息、账户余额、区块时间戳、ESDT代币元数据、本地角色、代码元数据等,是区块链开发和智能合约编程的关键技能,适用于DApp开发、DeFi应用和NFT项目。
代币安全分析器Skill token-security
此技能用于分析代币合约的安全性,检测蜜罐风险、地毯式风险、流动性锁等关键安全指标,帮助用户在交易前评估风险,避免投资欺诈代币。关键词:代币安全、智能合约安全、蜜罐检测、地毯式风险、流动性分析、区块链安全。
克隆示例Skill compact-core:clone-examples
这是一个用于区块链智能合约开发的辅助技能。其主要功能是帮助开发者快速克隆和启动Compact合约示例项目,包括计数器、代币、NFT、去中心化交易所(DEX)等模板。该技能通过提供结构化的示例目录、浅克隆命令和兼容性检查,简化了基于Midnight和OpenZeppelin框架的合约开发环境搭建流程。关键词:智能合约开发,区块链入门,合约模板,Midnight,Compact合约,OpenZeppelin,DApp开发,示例克隆。
Cairo漏洞扫描器Skill cairo-vulnerability-scanner
这个技能专用于扫描和审计Cairo/StarkNet智能合约的安全漏洞,识别包括felt252算术溢出、L1-L2消息传递问题、地址转换问题和签名重放在内的6个关键漏洞。适用于区块链项目的安全审计,帮助开发者在部署前发现和修复安全问题,确保智能合约的安全性。关键词:Cairo,StarkNet,智能合约,安全审计,漏洞扫描,区块链安全。
漏洞赏金与安全披露Skill bug-bounty
本技能专注于智能合约与区块链协议的漏洞赏金计划全流程管理。核心功能包括在Immunefi等平台设置赏金计划、定义安全评估范围、进行漏洞分类与验证、协调负责任的安全披露、计算与支付赏金,以及进行披露后的事故分析与经验总结。适用于Web3安全团队、审计机构及项目方,旨在建立标准化的安全响应与漏洞管理机制。关键词:漏洞赏金、安全披露、智能合约安全、Immunefi、漏洞管理、区块链安全、赏金支付、安全审计、Web3安全。
Mythril符号执行分析工具Skill mythril-symbolic
Mythril 符号执行技能是一个用于智能合约安全审计的自动化工具。它通过符号执行技术深度扫描以太坊虚拟机(EVM)字节码,自动检测重入攻击、整数溢出、无保护自毁等关键安全漏洞。该工具支持配置交易深度、超时设置,并能生成概念验证(PoC)利用代码,帮助开发者和安全工程师在部署前发现并修复合约漏洞。关键词:智能合约安全,符号执行,漏洞检测,Mythril,以太坊安全,重入攻击,整数溢出,安全审计,区块链安全,EVM字节码分析。
WASM二进制分析与调试技能Skill mvx_wasm_debug
这个技能用于在MultiversX区块链平台上分析WASM二进制文件,提供调试功能,包括代码大小分析、panic问题检测和DWARF调试符号支持,帮助开发者优化智能合约性能。关键词:WASM, 调试, MultiversX, 智能合约, DWARF, 二进制分析。