Aleo基础(1)-综述

Aleo常规背景内容均汇总在此处，当前总结内容是在test即将发布前

1. 隐私计算

1. 主流技术（前三者主流）：多方安全计算、联邦学习、可信执行环境、差分隐私、同态加密、零知识证明(ZKP)
2. 零知识证明被广泛用在web3中：
   1. 概念：既能充分证明自己是某种权益的合法拥有者，又不把有关的信息泄露出去，即给外界的"知识"为"零"
   2. 形象比喻：阿里巴巴和四十大盗，开山门；要让大盗们相信自己知道山洞的咒语，又不告诉大盗们咒语，那就让大盗们离自己远一些，然后自己说出咒语；大盗们看到门开了，但又听不到自己说的什么咒语。

2. 什么是Aleo

1. 概念：通过区块链的去中心化系统和零知识证明的隐私加密技术保证网络上的数据实现为用户和应用程序开发人员提供绝对隐私的计算和数据保护。
2. 霍华德的论文《ZEXE:实现去中心化私人计算》，ZEXE技术引导开发隐私公链，进而吸引到a16z投资。逐步成为目前零知识证明领域最大的投资项目。
   1. ZEXE技术是在ZK-Snarks技术中进一步优化，也是Aleo的核心技术，就是当自己在各种DAPP交互时，信息不会被公开
3. Aleo会把记录拆解为两步，首先会产生一个出生证明，说明资产创建的条件、地点信息；第二步就是创建一个死亡证明，用于说明资产被消费或被转移
4. Aleo的运行是分为链下计算和链上验证两个层面，各种记录的生成是在链下完成的，资源的证明则是在链上完成的，Aleo的验证人只需要验证记录离的零知识证明是否正确，这样就保证了隐私，这种证明方式又被称为简洁工作量证明，即POSW。Aleo把链下验证的这个环节称为:zkCloud，程序以私密、安全、廉价的方式执行，并且运行时间不受限制。
5. 构建了验证的零知识应用程序的编程语言：Leo，确保用户的数据在默认情况下是隐私的，并且可以在web上无缝运行。为了让web开发人员更容易尝试使用Leo开发应用，发布了一个Playground，也就是PM管理软件，并且集成到Aleo Studio中（IDE）
6. 按官方最终目标，任何设备都可以部署aleo

3. test3情况

1. 初始积分：10亿
2. 目前积分是通过kyc领取，无法转卖
3. 9月1号开始，在aleo上运行Prover节点，解开coinbase难题获得积分；提交关于snarkOS和snarkVM的bug获得积分
4. 10月1号开启aleo bft，拥有100万个积分的节点，可以成为验证人，能够进行代币的质押，（pos机制）
5. 由于test2有矿工大量掌握了算力，为了避免中心化问题，增加pos机制
6. 转为pos机制，要求高，质押100万积分起步。并且性能会好
7. 转为pos之后，posw机制依旧存在。两者共识的奖励分配暂未公布
8. pos参与门槛变高，保持20秒的区块出块时间，每个区块奖励100积分，每个验证人7.7%币龄。

总结

会根据情况进行调整本文