在区块链和密码学领域，将生成零知识证明的密集计算任务委托给专业服务提供商的概念一直是一个有趣的话题。这一概念首次在Howard Wu合著的ZEXE论文中进行了详细描述，重点介绍了如何使用密码学原语将生成证明的计算密集型任务转移给拥有所需硬件资源的服务提供商。
关于ZEXE论文我们有完整的中文翻译：
诞生Aleo项目的论文完整中文版翻译—Zexe实现去中心化的私有计算
其实关于委托代理证明，早在我们之前的文章中都有讲解，可能太偏技术化：
Aleo实施了独特的简洁工作量证明 (PoSW) 算法，以吸引大量旷工和硬件加速团队。这一战略举措源于这样的信念：未来的区块链计算将围绕“必要的计算”展开，而在这个新时代，零知识证明生成的相关计算代表了一种PoW形式，它不仅有意义，而且能够解决现实世界的计算挑战。
以下是Aleo存储库：
这是Aleo官方模拟服务商生成证明的示例代码，合约生成证明的一般流程大致如下：
生成授权请求：这类似于在以太坊中生成交易请求。然而，Aleo的方法涉及对更广泛元素的更严格的法律约束。
执行证明：证明者使用授权请求生成证明和相应的响应（包括输出集合和证明）。
打包发送：将请求和响应打包在一起并发送到区块链。
在这个框架中，授权请求由客户端生成，而执行的密集计算任务则委托给证明者。此外，Aleo的网络在批量交易证明方面比zkRollups更具优势，特别是在交易所需的证明粒度方面。这意味着随着生态系统的发展，证明市场将扩大，从而避免zkRollup 生态系统中常见的潜在赢家通吃局面。
Leo钱包目前已经有所实现，有可能是Aleo生态系统中率先支持的，以下是他们对于委托证明的视频讲解：
委托证明的生成不仅可用于隐私交易的证明委托，主要是本地证明的生成实在太慢，还在于生态交易的证明生成都需要委托，因为Aleo的底层是zkVM，意味着每笔交易都需要一个证明，从浏览器上能看到每笔交易对应一个证明：
所以，随着Aleo生态的逐步繁荣发展，证明生成委托的市场会非常庞大，每天甚至有上亿笔交易需要委托证明生成，那么这个委托证明生成的激励来自于哪里？
我们猜想是来自于PoS奖励的其中一部分，当然对于用户自己的隐私委托代理证明生成，这个需要用户自己付费，但是隐私交易应该占据少数。
当然在一些证明交易市场中的规则是，买家可以以美元的价格购买ZK证明，提交ZK 证明订单，包括价格、生成时间、超时和公共输入。然后第三方服务商将接受订单并生成证明。
这也是我们在之前的文章中说提到的随着ARC43的落地实施，原来的“旷工”会成为“证明者”，而不仅仅是旷工，也就意味着Aleo的"PoW计算"是有意义的计算，并不是无意义的，而且同时旷工承担证明委托生成的任务，可以拿到两份奖励，一份来自于PoW的激励，另一份来自于委托证明生成的激励。
ZK委托证明生成的市场非常庞大，后续也会有委托验证计算，整体上来说可以理解成去中心化的ZK计算，新兴计算网络，不仅仅局限在Aleo项目上，其他的ZK公链和ZKDapp也同样需要，甚至说Web2的ZK证明生成也同样需要。
这个新兴计算网络的市场规模未来到底有多大？根据Bitooda的研究分析报告显示：
比特币挖矿行业花了约 13 年的时间才达到 20 亿美元的规模。我们相信 ZKP 生态系统可以在更短的时间内达到数十亿美元的市场规模（最终将大几个数量级）。
因此，我们看到Marlin和Ingonyama等都开始布局自己的ZK委托计算的池子，Gevulot 也获得了 600 万美元的资金，专门针对零知识证明生成和验证进行优化。用户可以无权限部署任何证明器并将计算委托到复杂的硬件运营商网络中。
随着去中心化ZK网络委托证明生成的市场越来越庞大，ZPU芯片机必然是最终选择，主要原因在于某些实际业务中对于ZK证明的生成有着严格的时间和效率要求，比如规定时间内L1公链区块的出块时间，类似Aleo和以太坊等，同时还需要考虑成本效益，这对于GPU或者FPGA来说是无法胜任的！
ZKT Aleo ZPU 芯片机 ，现正式开启第一批头矿预售！
2024 年全球 ZK 峰会 Aleo-ASIC 最有竞争力品牌！
感兴趣请扫码联系，ZKT ASIC 仅对大客户和大渠道！
转载：ZKTo完成Aleo专用ZPU芯片FPGA与PooL联调测试
Aleo主网后PoSW数据全面分析汇总(10/28/2024)
什么是SNARK？什么是Varuna SNARK？与ZK-SNARK有什么区别？
ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答
ALEO 问答集锦 | Aleo积分到底有什么用？区块奖励重大变化？
