Aleo 资助计划: 用零知识解决有意义的世界问题

Aleo的粉丝朋友你们好，这里是 

 AleoASIA | Aleo大中华社区

Aleo最靠谱的中文社区 

传统区块链会奖励开发人员进行小型计算，例如进行正确的 DeFi 交易或注册空投。但是，如果您能够因产生有意义影响的大型计算而获得奖励呢？从气候建模到深度学习，您的有用工作证明（证明大型计算）可以为现实世界的变化做出贡献。

如果使用零知识证明 (ZKP) 帮助人们解决大型、可验证的数学问题或物理模拟并立即获得奖励听起来很有趣，我们鼓励您申请有用工作证明的提案请求 (RFP)蓝图资助。

您可以使用 ZKP 帮助解决的问题
计算机科学家通常根据理论复杂性对问题进行分类。例如，简单的问题（例如在超市过道中排序以找到最便宜的面包）和复杂的问题（例如找到穿过城市列表的最短路线）。

许多机构和组织已经在努力寻找复杂问题的解决方案。加州大学伯克利分校的 BOINC 科学项目使用协作计算来研究和调查疾病、气候变化和脉冲星，并进行许多其他类型的科学研究。

另一项举措是folding@home，开发人员可以贡献他们的计算能力来帮助应对全球健康威胁，如COVID-19、阿尔茨海默病和癌症。

还有更多问题等待计算解决：

· 提高我们对恒星物体和物理学的理解
· 深度学习
· 气候建模
· 医学和生物学建模，例如蛋白质折叠
· 就连 SAT 比赛也充满了计算问题

挑战越大，解决它所需的计算量就越多。您可以在 Aleo 的编程语言 Leo 中并利用 ZKP 来验证大型（非常大）的计算。某些问题所需的计算能力是无限的，因此将它们外包给受信任和不受信任的各方更有利（ZKP 可让您快速、安全地验证后者）。

在推动重要工作的同时，BOINC 和 Folding@home 等系统不会为员工的解决方案提供经济奖励。此外，之前许多奖励有用工作证明的尝试都集中在利基问题上（参见素数币）。

Aleo 的有用工作证明蓝图资助提供了另一种方法。 Aleo 网络已经奖励开发者创建 ZKP。现在，您可以让其他人为解决有影响的计算问题提供奖励。

有用工作（PoSW) 的赏金

如果您的 RFP 获得批准，您将有资格获得拨款来构建存在编码问题的 Leo 程序。这些程序会立即向那些提交正确的编码问题解决方案的人奖励。

借助像 Aleo 这样的分布式账本，任何人都可以为计算问题创建赏金，而无需信任中介。赏金可以激励开发人员解决具有挑战性的问题。例如，您可以创建一个 Leo 计划来奖励寻找新的大型梅森素数、旅行推销员问题的改进解决方案或各种其他随机本地搜索问题。

ZKP 对于有用工作证明至关重要。如果一个复杂问题的解决方案需要很长时间才能验证，那么在分布式账本上发布去中心化的赏金就会很昂贵。 ZKP 允许即时验证单批或整批解决方案。此外，他们可以确保只有将解决方案透露给适当的各方后，用户才能获得报酬。

一些读者可能还记得素数币还使用有用工作证明作为其共识算法的组成部分。需要明确的是，我们提出的赏金不会有助于达成共识，只是为了奖励解决者。不幸的是，没有健全的理论基础证明使用有用工作证明达成共识的稳定性。

想解决大问题吗？申请 RFP。
现在您知道了可以解决的问题，您可以考虑如何解决它们。您可以通过多种方式帮助实现有用工作证明，从围绕专用加密的技术挑战到构建人们可以提交问题和解决方案的网站。

对于此 RFP，我们希望有一个 Leo 计划，允许用户添加 Aleo 积分作为奖励，其中每个部署的计划都会奖励针对一个特定问题的解决方案。仅当解决了特定的计算问题时才会支付赏金。 （请注意，不同的计算问题将需要不同的 Leo 程序。）

进行正确的 DeFi 交易会对您产生影响，但解决真正的、具有挑战性的问题可以影响人类和地球。我们希望您申请这项独特的 Aleo 资助——我们迫不及待地想看到您对有用工作的建议。

 Aleo 是第 1 层区块链，为网络带来隐私 

Aleo又要鸽主网了！但春天确实不远了！

重大消息！比特大陆计划推出Aleo蚂蚁矿机！

隐私是刚需吗？Aleo处于区块链演变的哪个位置？