Aleo之家
在 Aleo，我们相信开源、去中心化和社区运营的应用程序是未来。但如果没有隐私，这些应用程序就无法克服当今网络面临的挑战。使用零知识密码学，Aleo 通过我们所谓的 zkCloud为下一代网络带来隐私和可扩展性。
随着我们在未来几个月内接近启动我们的网络，我们很高兴地宣布我们的社区成员有机会通过我们的成立仪式为 Aleo 做出贡献。设置仪式为 Aleo 中使用的 zkSNARKs 创建参数，并确保我们的系统保持完全安全、去中心化和无需许可。
为了实现这一点，Aleo 依赖于一类特定的零知识证明，称为 zkSNARKs。zkSNARK 的优点是性能相对较高，但使用它们需要预先生成一组参数。出于安全原因，任何一方都无法完全了解创建这些参数的过程。
为此，我们邀请社区通过参与我们的 Aleo 设置仪式来帮助我们生成这些参数。该仪式将使用一种称为多方计算（MPC）的加密技术。此过程对所有人开放，并确保任何人都可以使用 Aleo，而无需依赖受信任的第三方。
我们的成立仪式是基于久经考验的MMORPG MPC 方案。Zcash和Celo等许多其他网络已使用它为其系统生成参数。MMORPG 的一个很好的特性是，它需要一个诚实的贡献来保证设置的安全。所以每个诚实的参与者都可以知道，只有他们就足以保证网络的成功；推而广之，更多的参与者意味着安全受到损害的可能性极小。有关设置仪式、它们如何工作以及它们为何重要的更多技术细节，请查看这篇文章。
MMORPG MPC 仪式由多个贡献“回合”组成。贡献者使用他们的计算资源将他们独特的随机性添加到流程中。验证者确保贡献格式正确。最后，协调器（由 Aleo 运行）管理和排队每一轮的贡献者/验证者，并在一轮结束时汇总贡献。我们的设置代码是完全开源的，并且已经过Least Authority 的审核。
在 Aleo 中，使用多个 zkSNARK 来确保系统各个级别的隐私。生成这些参数不仅需要一个设置仪式，还需要三个单独的设置：
- 通用设置为通用证明系统Marlin生成初始参数。Aleo 使用 Marlin 进行谓词证明（隐藏程序的输入）。我们还在我们的共识算法Proof-of-Succinct-Work中使用它。由于必须处理任意程序，Universal Setup 需要大约 36 小时才能完成。
- 外部设置保护外部 SNARK，它保护有关正在计算的程序性质的信息。此仪式必须使用台式计算机从命令行完成，并且需要几个小时才能完成。
- 内部设置生成保护内部 SNARK 的参数，该内部 SNARK 保护有关给定交易各方的信息。参与内部设置是最简单的，因为除了商用台式机/笔记本电脑、网络浏览器和半小时即可完成之外，它不需要技术知识和特殊硬件。
虽然我们希望每个人都有机会做出贡献，但通用和外部设置需要更强大的硬件和从命令行运行软件的知识。因此，我们建议只有拥有强大、现代桌面并且能够从命令行运行软件的参与者才能参与这些设置。
在您为设置仪式做出贡献后，不要停在那里！了解有关 Aleo 启用的用例的更多信息，或前往并查看我们的 Leo开发者游乐场，看看您今天可以构建什么！
