搜索结果: "区块链"
compact-core:编译工具链Skill compact-core:compilation-tooling
本技能是关于Midnight区块链智能合约开发中Compact编译器的完整工具指南。它详细介绍了如何使用compactc编译器进行合约编译、配置构建设置、理解零知识证明（ZK）相关的输出产物（如zkir、证明者/验证者密钥），以及如何设置开发环境（如COMPACT_PATH）和集成VS Code语言服务器以获得更好的开发体验。关键词包括：Midnight区块链，Compact编译器，智能合约开发，零知识证明，ZK证明，DApp开发，编译工具链，VS Code集成。
紧凑核心：合约模式Skill compact-core:contract-patterns
本技能是Midnight区块链开发的智能合约模式库，提供一系列可重用的Compact合约模板和设计模式。涵盖投票系统、代币托管、访问控制、拍卖、注册表等常见场景，包含简单构建块和深度系统实现，旨在帮助开发者快速构建安全、隐私的区块链应用。关键词：Midnight区块链，Compact合约，智能合约模式，隐私投票，代币托管，访问控制，可重用模板，区块链开发。
Compact核心语言参考Skill compact-core:language-reference
本技能提供Midnight Network上Compact智能合约语言的完整中文参考手册，涵盖原始类型、复合类型、电路语法、见证语法、控制流和模块系统等核心内容。关键词：Compact智能合约，零知识证明，ZK语言，区块链开发，Midnight Network，隐私计算，电路编程，类型系统，模块化开发。
Compact核心：账本抽象数据类型Skill compact-core:ledger-adts
本技能提供Midnight区块链平台中Compact语言的链上状态管理抽象数据类型（ADT）完整参考，包括Cell、Counter、Map、Set、List、MerkleTree等核心数据结构的使用方法、操作对比和实际代码示例。适用于区块链开发者、智能合约工程师、隐私计算研究人员，关键词：Compact语言、链上状态管理、抽象数据类型、Midnight区块链、智能合约开发、账本数据结构、Merkle树、隐私保护计算。
隐私与披露Skill compact-core:privacy-disclosure
该技能是关于在Midnight区块链平台上开发隐私保护智能合约的核心指南。它详细说明了如何安全地处理源自私有见证的数据，防止信息泄露。主要内容包括：披露规则（何时必须使用`disclose()`函数）、安全与不安全操作（如`persistentCommit`与`persistentHash`的区别）、以及实现隐私的常见模式（如承诺-揭示模式、作废符模式）。适用于解决编译器隐私错误、设计零知识证明电路和构建保护用户数据的去中心化应用。关键词：隐私保护，智能合约，零知识证明，见证值，披露规则，承诺模式，Midnight，区块链安全。
Compact标准库Skill compact-core:standard-library
Compact标准库是区块链智能合约开发的核心内置模块，提供加密函数（如持久哈希、椭圆曲线运算）、工具类型（Maybe、Either）、代币操作（铸造、发送、接收、合并）和时间函数（区块时间、时间约束）。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词：区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。
Compact合约测试与调试Skill compact-core:testing-debugging
本技能提供关于Compact智能合约的测试与调试的全面指南。核心内容包括：常见错误（如潜在见证值泄露、电路约束失败）的快速诊断与修复，调试决策树，单元测试、见证模拟、状态验证等测试方法，以及常见陷阱的规避方案。适用于区块链开发者、智能合约工程师进行合约开发、错误排查、测试框架搭建和单元测试模拟。关键词：Compact合约，智能合约测试，电路调试，见证值泄露，约束失败，单元测试，TypeScript测试框架，区块链开发。
TypeScript集成指南Skill compact-core:typescript-integration
本技能提供Midnight区块链Compact合约与TypeScript应用程序的完整集成方案，包括类型映射、见证函数实现、合约部署、电路调用和账本状态读取。关键词：区块链 TypeScript集成 智能合约 零知识证明 DApp开发 隐私计算 Midnight SDK 见证函数 类型映射
紧凑型代码审查最佳实践Skill compact-reviewer:best-practices
本技能提供Midnight区块链上Compact智能合约开发的代码审查指导。它专注于识别和推广惯用的编程模式、推荐的最佳实践，并指出开发过程中应避免的常见错误。关键词：智能合约开发，Compact语言，最佳实践，代码审查，Midnight区块链，编程模式，常见错误。
紧凑型合约关键问题审查Skill compact-reviewer:critical-issues
这是一个用于智能合约代码审查的专用技能，专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题，确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词：智能合约审计，代码审查，逻辑错误检测，区块链安全，Compact语言，断言分析，控制流分析，类型检查。
Compact合约设计与架构审查技能Skill compact-reviewer:design-architecture
这是一个用于审查和评估Compact智能合约设计与架构的专业技能。它提供了一套系统化的评估框架，帮助开发者检查合约的结构合理性、设计模式应用、模块化程度、API设计质量以及代码组织。关键词：智能合约设计、架构审查、设计模式、模块化、API设计、代码组织、区块链开发、Compact合约。
性能审查技能Skill compact-reviewer:performance-review
本技能用于分析和优化区块链智能合约（特别是Compact电路）的性能。它专注于识别性能瓶颈、优化约束数量、减少证明生成时间以及降低Gas和计算成本。关键词包括：电路性能、约束优化、证明生成、Gas成本、性能分析、智能合约优化、区块链效率。