2022年11月10日，Aleo官方正式官宣Aleo Testnet 3的第二阶段正式启动！
Testnet 3 分为三个阶段，计划每个阶段时间为期1—2个月，最初计划8月开启一阶段，由于进度问题延期到9月份。进入到9月份以后，官方的每次AMA以及生态更新主要是围绕一阶段基于ALEO测试网上应用程序的开发和部署。基本无二阶段的相关消息，期间明确了在一阶段没有完善之前，将不会开启二阶段测试。本周所有官方动态都围绕二阶段进行展开，并且首次宣布二阶段软启动。下面让我们一起了解本周11月9日 Aleo AMA以及官方博文的主要信息。
- 新的大使名单已经准备好了，但我们仍在等待KYC的提供者；近日推特上的社区人数快速增长，希望更多的人加入；黑客马拉松正在进行中；11月17日，Anthony将介绍Aleo的高层概况；12月1日，将有一个关于Leo的研讨会!
- 第二阶段已经软启动了！ 有关公告的博文将在稍后发布。
- 目前运行验证器是没有奖励的，但你可以开始测试它!（结合上文内容，当前CPU版本已经可以测试，GPU版本还未发布，还无法进行最终测试）
- 在为Testnet 3创建的新模式中，Coinbase谜题取代了PoSW，它们与共识脱钩，并实现了广泛的奖励分配。证明操作由两个操作组成，MSM和FFT（而在Testnet 2中，证明者必须创建一个完整的Marlin证明）。加速这些操作的上限还不清楚，团队正在考虑与一些硬件服务（如Ingonyama）合作。
- GPU证明堆栈与Testnet 2相同，所以你可以使用该阶段的所有类型的GPU（也许未来会支持更多类型）。
- 在接下来的2周内，ZPrize的公告将被发布 -- 一定要注意它! coinbase谜题的高层设计：它由多项式IOPs（交互式神谕证明）和多项式承诺组成。
官方博文更新：在 Aleo 测试网 3 中引入 Provers
以下博文内容翻译：
我们很高兴地宣布 Aleo Testnet 3 的第 2 阶段！在此版本中，我们将部署我们最初的 Testnet 3 路线图中概述的许多关键功能，例如部署和执行用户定义的程序，以及激励开发用于 zkSNARK 证明的硬件的难题。
什么是ALEO？
Aleo 是一个新的第 1 层区块链，它利用零知识密码学来启用可扩展和私有的去中心化应用程序。在我们的架构中，应用程序不是在链上执行的；相反，用户在链下执行应用程序，并将 zkSNARKs（短零知识证明）发布到链上，以保护隐私的方式证明执行的正确性。然后，链会及时验证这些简短的证明，这些证明与应用程序的运行时间无关。
这个计划运作良好，除了一个小问题：创建一个正确执行应用程序的零知识证明可能比直接执行应用程序更昂贵。对于许多有用的程序（例如支付），这种开销是可控的，即使在诸如移动电话或笔记本电脑之类的商品设备上进行证明也是如此。但是，对于其他计算密集型应用程序（例如机器学习、游戏或身份验证），在商品设备上进行证明的开销可能会令人望而却步，似乎使这些用例遥不可及。
但是，Aleo 的设计允许客户选择是否将证明生成外包给第三方“证明服务”，该第三方“证明服务”可能拥有更多计算资源来帮助计算 zkSNARK 以进行大型计算，例如具有多核 CPU、大量 RAM 或甚至定制验证硬件。那么问题就变成了激励开发更好的证明架构的问题之一。解决后一个问题是 Aleo 的新共识算法 AleoBFT 设计背后的关键动机之一。在高层次上，AleoBFT 是一种混合架构，它利用权益证明来实现块确认的即时确定性，并利用工作量证明类型的“coinbase 难题”来奖励开发更快的证明生成技术。在这篇文章中，我们将深入探讨这个谜题的细节。
Coinbase 谜题
coinbase 谜题是一种工作量证明类型的谜题，旨在激励开发更快的软件和硬件以生成零知识证明。为了实现这一点，我们的 coinbase 谜题具有两个独特的功能：
- 加密：与您在比特币或以太坊中发现的传统 PoW 不同，coinbase 谜题需要为 zkSNARK 证明的主要子组件的“有用”算法创建有效的例程。
- 经济：与传统的 PoW 不同，其中每个区块只能包含一个有效的谜题解决方案，我们的 coinbase 谜题每个区块接受多个有效的解决方案，防止“赢家通吃”并导致更广泛的证明奖励分配。
让我们从密码部分开始更深入地研究拼图设计：
难题设计
zkSNARK 设计快速入门：在现代 zkSNARKs 中生成证明的时间主要由两个子组件的证明时间决定：多项式 IOP 和多项式承诺方案。我们的 coinbase 难题有效地激励了这些子组件的加速。让我们通过查看协议流来看看它是如何做到这一点的，它由两个步骤组成：
- 生成候选解决方案（证明者） 为了生成候选解决方案，证明者（从随机数）生成并乘以一个随机的多项式，然后通过多项式承诺方案（在我们的例子中为 KZG10 方案）提交生成的乘积多项式）。然后对这个产生的承诺进行散列，如果这个散列匹配目标难度，它是一个有效的解决方案，可以发送到聚合器（连同一个评估证明以实现有效的聚合）。生成的谜题由 2 个组元素和 1 个域元素、一个地址和一个随机数组成，并且可以在 D 个域乘法和一个配对中进行验证，其中 D 是生成的多项式的次数。
- 聚合有效解决方案（BFT 领导者） 虽然任何人都可以验证有效的难题解决方案，但将每个难题解决方案添加到链中会导致状态膨胀。为了避免这种情况，我们的 coinbase 拼图使 BFT 领导者能够聚合有效的解决方案。我们不会详细介绍如何做到这一点，但总体结果是链上存储以 n + 1 个组元素的成本为主，1 个字段元素是一个实质性的改进。作为附带的好处，谜题验证也更快。
结论
AleoBFT 是一种新颖的共识机制，将权益证明的最终确定性与工作量证明的强大激励机制相结合。在我们的案例中，coinbase 难题激励了 zkSNARK 证明的加速。这项工作很有用，因为它直接延续到 Aleo 中的所有其他程序执行。通过这种机制，我们希望激励一个强大的证明生态系统，通过降低成本和减少程序执行的延迟来使 Aleo 用户受益。
二阶段全面启动已然临近
以上是ALEO官方AMA重点内容汇总以及ALEO官方博文的信息，已经宣布三测二阶段软启动，Provers代码已经更新，可以进行硬件测试（CPU），但是当前阶段没有奖励。同时也进一步明确了二阶段是兼容GPU的，但GPU版本还未发布。根据实际测试的情况，当前代码确实无法运行GPU，因此还无法进行机器的全面测试，按二阶段以及之前披露的信息，GPU的性能远高于CPU的性能，因此需要等待GPU版本的发布。
虽然没有明确GPU版本的具体时间，但是结合下来的2周内，ZPrize竞赛的公告将被发布，GPU版本或将同时或者随后发布更新。众所周知，ZPrize竞赛是由ALEO投入重金，并作为举办方和主要赞助商发起的整个区块链领域的意向协作技术竞赛，汇集32个区块链领域知名合作伙伴。主要目标是汇集研究和工程、硬件和软件交叉领域的最佳团队，为不同的应用程序、硬件平台创建最快、最有效的证明者和验证者。据之前的消息ZPrize比赛已经建立了一个基准，并为GPU提供了一些相对强大的库。对比之前，其效率分别上升了5-6倍，甚至更多。官方原计划10月初公布ZPrize竞赛结果，跟二阶段进度同步延期。近两周内ZPrize竞赛结果公布也意味着GPU相关代码的完善。
ALEO官方频繁的动作背后预示着二阶段的全面启动已然临近，关注Max获得官方最新动态，掌握最真实的进度信息。
更多信息参考Aleo官方链接：
网站 - https://www.aleo.org/
推特 - https://twitter.com/AleoHQ
社区推特 - https://twitter.com/aleocommunity
GitHub - https://github.com/AleoHQ
社区论坛 - https://community.aleo.org/
社区日历 - https://www.aleo.org/community/calendar
ZKP挖矿是未来引领矿业变革的红利和增量方向，存在长期财富机遇。而Aleo项目必占有一席之地。
站在行业发展角度，2022年是布局迎接下一波矿业升级红利的关键时期，加密矿业2.0的大航海时代才刚刚开始。为了能够抓住这样的大机遇，我们召集了一批行业一线从业者，建立了一个社群。为了社群质量，我们需要对加入者进行审核，请见谅。
也欢迎对Aleo挖头矿机会有兴趣的朋友加助理calvin202202。
热门跟贴