搜索结果: "区块链"
MVX内存令牌分类账模式Skill mvx_vault_pattern
此技能涉及MultiversX区块链平台的内存令牌分类账模式,用于在智能合约中高效管理多步令牌操作的中间余额,避免不必要的存储写入,提升交易性能和原子性。关键词:MultiversX, 内存令牌分类账, 智能合约, 中间余额, 令牌管理, 区块链开发。
MultiversX测试手册Skill mvx_testing_handbook
这个技能提供关于MultiversX区块链平台测试的全面指南,涵盖RustVM单元测试、Mandos集成测试和链模拟器,帮助开发者进行智能合约测试、质量评估和SEO关键词如区块链测试、智能合约开发、测试策略。
MultiversXPythonSDK交易与代币操作Skill mvx_sdk_py_transactions
这个技能提供了使用MultiversX Python SDK进行交易创建和代币管理的全面指南,包括转账、代币发行、交易解析和中继交易等功能。适用于区块链开发者、DApp开发者和智能合约工程师,帮助快速上手MultiversX生态系统。关键词:MultiversX, Python SDK, 交易, 代币, 区块链, DApp开发, 智能合约, 转账, 发行, 解析。
审计上下文构建Skill audit_context
审计上下文构建技能是一种专注于智能合约安全审计的技术,用于在审计前快速建立代码库的思维模型。它通过侦察、系统映射、威胁建模和环境检查步骤,帮助识别潜在漏洞,提升代码安全性。关键词:智能合约审计、代码审计、漏洞挖掘、区块链安全、安全扫描、威胁建模。
L2技能Skill l2
此技能已弃用,现已迁移至L2s。主要用于区块链二层网络技术的开发、维护和优化,涉及智能合约、DeFi、Web3等关键词,便于SEO搜索。
Web3智能合约开发工具链Skill web3-hardhat
Hardhat 是一个基于 TypeScript/JavaScript 的以太坊智能合约开发、测试和部署工具链。它提供了一套完整的开发环境,包括合约编译、本地节点、自动化测试、脚本部署、合约验证以及丰富的插件生态系统。适用于 Solidity 开发者进行区块链 DApp 和智能合约的快速开发与迭代。关键词:Hardhat, 智能合约, Solidity, 以太坊开发, 区块链工具, 合约测试, 合约部署, Web3开发。
Mythril符号执行分析工具Skill mythril-symbolic
Mythril 符号执行技能是一个用于智能合约安全审计的自动化工具。它通过符号执行技术深度扫描以太坊虚拟机(EVM)字节码,自动检测重入攻击、整数溢出、无保护自毁等关键安全漏洞。该工具支持配置交易深度、超时设置,并能生成概念验证(PoC)利用代码,帮助开发者和安全工程师在部署前发现并修复合约漏洞。关键词:智能合约安全,符号执行,漏洞检测,Mythril,以太坊安全,重入攻击,整数溢出,安全审计,区块链安全,EVM字节码分析。
零协议Skill 0protocol
零协议是一个为自主AI智能体设计的身份基础层技术。它提供去中心化身份管理、插件签名认证、行为可验证声明和任务安全交接功能。通过Ed25519签名和仅追加日志,确保代理身份在凭证轮换和平台迁移中保持持久性。核心关键词:AI智能体身份管理、插件签名认证、去中心化身份、行为可验证声明、任务交接协议、区块链式日志、自主代理安全。
Web3&BlockchainEngineeringSkill afrexai-web3-engineering
这是一个全面的区块链系统评估、设计、构建、保护和运营的方法论指南,包括智能合约开发、DeFi协议设计、代币经济模型、安全审计和生产运营等方面,旨在帮助项目在Web3领域取得成功。
compact-core:编译工具链Skill compact-core:compilation-tooling
本技能是关于Midnight区块链智能合约开发中Compact编译器的完整工具指南。它详细介绍了如何使用compactc编译器进行合约编译、配置构建设置、理解零知识证明(ZK)相关的输出产物(如zkir、证明者/验证者密钥),以及如何设置开发环境(如COMPACT_PATH)和集成VS Code语言服务器以获得更好的开发体验。关键词包括:Midnight区块链,Compact编译器,智能合约开发,零知识证明,ZK证明,DApp开发,编译工具链,VS Code集成。
紧凑型代码审查最佳实践Skill compact-reviewer:best-practices
本技能提供Midnight区块链上Compact智能合约开发的代码审查指导。它专注于识别和推广惯用的编程模式、推荐的最佳实践,并指出开发过程中应避免的常见错误。关键词:智能合约开发,Compact语言,最佳实践,代码审查,Midnight区块链,编程模式,常见错误。
紧凑型合约关键问题审查Skill compact-reviewer:critical-issues
这是一个用于智能合约代码审查的专用技能,专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题,确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词:智能合约审计,代码审查,逻辑错误检测,区块链安全,Compact语言,断言分析,控制流分析,类型检查。