关于服务
翻译我为 Starknet 开发生产级智能合约和可证明程序 — 这是一个使用 STARK 技术的零知识汇总。Cairo 是一种可验证计算的语言，灵感来自 Rust，我按照预期应用它：我交付的合约其正确性是通过数学证明的，而不仅仅是被假设的。
我的工作：代币标准（可替代和 NFT）、质押和归属逻辑、AMM 和 DEX 核心、链上治理、账户抽象钱包、预言机和任意可证明程序，这些程序在链下进行重计算，并作为单个 STARK 证明在链上结算。每个合约都附带完整的测试套件在 Starknet Foundry (snforge) 中，针对复杂路径的模糊测试以及燃气和步骤分析，以便您的用户支付最低费用。
过程是透明的：我们对规格达成一致，我编写类型化接口和事件，实施，运行在本地开发网络上，然后部署到 Sepolia 测试网供您审查，最后再到主网。您将获得干净的、带注释的 Cairo 源代码、部署脚本、ABI 和一份简短的交接文档，描述存储布局和升级路径。
我非常重视安全性：重入保护、访问控制、溢出安全、谨慎的 felt252 算术。如果您已经有一个 Solidity 合约，我将把它的逻辑移植到符合习惯的 Cairo，而不是逐行翻译。描述您的任务 — DeFi、游戏、身份或您自己的 zk-compute 逻辑 — 我会诚实地告诉您什么适合 Starknet，什么不适合。
我的工作：代币标准（可替代和 NFT）、质押和归属逻辑、AMM 和 DEX 核心、链上治理、账户抽象钱包、预言机和任意可证明程序，这些程序在链下进行重计算，并作为单个 STARK 证明在链上结算。每个合约都附带完整的测试套件在 Starknet Foundry (snforge) 中，针对复杂路径的模糊测试以及燃气和步骤分析，以便您的用户支付最低费用。
过程是透明的：我们对规格达成一致，我编写类型化接口和事件，实施，运行在本地开发网络上，然后部署到 Sepolia 测试网供您审查，最后再到主网。您将获得干净的、带注释的 Cairo 源代码、部署脚本、ABI 和一份简短的交接文档，描述存储布局和升级路径。
我非常重视安全性：重入保护、访问控制、溢出安全、谨慎的 felt252 算术。如果您已经有一个 Solidity 合约，我将把它的逻辑移植到符合习惯的 Cairo，而不是逐行翻译。描述您的任务 — DeFi、游戏、身份或您自己的 zk-compute 逻辑 — 我会诚实地告诉您什么适合 Starknet，什么不适合。
