激励测试网发布-验证

今天，我们很高兴地宣布启动Testnet 3的激励措施，这使我们离Aleo主网和支持私有、去中心化应用程序又近了一步。我们邀请所有社区成员参加。

Testnet3标志着Testnet2的显著进步。首先，它带来了一种新的共识算法AleoBFT，它将股权证明共识算法（基于DiemBFT）与基于工作的证明者补偿方案相结合。我们将在未来几个月发布更多关于AleoBFT的细节。但激励计划的最初部分将特别关注证明者。

谚语在AleoBFT中的作用

什么是证明者？在零知识密码学中，我们有两个相互作用的方：一个证明方生成加密证明，另一个验证方在不了解其内容的情况下检查证明是否正确。要发送/接收资产或与应用程序交互，用户必须生成零知识证明。对于某些用例，我们预计一些用户可能会将证明生成过程外包给某些第三方证明服务。

需要注意的是，外包证明生成在我们的网络中不是强制性的，就像在StarkNet等其他网络中一样。然而，我们预计Aleo上会出现一个支持各种应用程序的证明者生态系统。该系统的优点在于，它最大限度地提高了用户的选择，即他们选择信任哪一方（如果有的话）。

1. Aleo网络直接从协议中奖励证明者来引导这个生态系统。在AleoBFT中，证明者可以像原始的PoSW共识算法那样生成证明，从而获得部分coinbase奖励。然而，证明在Testnet2上的工作方式有两个关键区别。

2.谚语不会产生区块，但他们会从每个区块中获得一部分coinbase奖励。
coinbase奖励不是赢者通吃。所有为高于最低难度目标的给定区块提供解决方案的证明者都将获得按比例分配的奖励。

AleoBFT协议使用ASERT难度调整算法的变体（与Testnet 2相同）来计算两个值：证明目标和coinbase目标。如果验证方案高于验证目标的阈值，则接受验证方案。一旦证明方解决方案的总和大于coinbase目标，则coinbase奖励将在按比例提供有效解决方案的证明方之间共享。因此，AleoBFT证明者的经济性类似于传统工作证明网络上的采矿池。

作为一个具体的例子，让我们想象一下三个谚语：爱丽丝、鲍勃和查理。假设coinbase目标为1024，证明目标为8。假设在15秒的时间内产生一个区块：
Alice计算并提交80个PoSW证明，证明目标值至少为8，总分为640（占总分的62.5%）
Bob计算32个PoSW证明，这些证明至少是证明目标值8，总得分为256（占总得分的25%）
Charlie计算了16个PoSW证明，这些证明至少是总得分为128（占总得分的12.5%）的证明目标值8
Alice、Bob和Charlie将分别获得该区块coinbase奖励的比例部分（分别为62.5%、25%和12.5%）。