再次全面了解Aleo—来自Figment的调研

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

 AleoASIA | Aleo大中华社区

Aleo最靠谱的中文社区 

Aleo是什么？

Aleo 是一个注重隐私、基于零知识证明的第 1 层区块链。使用标准的非加密区块链，用户的所有交易历史记录都对公众完全可见。借助称为 ZK-SNARK 的内置加密证明，Aleo 允许隐藏但可验证的活动和真正的私密交易。

Aleo 的主要目标之一是成为世界领先的基于零知识的应用程序开发者平台。为了实现这一目标，Aleo 推出了许多独特的开发工具和软件，使 ZK-app 编程变得快速、简单。

除了自己的区块链之外，Aleo 还运行自己的虚拟机 (snarkVM)、操作系统 (snarkOS) 和编程语言 (Leo)。这些工具都是为了让 ZK 证明和密码学集成到 Web3 开发中变得比以往更容易而设计的。

· snarkVM：Aleo 创建的去中心化虚拟机。可作为 Rust 箱轻松下载。

· snarkOS：Aleo 点对点网络背后的核心协议。允许用户快速启动节点并通过引导与信标节点的连接来直接连接到对等点。

· Leo：Aleo 的专有编程语言。Leo 是一种静态类型语言，其灵感来自 Rust 的安全性和速度，但又具有 Javascript 的易用性和可读性。此外，Leo 还包含内置的 ZK 功能，使非加密原生开发人员可以轻松地将 ZK 和隐私合并到他们的程序中。

Aleo 解决什么问题？

首先也是最重要的是，Aleo 为用户和应用程序提供隐私。零知识证明是协议核心的加密功能，可在验证时保护用户信息和交易历史记录。

一段时间以来，ZK 证明在 web3 中引起了越来越多的关注，并且已经使用 ZK 技术构建了多个第 2 层解决方案。Aleo 的独特之处在于其原生 ZK 集成、去中心化证明市场（稍后详细介绍）以及对开发人员体验的高度重视。Aleo 的开发人员不需要学习如何从头开始创建 ZK 证明；相反，他们可以专注于应用程序构建，并使用内置的 ZK 函数和库来为其应用程序添加新级别的隐私。

应用程序和用例

zPass：安全且私密的数字身份，让您可以证明自己的详细信息，而无需实际透露任何信息。例如，向加密货币交易所证明您已年满 18 岁并且是加拿大居民，而无需实际提供您的姓名或出生日期。

Leo 钱包：专为 Aleo 生态系统打造的易于使用的钱包。直接在浏览器中自动为交易创建 ZK 证明。

ZKML：Aleo 推出了一个转译器，可以轻松地将 Python 机器学习模型转换为 Leo 代码。利用 ZK 的强大功能，模型可以访问健康或财务信息等敏感数据并对其进行训练，而无需向外界透露具体信息。

测试网使用情况

Aleo 的第一个公共测试网（称为 Testnet 2）于 2021 年 12 月上线，此后经历了多个阶段的进展，第三个公共测试网也已上线。为了防止测试网上的垃圾邮件并激励开发人员使用，Aleo 使用了名为 Aleo Credits 的系统。交易以不同级别的 Aleo 积分计价，测试网奖励以积分形式奖励给受激励的测试网参与者。主网上线后，积分可用于支付 Aleo 网络上的服务费用。在测试网 2 和 3 中，大量积分分配给了矿工，以帮助引导证明和验证市场。

Aleo 在其三个测试网阶段都得到了实际使用。截至撰写本文时，snarkVM 已从 Crates.io 下载了约 439,000 次。在 Testnet 3 第二阶段，超过 44,000 个证明者连接到 Aleo。Testnet 3 的第三阶段主要关注应用程序开发人员，以确保在主网诞生时在链上可以做一些独特的事情。在此阶段提交了超过 1,000 个经过验证的 Github 存储库，Aleo 选择了 130 个进行积分分配。

网络代币经济学

我们预计 Aleo 将在网络创世时发布代币。Aleo 目前正在进行 B 轮融资，并已从 Polychain、a16z Crypto、Galaxy Digital、Variant 和 Coinbase Ventures 等顶级加密投资者那里筹集了近 3 亿美元。

尽管尚未公开宣布代币经济学（最新经济模型请参考：重磅！Aleo更新经济模型！主网上线真的来了？！），但已经以 Aleo Credits 的方式提供了测试网激励措施。总共将有10亿的信贷供应。在整个测试网过程中，积分/学分已分配给从应用程序开发人员到矿池运营商到个人证明者的每个人。到目前为止，它们的分布如下：

