搜索结果: "区块链"
Slither智能合约安全分析Skill slither-analysis
Slither智能合约安全分析技能是一个与Slither静态分析框架深度集成的专业工具，专门用于Solidity智能合约的自动化安全审计、漏洞检测和代码质量评估。该技能支持运行所有内置安全检测器（如重入攻击、未初始化存储、任意转账等），提供自定义配置、可视化分析（调用图、继承图）、误报过滤和多种格式报告输出（JSON、Markdown、SARIF）。适用于智能合约开发、安全审计、CI/CD集成和区块链安全研究，帮助开发者识别和修复智能合约中的安全漏洞和代码缺陷。 关键词：Slither分析，智能合约安全，Solidity漏洞检测，区块链安全审计，静态代码分析，重入攻击检测，DeFi安全，智能合约开发工具，安全自动化，代码质量检查
Aave信用委托代理Skill agent-credit
这是一个基于Aave协议的信用委托自动化技能，允许用户（委托人）将其在Aave上的借款额度安全地委托给AI代理（代理人）。代理人可以自主地从Aave V2/V3协议中借入指定资产（如USDC、WETH），用于gas自筹、DCA投资、资产兑换等DeFi操作，同时内置多重安全检查（健康因子、授权额度、单笔上限）确保委托人抵押头寸安全，避免清算风险。适用于量化交易、DeFi自动化、AI智能体金融操作等场景。 关键词：Aave信用委托，DeFi自动化，AI代理借款，智能合约交互，量化金融，区块链借贷，健康因子监控，安全借款，DeFi机器人，跨链DeFi
Compact合约测试与调试Skill compact-core:testing-debugging
本技能提供关于Compact智能合约的测试与调试的全面指南。核心内容包括：常见错误（如潜在见证值泄露、电路约束失败）的快速诊断与修复，调试决策树，单元测试、见证模拟、状态验证等测试方法，以及常见陷阱的规避方案。适用于区块链开发者、智能合约工程师进行合约开发、错误排查、测试框架搭建和单元测试模拟。关键词：Compact合约，智能合约测试，电路调试，见证值泄露，约束失败，单元测试，TypeScript测试框架，区块链开发。
Compact合约设计与架构审查技能Skill compact-reviewer:design-architecture
这是一个用于审查和评估Compact智能合约设计与架构的专业技能。它提供了一套系统化的评估框架，帮助开发者检查合约的结构合理性、设计模式应用、模块化程度、API设计质量以及代码组织。关键词：智能合约设计、架构审查、设计模式、模块化、API设计、代码组织、区块链开发、Compact合约。
性能审查技能Skill compact-reviewer:performance-review
本技能用于分析和优化区块链智能合约（特别是Compact电路）的性能。它专注于识别性能瓶颈、优化约束数量、减少证明生成时间以及降低Gas和计算成本。关键词包括：电路性能、约束优化、证明生成、Gas成本、性能分析、智能合约优化、区块链效率。
DApp-SDD实施技能Skill dapp-sdd:implement
这是一个用于自动化执行去中心化应用（DApp）开发任务的智能体技能。它遵循软件设计文档（SDD）规范，通过读取任务清单、实施计划和技术规格，自主完成智能合约编写、TypeScript开发、文档撰写等工作。该技能内置了严格的质量检查流程，包括代码检查、格式验证、类型检查和合约编译，并采用零容忍政策确保代码质量。它支持分阶段评审，能调用专门的评审代理进行代码审查，并在每个任务完成后自动提交代码、更新状态。最终，它能生成实施摘要并更新Pull Request状态，实现从开发到代码提交的端到端自动化工作流。关键词：DApp开发，智能合约，自动化实施，代码评审，质量检查，任务管理，Git提交，区块链开发，Midnight Network。
区块链事件订阅Skill midnight-indexer:event-subscriptions
午夜网络区块链实时事件订阅技术，通过WebSocket连接实现实时监控交易、合约状态变化、UTXO创建与消费等区块链事件。支持GraphQL订阅查询、事件过滤、背压处理、自动重连和事件缓冲，适用于构建实时仪表板、推送通知系统、事件驱动后端服务和交易状态跟踪应用。关键词：区块链实时订阅、WebSocket事件、合约状态监控、交易确认跟踪、GraphQL订阅、事件驱动架构、午夜网络、DApp开发、实时数据流、智能合约事件。
midnight-indexer:索引器服务Skill midnight-indexer:indexer-service
Midnight索引器服务技能提供区块链数据查询接口，用于获取账户余额、交易历史、合约状态等链上信息。支持GraphQL API查询、UTXO模型数据访问、隐私交易处理、分页查询优化，是构建DApp后端和区块链数据分析的核心工具。关键词：Midnight区块链、索引器服务、GraphQL API、UTXO查询、隐私交易、DApp开发、区块链数据、分页查询、实时订阅、健康检查。
Midnight开发环境设置Skill midnight-tooling:midnight-setup
Midnight开发环境搭建指南，提供零知识智能合约和DApp开发所需的完整工具链配置。包括Node.js、Docker、Compact编译器、证明服务器等关键组件的安装与验证步骤，帮助开发者快速搭建隐私优先的区块链开发环境。关键词：Midnight开发环境、零知识证明、智能合约、DApp开发、Compact编译器、区块链工具链、隐私计算、开发环境配置
CantonNetwork开源仓库指南Skill canton-network-repos
本技能提供Canton Network开源生态系统的全面指南，涵盖DAML SDK、Canton运行时和Splice应用程序的版本管理、构建流程和故障排除。适用于区块链开发者、智能合约工程师和去中心化应用构建者，帮助解决版本兼容性、包ID不匹配和LF版本升级等问题。关键词：Canton Network, DAML智能合约, 区块链开发, 去中心化应用, LF版本, 包ID, 版本兼容性, 开源构建, Splice应用程序, 分布式账本。
点对点网络技能Skill p2p-networking
这是一个用于构建去中心化代码协作平台的点对点网络技能，提供节点发现、加密通信、仓库同步和流言传播功能。关键词：P2P网络、去中心化、代码协作、节点通信、仓库同步、区块链技术、分布式系统、网络安全、Rust开发
Rust开发技能Skill rust-development
本技能文档详细介绍了Guts项目中Rust开发的最佳实践，涵盖惯用代码风格、错误处理模式、异步编程、模块结构、测试方法以及Commonware去中心化基础设施的集成。重点包括内存安全、代码规范、加密签名、P2P网络和共识算法等区块链开发关键技术，适用于构建高性能、安全的去中心化应用。 关键词：Rust开发，去中心化基础设施，Commonware集成，异步编程，错误处理，代码规范，区块链开发，P2P网络，加密签名，高性能系统