我们很高兴地宣布 Aleo 测试网 3 的发布。通过此版本,我们距离启动我们的主网和实现我们在最初的 Zexe 研究论文中提出的去中心化私有计算生态系统的愿景仅一步之遥。
今天,Aleo 正在启动 Aleo Testnet 3 的第一阶段。
我们很高兴地宣布,将在 Testnet 3 的 3 个阶段将 2500 万个 Aleo 积分 (ALEO) 分发给我们的开发者、证明者和验证者社区。我们还鼓励 Aleo 的黑客和爱好者参与我们即将推出的漏洞赏金计划。
Aleo 测试网 3:开发者、证明者和验证者。
Aleo Testnet 3 将分三 (3) 个阶段向我们的社区发布。 以下是每个阶段的亮点摘要。
第 1 阶段 – 开发人员(2022 年 8 月)
开发人员可以开始编写、部署和执行程序。
Aleo 团队使用创世信标引导网络。
第 2 阶段 – 证明者(2022 年 9 月)
证明者开始解决 coinbase 谜题 (PoSW) 以获得学分。
Aleo 团队启动了 snarkOS 和 snarkVM 的漏洞赏金计划。
第 3 阶段 – 验证者(2022 年 10 月)
验证者开始生产区块并获得奖励。
拥有 100 万 Aleo 积分的证明者将能够成为验证者。
Aleo 团队将使用 AleoBFT 为第 3 阶段引导网络。
请注意,在 Aleo Testnet 3 期间,网络将根据错误赏金计划的发现定期重置。
Aleo 程序:零知识应用已经到来。
在接下来的一周,Aleo Testnet 3 将进行更新,以允许开发人员开始在网络上编写、部署和执行 Aleo 程序。
以下是 Aleo Testnet 3 中一些令人兴奋的功能的早期预览:
在 Aleo 虚拟机 (AVM) 上部署和执行程序
证明 coinbase 谜题 (PoSW) 以产生新的学分
使用 AleoBFT 验证区块并生成 coinbase 证明
在我们的 Marlin + Plookup 证明系统上进行批量证明和验证
支持使用 FROST 阈值签名的多签名钱包
一旦开发人员有机会部署他们的第一个 Aleo 程序,Explorer 将更新以开始展示来自网络的应用程序。我们将邀请我们的开发者社区与 Aleo 团队一起参与顶级 Aleo 程序的评审。
对于渴望学习如何编写 Aleo 程序的开发人员,请在未来几个月加入我们的众多开发人员研讨会之一。随着开发人员开始学习如何编写 Aleo 程序,我们鼓励发布 Medium 指南和博客文章来分享如何设置和编写 Aleo 程序。
加入我们的 Discord,继续关注我们的开发者竞赛规则和奖励公告。
AleoBFT:一种新的共识混合架构。
在 Testnet 3 的过程中,Aleo 将把它的共识模型转变为一种混合架构,用于证明者和验证者,称为 AleoBFT。
AleoBFT 将来自验证者的新块的即时确定性与证明者的计算能力相结合,将 coinbase 供应引入网络。 AleoBFT 的设计激励验证者通过生产区块来保持活力,并激励证明者扩大 Aleo 生态系统的证明能力。
关于 AleoBFT 的综合博客文章将在第 3 阶段发布。但是,我们相信这一转变对我们的生态系统来说是重要且令人兴奋的一步,我们希望现在与我们的社区分享它,以便我们的开发人员、证明者和验证者能够为这些即将到来的升级做准备。这种转变将使 Aleo 能够实现网络供应的更公平分配,并进一步激励去中心化,同时实现强大的性能保证。
首先,AleoBFT 保证每个区块的即时确定性。
一旦验证者为每个区块产生并达成共识,交易就会得到确认。这种方法解决了验证者的浅分叉问题并提高了节点稳定性。此外,这为 Aleo 上的开发人员创造了流畅的应用体验。对于用户而言,这通过在钱包、浏览器、浏览器和应用程序中实现快速确认来改进 UI/UX。最后,这种保证使得与其他生态系统的互操作性变得更加简单。
其次,AleoBFT 确保网络保持充分去中心化。
正如 Testnet 2 所示,在少数证明者开发了用于零知识密码学的专用硬件后,区块生产变得高度集中。虽然 ZPrize 正在帮助创造公平的竞争环境,但事实仍然是少数实体将主导网络,从而给用户带来集中化和审查的风险。
通过使用 AleoBFT,我们能够将块生产的角色与 coinbase 生成分离。验证者现在负责生产区块,证明者现在能够以他们想要的规模计算证明。 AleoBFT 旨在通过在网络上质押至少 100 万个 Aleo 积分来激励证明者成为验证者。这保证了证明者可以通过成为所有达成共识的证明者的代表来保持其抗审查性。
第三,AleoBFT 激励证明会随着时间的推移扩大 Aleo 生态系统的证明能力。
在 AleoBFT 中,证明者在网络上解决并生成 coinbase 证明 (PoSW),以换取每个区块中的一部分 coinbase 奖励。借助这种新模型,证明者现在正在计算零知识证明的核心子组件——即多标量乘法 (MSM) 和快速傅里叶变换 (FFT)——同时从每个区块奖励中获得他们在证明中的百分比份额。
对于证明者,AleoBFT 允许以任何规模操作任何硬件来生成零知识证明,而无需在每个区块中竞争“赢家通吃”效应。因此,与测试网 2 不同,此过程意味着即使在商品硬件上运行的证明者也将能够参与并获得 coinbase 奖励。这些 coinbase 奖励在证明者和验证者之间共享,以激励证明者随着时间的推移积累代币而成为验证者。通过激励参与者更广泛的奖励分配,我们相信这些新机制将扩展 Aleo 网络,为 Aleo 开发人员和用户提供更大的证明能力。
Aleo 主网:去中心化私有应用程序的 L1。
随着 Aleo 生态系统向其主网上线迈进,Aleo 团队非常感谢社区中的每一个人,感谢他们让 Aleo 成为可能。
有了这个里程碑,我们想庆祝我们 30,000 多名 Discord 社区成员、100 多名大使、50 多名学徒和 30 多名大师所做的辛勤工作。你们都使这个生态系统成为一个充满活力、有机和去中心化的社区。
在我们启动最终测试网时,我们希望每个社区成员都能帮助 Aleo 测试网 3 在展示我们的零知识密码学的力量方面取得巨大成功。
Aleo 团队将在我们社区所在的国家/地区举办研讨会,如果您想与我们一起组织一场,我们希望您能与我们联系。您的贡献已经并将对于 Aleo 在 Testnet 3 上的成功、主网启动以及其他方面的成功至关重要。
在接下来的几周内,Aleo 团队将发布一系列博客文章,深入了解激励计划及其具体运作方式。此外,我们将更新我们的文档页面,以反映 Aleo Testnet 3 中发布的新功能和技术。
我们期待在推出 Aleo 时共同分享这一旅程,这是第一个用于完全私有应用程序的去中心化平台。
要及时了解 Aleo Testnet 3 的最新信息和我们未来的发展,请加入我们的 Discord 并在 Twitter 上关注我们。