关于服务
翻译我在Leo中为Aleo区块链创建零知识应用——从最初的想法到在主网或测试网上部署的程序。Leo是一种受Rust启发的语言，用于编写零知识应用和私密智能合约，编译为Aleo指令。我每天都在使用它，将隐私需求转化为可工作的、可证明的代码。
服务内容包括：
— 干净、结构良好的Leo程序，具有类型记录、映射和业务逻辑的转换；
— 私密智能合约，敏感数据保持隐藏，同时正确性仍在链上得到证明；
— 链上和链下逻辑：代币标准、私密支付、投票、身份识别、游戏和自定义zk原语；
— 完整的测试覆盖，通过Aleo工具链进行本地执行和约束高效的方案；
— 部署到Aleo测试网或主网，并与钱包和前端集成，如果您需要一个完整的dApp。
我的工作方式：我们从简要的规格电话开始，我将您的需求分解为记录和转换，然后分阶段交付可理解的程序。您将获得带注释的源代码、测试套件、部署脚本以及关于每个转换如何在不透露私密输入的情况下证明声明的简要指南。
一个探索私密金融的初创公司，一个将合约迁移到Aleo的团队，或一个测试zk想法的创始人——我将帮助在Leo中发布安全、可审计的代码库。描述您的任务，我将估算范围、约束和时间表。
服务内容包括：
— 干净、结构良好的Leo程序，具有类型记录、映射和业务逻辑的转换；
— 私密智能合约，敏感数据保持隐藏，同时正确性仍在链上得到证明；
— 链上和链下逻辑：代币标准、私密支付、投票、身份识别、游戏和自定义zk原语；
— 完整的测试覆盖，通过Aleo工具链进行本地执行和约束高效的方案；
— 部署到Aleo测试网或主网，并与钱包和前端集成，如果您需要一个完整的dApp。
我的工作方式：我们从简要的规格电话开始，我将您的需求分解为记录和转换，然后分阶段交付可理解的程序。您将获得带注释的源代码、测试套件、部署脚本以及关于每个转换如何在不透露私密输入的情况下证明声明的简要指南。
一个探索私密金融的初创公司，一个将合约迁移到Aleo的团队，或一个测试zk想法的创始人——我将帮助在Leo中发布安全、可审计的代码库。描述您的任务，我将估算范围、约束和时间表。
