搜索结果: "区块链"
MultiversXPythonSDK智能合约操作Skill mvx_sdk_py_contracts
该技能提供了使用 MultiversX Python SDK 进行智能合约开发的完整指南，包括 ABI 加载、合约部署、函数调用和状态查询等操作。适用于区块链开发者，关键词：智能合约、ABI、部署、调用、查询、MultiversX、Python SDK、区块链开发、智能合约编程。
MultiversXSDK-JS核心操作技能Skill mvx_sdk_js_core
这个技能是关于 MultiversX 区块链的 TypeScript/JavaScript SDK 核心操作，专注于网络入口点、网络提供者和交易生命周期管理。关键词包括 MultiversX, SDK, TypeScript, JavaScript, 区块链, 核心操作, 网络入口点, 网络提供者, 交易, DApp开发, 链开发, 便于搜索和SEO。
MultiversXSDK-JS智能合约操作Skill mvx_sdk_js_contracts
本技能专注于使用 MultiversX 的 TypeScript/JavaScript SDK 进行智能合约开发，涵盖 ABI 加载、部署、调用、查询和解析等操作。适用于区块链开发者，关键词：智能合约，MultiversX，SDK，部署，调用，查询，ABI，区块链开发。
MultiversX智能合约最佳实践指南Skill mvx_sc_best_practices
本技能提供编写安全、高效、符合最佳实践的MultiversX智能合约的全面指南，涵盖存储优化、安全模式、测试方法、代码结构等关键方面，适用于区块链开发者、智能合约工程师和审计人员。关键词：MultiversX, 智能合约, Rust, 最佳实践, 安全, 气效率, 存储, 测试, 区块链开发。
MultiversX属性测试Skill mvx_property_testing
本技能专注于使用属性测试（如模糊测试）在MultiversX区块链平台上验证智能合约的逻辑正确性，通过定义和测试不变量来发现潜在的错误和边缘情况。关键词：属性测试、模糊测试、智能合约、Rust、MultiversX、不变量、区块链测试、自动化测试。
MultiversX跨合约存储读取Skill mvx_cross_contract_storage
该技能用于在MultiversX区块链上直接读取同一分片智能合约的存储，无需代理调用，减少气体开销和异步复杂性。适用于智能合约开发、区块链应用优化和性能提升。关键词：MultiversX, 跨合约, 存储读取, 智能合约, 区块链开发, 气体优化。
MultiversX智能合约缓存优化Skill mvx_cache_patterns
这个技能用于在 MultiversX 区块链平台上优化智能合约的 gas 消耗，通过实现基于 Drop trait 的回写缓存模式，减少存储操作成本，提高性能。关键词：MultiversX, 缓存, gas 优化, 智能合约, Drop trait, 回写缓存。
ETHSKILLS技能Skill ethskills-master
ETHSKILLS技能提供了AI代理与生产以太坊之间的缺失知识，专注于链上开发、智能合约、dApp部署、Gas优化和L2集成，帮助开发者高效构建安全可靠的区块链应用，关键词包括：以太坊、链上、开发、AI代理、智能合约、dApp、Gas、L2、SEO优化。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
Solidity智能合约开发Skill solidity-dev
Solidity智能合约开发技能专注于以太坊区块链上的安全、高效智能合约编写。该技能涵盖ERC标准代币开发、Gas优化技术、安全模式实现、可升级合约设计等核心领域，适用于DeFi、NFT、DApp等Web3应用开发。关键词：Solidity开发、智能合约、区块链开发、以太坊、ERC标准、Gas优化、安全审计、DeFi、NFT、Web3开发。
SushiSwapSDKSkill sushiswap-sdk
SushiSwap SDK 是一个用于去中心化交易所（DEX）聚合器交互的 TypeScript 开发工具包。它提供强类型安全、精确的算术运算和便捷的 API 封装，帮助开发者高效构建 Web3 应用、DeFi 协议和 DApp，实现代币交换、价格查询和交易生成等功能。关键词：SushiSwap SDK, TypeScript, 区块链开发, DeFi, 代币交换, Web3, 智能合约, DApp, 量化交易接口。
Compact核心：账本抽象数据类型Skill compact-core:ledger-adts
本技能提供Midnight区块链平台中Compact语言的链上状态管理抽象数据类型（ADT）完整参考，包括Cell、Counter、Map、Set、List、MerkleTree等核心数据结构的使用方法、操作对比和实际代码示例。适用于区块链开发者、智能合约工程师、隐私计算研究人员，关键词：Compact语言、链上状态管理、抽象数据类型、Midnight区块链、智能合约开发、账本数据结构、Merkle树、隐私保护计算。