搜索结果: "区块链"
地址簿技能Skill address-book
地址簿技能是一款用于管理区块链地址别名和传输历史的工具。它能自动从加密货币传输备忘录中生成联系人名称，跟踪每个地址的发送次数，提供快速查找和访问常用地址功能，适用于加密货币交易、区块链应用开发和钱包管理。关键词：地址管理、区块链、加密货币、传输历史、别名系统、联系人跟踪。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。
Move代码质量检查器Skill move-code-quality
这个技能是Move语言代码质量自动化分析工具，用于基于Move 2024 Edition标准和最佳实践检查智能合约代码。它自动扫描.move文件和Move.toml清单，分析代码组织、结构体、函数、测试等11个类别，提供具体反馈以优化区块链智能合约开发。关键词包括：Move语言，代码质量，代码审查，智能合约，区块链，Sui，最佳实践，自动化分析。
MultiversXPythonSDK交易与代币操作Skill mvx_sdk_py_transactions
这个技能提供了使用MultiversX Python SDK进行交易创建和代币管理的全面指南，包括转账、代币发行、交易解析和中继交易等功能。适用于区块链开发者、DApp开发者和智能合约工程师，帮助快速上手MultiversX生态系统。关键词：MultiversX, Python SDK, 交易, 代币, 区块链, DApp开发, 智能合约, 转账, 发行, 解析。
MultiversXSDK-Go数据结构Skill mvx_sdk_go_data
这个技能涉及MultiversX区块链SDK-Go的核心数据结构和类型，用于定义与区块链交互的核心对象，如交易、地址、账户、网络配置和虚拟机查询。它支持区块链应用开发，包括智能合约、去中心化应用(DApp)和链开发。关键词：MultiversX, 区块链, Go SDK, 数据结构, 智能合约, 链开发, 加密货币, DApp开发, 去中心化应用, 区块链交互。
MultiversXSDK-Go交易构建技能Skill mvx_sdk_go_builders
本技能专注于使用MultiversX SDK-Go中的构建器工具，进行区块链交易的构建、签名和管理。涵盖基础交易、智能合约交互、ESDT令牌传输和中继交易等场景，适用于区块链开发者、量化交易专家和DApp开发者。关键词包括：MultiversX, Go SDK, 交易构建, 签名, 区块链, 智能合约, ESDT, 中继交易, 量化金融。
Nostr协议集成技能Skill using-nostr
这个技能使开发者能够使用nostr-sdk库，在Nostr去中心化社交协议上发布公共笔记、发送加密消息、与中继交互。关键词包括Nostr、区块链、去中心化社交、SDK集成、加密通信、中继网络、密钥管理。
ETHSKILLS技能Skill ethskills-master
ETHSKILLS技能提供了AI代理与生产以太坊之间的缺失知识，专注于链上开发、智能合约、dApp部署、Gas优化和L2集成，帮助开发者高效构建安全可靠的区块链应用，关键词包括：以太坊、链上、开发、AI代理、智能合约、dApp、Gas、L2、SEO优化。
智能合约部署前审计清单Skill smart-contract-audit
这是一个用于在区块链智能合约部署到测试网或主网之前，进行系统性安全审计的检查清单。它涵盖了从静态代码分析、访问控制、重入攻击防护、升级安全性、经济模型风险、Gas优化、外部依赖管理到事件与文档的完整审计维度。关键词：智能合约审计、区块链安全、DeFi安全、Solidity、合约部署、安全清单、漏洞检查。
Solidity智能合约安全指南Skill solidity-security
本指南提供Solidity智能合约开发的核心安全模式与漏洞防范措施，涵盖重入攻击防护、访问控制、整数安全、预言机安全、闪电贷风险及Gas优化等关键领域。适用于以太坊智能合约开发者、安全审计员和区块链工程师，帮助构建安全可靠的DeFi、NFT及链上应用。关键词：Solidity安全，智能合约审计，重入攻击，访问控制，预言机，闪电贷，Gas优化，区块链安全。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。