搜索结果: "区块链"
MultiversXPythonSDK智能合约操作Skill mvx_sdk_py_contracts
该技能提供了使用 MultiversX Python SDK 进行智能合约开发的完整指南，包括 ABI 加载、合约部署、函数调用和状态查询等操作。适用于区块链开发者，关键词：智能合约、ABI、部署、调用、查询、MultiversX、Python SDK、区块链开发、智能合约编程。
MultiversX协议专家知识Skill mvx_protocol_experts
这个技能提供 MultiversX 区块链协议核心技术的深入掌握，包括自适应状态分片、安全权益证明共识、ESDT 令牌标准和主权链集成。适用于协议开发、dApp 架构设计、跨链交易优化和系统审查。关键词：MultiversX, 分片, 共识, ESDT, 跨链, 区块链开发, 协议架构。
规范-代码合规检查技能Skill spec-to-code-compliance
该技能用于在区块链审计中验证代码是否精确实现文档规范，比较代码与白皮书或设计文档，找出规范与实现之间的差距，进行合规检查。关键词：区块链审计、智能合约、合规检查、规范验证、白皮书。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
午夜协议文档Skill midnight-core-concepts:protocols
本技能提供Midnight区块链平台核心协议的详细中文技术文档，涵盖Kachina隐私智能合约协议和Zswap屏蔽代币转移协议。内容包括协议架构、工作原理、使用案例、交易结构、原子交换机制及实际应用示例。关键词：Midnight协议、Kachina智能合约、Zswap代币转移、隐私区块链、零知识证明、原子交换、屏蔽交易、区块链隐私技术、ZK-Rollup、去中心化金融。
延迟追踪器Skill latency-tracker
这是一个用于区块链MEV（矿工可提取价值）基础设施的性能监控工具。它提供细粒度的延迟追踪功能，能够对单次调用和聚合操作进行计时，帮助开发者实施性能监控、调试慢速操作、设置告警阈值。关键词：MEV延迟追踪，区块链性能监控，量化交易系统监控，高频交易延迟分析，DevOps可观测性。
Opinion.trade预测市场交易Skill opinion
这是一个用于在 Opinion.trade 预测市场进行链上交易和数据分析的技能。它允许用户通过命令行接口搜索市场、获取实时价格、查看订单簿、下达买卖订单以及管理账户。该技能集成了 BNB 链上的去中心化中央限价订单簿 (CLOB)，支持对政治、加密货币、体育等各类事件的未来结果进行投机或对冲。关键词：预测市场，区块链交易，BNB链，链上订单簿，量化交易，DeFi，智能合约，市场数据，API集成。
调查Merkle根不匹配Skill investigate-merkle-root-mismatch
此技能用于调查区块链中relayer和validators之间Merkle根不匹配的警报和问题。通过查询监控系统、端口转发和二进制搜索，识别不匹配的索引和消息ID，并提供详细报告，为后续修复提供依据。关键词：Merkle根不匹配、区块链调试、节点运维、检查点验证、Hyperlane、量化交易分析。
智能合约安全审计工作流Skill secure-workflow-guide
这个技能用于实施Trail of Bits的5步安全开发工作流，自动化检测和修复智能合约中的安全问题。它包括Slither扫描漏洞、检查可升级性和ERC合规性、生成可视化安全图、文档化安全属性以进行模糊测试和验证，以及手动审查隐私、前运行、密码学和DeFi风险。适用于区块链开发人员、安全审计师和智能合约团队，提升代码安全性和合规性。关键词：智能合约安全，Slither扫描，Echidna模糊测试，安全审计，区块链开发，DeFi安全，ERC合规，可视化安全图。
NFT操作能力Skill BankrDev-NFTOperations
此技能专注于NFT市场操作，包括集成OpenSea、追踪地板价、浏览收藏品和购买NFT。通过自然语言提示，实现与NFT市场的交互，支持多种区块链如Ethereum和Polygon。关键词：NFT, OpenSea, 地板价, 收藏品, 购买, 自然语言, 区块链, Web3, DApp。
代币交换技能Skill swap-tokens
这是一个用于在SunSwap去中心化交易所（DEX）上进行安全代币交换的技能，通过自动路径查找、滑点保护和交易验证，支持TRX与TRC20代币之间的兑换，适用于DeFi交易、区块链开发和量化金融场景，帮助用户优化交易路径和确保交易安全。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。