关于服务
翻译我在Move中开发工业级智能合约——这种面向资源的语言诞生于Diem，现在为Aptos和Sui提供支持。在Move中，数字资产是第一类资源：它们不能被复制或意外销毁，这消除了其他网络中常见的一类错误。我利用这种安全模型为您服务。
您将获得：清晰模块化的Move包，明确的存储、逻辑和访问控制分离；基于能力的权限而不是脆弱的地址检查；全面的单元和集成测试。对于关键逻辑，我编写正式规范并运行Move Prover，因此关键不变性——排放限制、所有权规则、余额保持——是通过数学证明的，而不仅仅是测试。
典型任务：代币标准和NFT（Aptos中的对象模型，Sui对象）、DeFi原语——交换、质押、金库和归属、链上治理、NFT市场以及您协议的任何模块。我还审计现有的Move代码：我寻找遗漏的访问检查、算术溢出、资源泄漏和不安全的入口函数，然后提供一份书面报告，包含严重性级别和具体修复建议。
交付内容包括文档化的源代码、完整的测试套件、测试网和主网的部署脚本以及关于燃气成本的说明。我使用Aptos CLI、Sui CLI、TypeScript SDK和Node工具，并在需要时通过Socket IO或REST将合约连接到您的前端。给我写下您的想法——在开始之前，我会概述阶段、时间表和固定价格。
您将获得：清晰模块化的Move包，明确的存储、逻辑和访问控制分离；基于能力的权限而不是脆弱的地址检查；全面的单元和集成测试。对于关键逻辑，我编写正式规范并运行Move Prover，因此关键不变性——排放限制、所有权规则、余额保持——是通过数学证明的，而不仅仅是测试。
典型任务：代币标准和NFT（Aptos中的对象模型，Sui对象）、DeFi原语——交换、质押、金库和归属、链上治理、NFT市场以及您协议的任何模块。我还审计现有的Move代码：我寻找遗漏的访问检查、算术溢出、资源泄漏和不安全的入口函数，然后提供一份书面报告，包含严重性级别和具体修复建议。
交付内容包括文档化的源代码、完整的测试套件、测试网和主网的部署脚本以及关于燃气成本的说明。我使用Aptos CLI、Sui CLI、TypeScript SDK和Node工具，并在需要时通过Socket IO或REST将合约连接到您的前端。给我写下您的想法——在开始之前，我会概述阶段、时间表和固定价格。
