2024年8月1日，Aleo 基金会执行董事 Alex 参加了由 Cysic 主持的一场名为“ZK硬件加速的未来”的活动并针对相关主题发言，我们对其发言的内容集中解析翻译汇总如下：
1. 未来几年 Zprize 会如何开展竞赛？Aleo 的谜题算法会不会有其他的部分需要通过 Zprize 竞赛优化的？
首先，很高兴听到大家的声音，两年前我创办 ZPrize 的时候，最初，我们设想这个奖项是全行业的努力，我很高兴看到它在这一领域取得了多大的进展，以及来自世界各地不同公司的人们对此的兴趣，包括你们在内，显然 Aleo 是一个大赞助商，但我们不是唯一的赞助商。
我绝对认为还有空间再举办一个 Zprize，而且我非常期待在未来举办更多这样的比赛，正是因为我认为这个领域发展如此迅速，总的来说，你知道今天部署的所有这些证明系统，包括 Aleo 上的证明系统，基本上都是在过去三到四年内发明的，我相信不仅在证明系统层面，而且还在硬件方面会继续进行许多优化，我认为这也是我特别感兴趣的一点，我认为还没有人讨论过。那就是看看我们的 GPU 是否是最好的，我们的 FPGA，投资很大程度上取决于上下文是什么，证明你做得对，我们在讨论的是在黑盒子里的证明。但是你知道如果你考虑一下证明的不同用例，或者对于 ZK 证明，人们谈论支付，谈论身份，谈论所有这些不同的事情，ZKML 等，我的意思是取决于你在做什么，你可能有不同的硬件要求，例如身份，我通常认为它需要更多的客户端证明器（PS：我们理解是ZK ASIC），因此我认为你需要知道一个问题，你真的需要 FPGA吗？因为不，因为实际上你并不期望客户可以访问你知道的 FPGA，就像不经过你同意就没有访问权限你知道的服务器一样。
是的，所以我认为第一个问题的简短回答是，有很多与奖项相关的方向，我认为这只是一个开始，我很高兴这个小组中有几位成员，特别是他们刚刚为目前的竞争做出了如此大的贡献，以及我们决定重新关注算法，其中很大一部分与 Zprize 在过去几年中取得的成功有关，我的意思是，MSM 跨越多个不同的硬件平台，无论是移动设备，还是笔记本电脑，还是 GPU，还是 FPGA。已经进行了很多优化，现在，如果你将 MSM 放在整体验证系统的背景下考虑，你实际上可以看到，你会看到一个所谓的阿梅尔定律的例子，即你可以优化机器或流程的某个部分，并且你知道，如果它不再是瓶颈，那么你必须找到流程的其他部分并对其进行优化，这正是我们尝试解决这个难题的方法，我们想到现在 MSM 不是一个已解决的问题，但至少不再是瓶颈，如果我们真正看看其他方面，我们可能会取得更多进展或产生更大的整体影响证明生成过程包括电路综合、见证生成等，这就是我们尝试做的。
融入最新的谜题，我认为到目前为止，显然在某种意义上，Aleo 挖旷或者证明，你知道的概念在某种程度上是 ZPrize 的延续，这显然对人们来说是一个很大的激励，因为有 Aleo 网络积分或 Aleo 网络的原生代币，是通过执行这些证明生成过程或为执行电路、合成和所有这些步骤而生成的，所以无论如何，是的，我认为未来有很多令人兴奋的发展，我非常兴奋 Zprize 能成为其中的一部分，非常感谢你们的投入。
解析：我们理解所有的加速其实都是围绕着零知识证明生成和 zkVM 执行，也就是端到端的 zkVM 加速，这是最核心的部分。
2. 更希望用 GPU 还是 ASIC 来做证明生成？
我认为，正如你所指出的，我不是硬件专家，也不是电子工程师，我没有经验，这个小组的其他人也会构建系统，但我想说，在计算的历史上，情况一直如此，为了使其专业化，你知道，首先你有一个人们感兴趣的用例，然后你在硬件上进行投资，然后在某个维度上，对硬件的投资使事情变得更快、更便宜、更好，然后你就有了更多的用例，这是一种很好的飞轮效应。是的，我认为在计算历史上，第一个这样的案例是英特尔和 CPU，英特尔的 CPU ，我认为它在许多方面支持了现代操作系统，比如 Windows 之类的东西，然后你知道人们购买了更多的电脑，然后有更多的钱投资于更好的 CPU，变得越来越小，越来越专业化，等等，所以我认为对于 ZK 来说，很明显整个 Aleo 平台都是围绕隐私和保护智能合约的概念构建的，我认为这非常重要，它为开发人员提供了一个范例，在传统环境中是不可能复制的，所以我认为 ZK 对我来说至关重要，因为它为开发人员提供了这些功能，特别是隐私保护计算的能力，我知道硬件加速使得体验对于用户来说可能更好，这些证明系统，因此，开发人员部署一个用户拥有的程序。
为了生成证明，为了发送交易，今天的体验可以具体地以分钟为单位，我们实际上有一个 Zprize 类别，专注于像非本地签名验证一样，非常简单的部分，我认为它就像一个身份协议，而且你知道最快的解决方案是以分钟为单位的，那是使用 FPGA，甚至不是消费级设备，所以即使我们在 ZK 中从几天到几小时再到几分钟，重要的是要承认我的意思是 ZK 的概念已经存在了，自 80 年代和 90 年代以来，坦率地说，人们长期以来一直认为它总是不切实际的，我认为它已经证明自己非常实用，现在说了，还有很长的路要走，我觉得，说实话，如果你专攻硬件，那么在很多方面你都会有更好的产品体验，现在的问题是，你是否会从投资中获得回报？这就是为什么你在很多其他领域没有专门的硬件，因为可能没有足够大的市场，我认为，Aleo 谜题的想法就是引导这个市场，因为我认为对我来说，很明显零知识证明有很多实用性，我认为需要加速，然后最终在某个时候实现标准化，这是我们试图激励资本和知识投资进入这个领域，使其更具性能，然后希望随后使应用程序更好更快更便宜。
解析：我们理解无论是 GPU 还是 ASIC 来做证明的生成，最终要看谁能更快更便宜更好，这是 Alex 所追求的目标。
3. 随着ZK开销成本的降低，更多的ZK应用进入市场，随着更多ZK专业硬件设备进入市场，对于随之而来变化的成本有何看法？
有很多方面的东西可以改进，我想也许我要说的是，加密应用程序，对互联网的未来至关重要，就像我们所拥有的那样。你想想人工智能和电子邮件的扩散，对互联网上的联系创造意味着，因此需要有比我们今天更强大的，或者更强大的认证协议。我认为，密码学同样明显，是解决方案。我只是认为我们生活在非常激动人心的时代，就像我说的，也许我要回到的事情是早些时候的参考，就像些想法自80年代以来在流传。人们在过去的十年里才真正开始研究它们。在五年前几乎不可行。现在你有了Aleo 协议的例子以及其他的。我认为，对我来说，让我非常兴奋能成为领域的一部分，让我非常兴奋。
解析：我们理解 Alex 认为随着更多ZK专业硬件设备进场以及ZK开销成本的降低，密码学以及零知识证明领域未来会有越来越多的应用出现和普及，随着技术的突破会把以前认为不可能的变成可能。
4. 最后提到了某个项目可以非常快速生成零知识证明，Alex的回应：
我认为，真正重要的是，我们要始终关注最终最重要的事情，即能够实现人们想要的东西的产品，以及最重要的证明。这是设计 ZPrize 最有趣的事情之一，就是试图弄清楚优化目标是你想要最快的证明吗？你想要最多的每秒证明吗？你想要最便宜的证明吗？从挖旷开始，基本上我认为你想要最便宜的证明。但是对于其他应用程序，比如交易，延迟变得至关重要，所以所有这些事情，比如，有很多方法可以优化这些系统，但我认为都需要放在上下文中考虑，我认为这最终会成为推动整合的因素，我的意思是，在某个时候会有一个单一的证明系统，或者可能不是一个单一的系统，但我可能想象，这最终会像今天的 AMD 和 Nvidia 类型的东西，你知道有几个架构，虽然没有一百万个，但你知道我认为这最终会推动整合，有了它，硬件就实现了标准化。
解析：我们理解需要个场景以及上下文来理解需求，最终需要个标准，零知识证明生成的标准，以及相应的硬件标准，当然这些标准架构也许不止一个，类似于显卡体系分为AMD和英伟达等，这也是Alex的目标之一。
最后，附带汇总部分参会人员的观点，来自于@Cysic的分享：
Alex：
用例利益导致专业硬件投资，从而产生更快、更具成本效益的解决方案，从而实现更多用例；
硬件加速可改善最终用户的产品体验；
对我来说，ZKP 显然具有大量实用性，我认为需要加速，然后最终在某个时候实现标准化；
Tony Wu：
经过软件优化的 GPU 和 CPU 足以完成许多任务。未来，随着 ZK 证明需求的增长和应用程序变得越来越复杂，定制硬件 (ASIC) 的需求将更加强烈；
ASIC 可提高能效并实现新的用例；
可以预见，未来的 GPU 将具有更有针对性的特殊指令，以执行支持 ZK 所需的计算；
BIHAI：
硬件和证明系统的进步正在加快证明生成速度，减少每个证明所需的计算量，并大幅降低成本；
ZK 证明正朝着以毫秒为单位进行测量的方向发展；
ZKP 的实际成本将变得更易于管理，从而实现更广泛的采用；
ZKT 纯GPU锄头，第一梯队，仅限大算力合作！
ZKT Aleo-ASIC，芯片和芯片机预售中，台积电代工！
2024年全球ZK峰会 Aleo-ASIC 最有竞争力品牌！
感兴趣的小伙伴扫码联系，仅限大客户和渠道！
全网最全Aleo中文WiKi
Aleo最新十年区块产出奖励模型推演（Testnet Beta）
测试网Beta激励 | Aleo全网算力超过1亿算力，近期要点解读！
Aleo主网倒计时 | Aleo最新Puzzle谜题算法深度解析！
Aleo主网倒计时 | 测试网Beta发布，距离主网还有多远？
重磅分析！以太坊真的会开倒车转回“PoW”么？还是会效仿Aleo模式？
Aleo主网倒计时 | Aleo Systems 公司 CEO Alex Pruden 卸任感言
重磅！Aleo初始经济模型重大更新！主网上线时间是否有变化？
ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答
ALEO 问答集锦 | Aleo积分到底有什么用？区块奖励重大变化？
重磅分析！为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零？
