搜索结果: "区块链"
ArbitrumdApp开发技能指南Skill arbitrum-dapp-skill
本技能指南是关于如何在 Arbitrum 区块链上使用 Stylus (Rust) 和 Solidity 开发去中心化应用 (dApp) 的完整教程。内容涵盖从本地开发环境搭建 (nitro-devnode)、智能合约编写与测试 (Rust/Solidity)、到前端 (React/Next.js) 集成 (viem/wagmi) 的全栈工作流。关键词：Arbitrum, dApp开发, 智能合约, Stylus, Rust, Solidity, 区块链开发, 前端集成, 本地测试, 部署指南。
Rust与Anchor开发模式指南Skill rust-patterns
这是一份关于Rust编程语言和Anchor框架在Solana区块链上开发智能合约的实用模式指南。内容涵盖账户验证、PDA（程序派生地址）推导、跨程序调用（CPI）安全以及通用Rust最佳实践。适用于智能合约开发者、区块链工程师和安全审计人员，旨在提升代码安全性、可读性和性能。关键词：Rust, Anchor, Solana, 智能合约, 区块链开发, PDA, CPI, 账户安全, 最佳实践。
Web3前端开发模式Skill web3-frontend
Web3前端开发模式是用于构建去中心化应用(dApp)前端界面的最佳实践集合。该技能涵盖钱包连接集成（EVM和Solana生态）、交易状态管理、大数字显示格式化、区块链错误信息翻译、链切换用户体验优化以及域名解析等功能实现。关键词：Web3前端、dApp开发、钱包连接、区块链交易、用户体验优化、Ethereum、Solana、React、TypeScript、智能合约交互。
Web3身份验证SDK模式Skill web3-privy
Privy SDK 是一个用于Web3应用的身份验证解决方案，提供钱包登录、嵌入式钱包、社交登录和服务器端验证功能。关键词：Web3身份验证、区块链登录、嵌入式钱包、Privy SDK、多链支持、React集成、DeFi应用开发。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
链上取证分析Skill chain-forensics
链上取证分析技能是用于区块链安全调查的专业工具，提供交易追踪、可疑模式识别、MEV分析、地址聚类和跨链资产追踪等功能。该技能能够生成详细的取证报告，帮助安全团队进行事件响应和调查分析。关键词：区块链安全、链上分析、交易取证、资金追踪、MEV分析、地址聚类、跨链追踪、安全调查、取证报告、DeFi安全。
密码学原语Skill crypto-primitives
本技能提供区块链和网络安全应用中核心密码学原语的实现与安全使用指南。涵盖数字签名（ECDSA、BLS、Schnorr）、密钥派生（BIP-32/39/44）、秘密共享（Shamir）、哈希函数（Keccak、Poseidon）、承诺方案（Pedersen）、安全随机数生成以及抗侧信道攻击的恒定时间操作。适用于区块链开发者、安全工程师和密码学研究人员，确保密码学实现的安全性和正确性。关键词：密码学原语、区块链安全、数字签名、密钥管理、秘密共享、零知识证明、侧信道防护、安全随机数。
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
Foundry智能合约开发框架Skill foundry-framework
Foundry 是一个用于以太坊智能合约开发的极速、模块化工具包。本技能涵盖其核心组件 Forge（测试与构建）、Cast（链上交互）、Anvil（本地节点）和 Chisel（REPL调试），提供完整的智能合约开发、测试（包括模糊测试和不变性测试）、Gas优化、本地部署和脚本化部署能力。关键词：Foundry，智能合约开发，以太坊，Solidity测试，模糊测试，Gas报告，区块链开发工具，DApp部署。
EVM智能合约Gas优化技能Skill gas-optimization
本技能专注于EVM（以太坊虚拟机）智能合约的Gas成本优化技术，提供从存储布局、内存管理到汇编级优化的完整解决方案。包含存储打包、calldata与内存选择、无检查算术、自定义错误、循环优化、批量操作等核心优化策略，并集成基准测试工具进行性能对比分析。适用于区块链开发者、智能合约工程师、DeFi项目优化等场景。关键词：智能合约优化，Gas节省，EVM性能，存储优化，Solidity开发，区块链成本，DeFi优化，基准测试，汇编优化，批量交易。
Hardhat智能合约开发框架Skill hardhat-framework
Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。
零协议Skill 0protocol
零协议是一个为自主AI智能体设计的身份基础层技术。它提供去中心化身份管理、插件签名认证、行为可验证声明和任务安全交接功能。通过Ed25519签名和仅追加日志，确保代理身份在凭证轮换和平台迁移中保持持久性。核心关键词：AI智能体身份管理、插件签名认证、去中心化身份、行为可验证声明、任务交接协议、区块链式日志、自主代理安全。