质押与共识

尽管 Aleo 提供质押服务，但它并不是一个纯粹的权益证明网络。相反，Aleo 共识是挖矿和质押的结合，称为简洁工作证明 (PoSW)。

Aleo 的专有共识算法称为 AleoBFT。共识的质押部分基于 DiemBFT，由曾经位于 Meta 的 Diem 区块链团队创建。DiemBFT 分为几轮，由领导者首先提出一个区块。然后验证者投票选出下一轮的领导者。一旦达到投票法定人数，下一轮的领导者就会创建一个法定人数证书并将其包含在下一个区块提案中。

质押者将为共识和区块生产做出贡献，但不会亲自参与 ZK 证明的生成过程。通过将证明所需的计算转移到链下，Aleo 的目标是保持链本身的快速和高效。

ZK-SNARKs

零知识简洁非交互式知识论证 (ZK-SNARK) 是一种加密证明，允许用户向第三方验证信息的有效性，而无需实际透露该信息是什么。简洁部分对于为什么这些证明具有可扩展性至关重要——即使对于大型和困难的问题，ZK-SNARK 证明也只有几百字节。

2012 年，在一篇学术论文中首次提出了概念，此后，多种加密协议将其纳入其设计中，并取得了不同程度的成功。ZK-SNARK 首次在加密领域崭露头角是随着 ZCash 的创建，ZCash 是一种比特币分叉，用户可以选择使用证明为交易添加隐私。然而，截至撰写本文时，ZCash 上的绝大多数交易选择不选择隐私，只有约 6% 的交易被完全屏蔽。虽然许多 ZK L2 依赖集中式服务来生成 ZK，但 Aleo 创建了一个去中心化且无需信任的市场来创建证明并验证其有效性。

证明与验证

在 Aleo 上，证明者生成加密证明，而验证者检查证明的有效性。由于其零知识性质，验证者永远不会在证明的基础上了解任何底层数据。对于网络上的大多数交易，用户需要自己生成证明或将工作外包给证明者。

证明难度是由比特币现金团队创建的名为 ASERT 的算法版本设置的。当证明超过当前难度限制时，所有做出贡献的证明者都会分享 coinbase 奖励。证明者完成的计算工作包括多标量乘法和快速傅立叶变换。

在 PoSW 中证明所需的工作与在传统 PoW 链中挖掘新代币所需的工作有相似之处。在这两种情况下，参与者都必须操作专用硬件和专用计算资源。然而，通过 Aleo，证明矿工将使用他们的机器创建 zk-SNARK，而不是参与 PoW 算法。

在硬件方面，如今 Aleo 证明者正在使用各种类型的 FPGA 和 GPU，其中包括从以太坊挖矿中改造而来的。假设 Aleo 取得成功，Aleo 团队预计最终将开发出 ZK 挖矿优化的 ASIC，就像比特币挖矿一样。

团队

Aleo 由现任 CTO Howard Wu 创立，他与人合着了一篇将 ZK 应用到 web3 的基础论文《Zexe：实现去中心化私有计算》。其现任首席执行官是前 a16z 合伙人 Alex Pruden。

Aleo Systems 是 Aleo 区块链开发背后的团队。启动后，该项目将作为开放协议进行去中心化，Aleo Systems 将专注于为生态系统构建产品。

Figment的参与

Figment 将支持从网络创世开始就对 Aleo 进行质押。如果您有兴趣质押 Aleo，Figment 提供一系列服务，旨在为您的资产提供安全可靠的质押奖励。

超过 250 家机构客户依靠 Figment 提供一流的质押服务，包括无缝且轻松的集成、详细的奖励报告、见解、双号削减和停机罚款保障。Figment 的团队拥有丰富的 Aleo 知识，旨在帮助深入了解奖励和质押信息等细节。与我们会面，了解有关 Aleo 质押的更多信息。

本文译自https://figment.io/insights/aleo-first-look/?utm_content=，作者Drake Breeding

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

挖取Aleo第一桶金的人，不是矿工，而是他们...

Aleo升级完成！又离主网上线近一步！

进一步了解Aleo质押者、证明者、验证者三者之间的关系

不能错过！有关Aleo主网前瞻——经济模型、共识机制革新、矿工未来！

B圈出金S级U卡！实体卡刷POS机，ATM机取现丝滑！它是你心目中的No.1吗？