搜索结果: "区块链"
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集成、加密通信、中继网络、密钥管理。
智能合约部署前审计清单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集成。
EVM智能合约Gas优化技能Skill gas-optimization
本技能专注于EVM（以太坊虚拟机）智能合约的Gas成本优化技术，提供从存储布局、内存管理到汇编级优化的完整解决方案。包含存储打包、calldata与内存选择、无检查算术、自定义错误、循环优化、批量操作等核心优化策略，并集成基准测试工具进行性能对比分析。适用于区块链开发者、智能合约工程师、DeFi项目优化等场景。关键词：智能合约优化，Gas节省，EVM性能，存储优化，Solidity开发，区块链成本，DeFi优化，基准测试，汇编优化，批量交易。
BNB链MCP交互技能Skill bnbchain-mcp
BNB链MCP交互技能是一个用于连接BNB链模型上下文协议服务器的工具集。它主要功能包括：查询BNB链上的DeFi数据（如借贷利率）、实时获取各类代币的美元价格、搜索BNB链官方技术文档、获取指定代码仓库的Git提交差异、以及检索部署在BNB链上的智能合约源代码。该技能为开发者、数据分析师和区块链研究者提供了一个本地化的命令行接口，方便高效地访问BNB链生态的核心数据和开发资源。关键词：BNB链，MCP协议，DeFi数据查询，代币价格，智能合约源码，区块链开发工具，Web3数据接口。
零知识证明验证Skill midnight-proofs:proof-verification
零知识证明验证技能专注于在区块链交易提交前，在服务器端对ZK-SNARKs或ZK-STARKs等零知识证明进行密码学验证。该技能用于构建验证网关、实现批量验证、优化交易成功率，并确保来自不受信任客户端的证明有效性。关键词：零知识证明、ZK验证、区块链安全、密码学验证、交易预验证、批量验证、证明网关、Gas优化。
代理商务协议Skill acp
ACP（代理商务协议）是一个区块链上的商务交互协议，旨在促进代理之间的交易，包括服务发现、加密协议、链上托管支付等。关键词包括：链上托管、加密协议、服务发现、智能合约。
信号交易Skill signals
这个技能用于监控外部信号源（如RSS、Twitter、Telegram和webhooks），自动触发交易。它支持过滤规则、配置交易参数，专用于Solana区块链上的量化交易。关键词：信号交易、量化交易、自动交易、Solana、算法交易。
Telegram迷你应用构建专家Skill telegram-mini-app
该技能专门用于构建Telegram迷你应用（TWA），这是一种在Telegram内运行的Web应用，提供类似原生的用户体验。技能涵盖Telegram Web App API、TON区块链集成、支付系统、用户认证、病毒式传播机制等，适用于开发游戏、DeFi应用、工具和社交应用。关键词：Telegram迷你应用、TWA、TON区块链、Web3、前端开发、病毒传播、货币化、Telegram Web App。