Aleo科普|Aleo的零知识原语，为ZK而生！

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

 AleoASIA | Aleo大中华社区

Aleo最靠谱的中文社区 

昨天文章Aleo主网|12月1日上线，这次应该不鸽了？！又有好消息！在Aleo上线之前，我们再一起温故一下Aleo技术的基石。

在正式开始之前，大家记得来参与我们这两个活动啊！其中Avail钱包的活动明天就结束了！

Aleo生态|项目方又派钱了！抽AleoAsia单独奖池！仅限社区铁粉！

Aleo生态|AleoSwap新一版保姆级银河任务教程！

Aleo生态|手机端钱包Avail需要你的宝贵意见！激励是......错过了你会后悔！

出金U卡系列，红点支付公司为我们社群提供了优惠码【aleo8888】，立减4U，也即6U就可以看买一张VISA 卡啦，可以安全出金哦~更多查看这篇文章。（声明：此活动与Aleo官方无关。请仔细谨慎考虑。）

Aleo 的零知识原语

介绍 Web3 生态系统的任何私有、可编程应用程序的核心组件。由Aleo提供动力。

零知识技术

在我们的日常在线活动中（例如使用搜索引擎或社交网络），我们不必要地、不可逆转地交出大量数据，这是我们不应该做出的选择，而且这是没有任何回报的。

但零知识提供了一个潜在的解决方案。在不泄露知识的情况下证明知识并对精确问题给出精确答案的能力增强了隐私、提高了安全性并提高了效率。它可以通过允许消费者有选择地揭示与给定应用程序相关的内容来增强消费者的能力。它可以使公司在不泄露商业秘密的情况下签订合作伙伴协议。它可以确保遵守法律法规，而无需繁重的监视。总的来说，ZK 为我们如何互动和协调开辟了一个全新的机会世界。

Aleo 的使命是使开发人员能够构建真正的私有应用程序。我们方法的基石是零知识密码学，简称 ZK。这项技术允许去中心化网络上的各方证明对某些信息的了解，而无需透露使其真实的基本事实。

ZK 的一个简单比喻是调酒师验证一个人的年龄。他们通常会要求提供身份证件来检查出生日期，并将身体特征与站在他们面前的人进行匹配。但调酒师还可以在身份证上看到其他身份信息，例如家庭住址。尽管顾客只需要证明自己至少达到饮酒年龄，但他们却无意中透露了更多信息。（此处我们想透露，欢迎大家关注我们Aleo Asia的公众号）。

零知识密码学就像让一个人能够证明他们已经达到合法饮酒年龄而不透露任何其他信息。调酒师可以肯定地验证这一说法，甚至无需了解该人的年龄。在酒吧等待喝酒的人应该能够回答“您达到法定饮酒年龄吗？”的问题。选择“是”，而不透露任何不相关的个人信息。

这项技术将创建以前不可能的商业模式。这些模型及其应用程序将利用底层技术提供的新功能。在下一节中，我们将研究零知识密码学独特支持的以下构建块或原语。

零知识原语‍

“原语”是编程语言的基本构建块，是不可分割成更小的组件的原子单元。应用于更高的系统级别时，原语也可以被视为成分，可以通过多种方式组合以制作不同的配方。它们是新兴技术的第一原理方法，代表了任何可以组合和迭代以创建新颖解决方案的解决方案的核心组件。

对于以太坊上的去中心化金融 (DeFi)，一个示例原语是联合曲线，它为 Uniswap 等去中心化交易所提供动力。在新兴的 Web3 隐私空间中，识别有用且独特的原语是开发私有应用程序的关键的第一步。

迄今为止，区块链在协调可编程性和隐私方面面临着挑战。现有的解决方案要么无法区分两者的优先级，要么为用户提供不平衡的比例。在以太坊和其他高度可编程的区块链上，交易是公开的，地址/身份是匿名/假名的。Aleo 的零知识原语提供了一组核心技术期望，用户和开发人员可以为每个私有的可编程应用程序指出这些期望。

那么，零知识应用的原语是什么？

屏蔽身份就像防火墙一样，可以保护特定个人或实体的私人信息。还记得我们调酒师的例子吗？屏蔽身份就像基于加密的驾驶执照，向提问者隐藏所有不相关的信息。屏蔽身份允许个人、智能合约、DAO 和企业相互交互，而不会泄露任何超出确切需要了解的信息。一个简单的例子是交易所或暗池的链上了解你的客户（KYC）流程。与以太坊不同，在以太坊中，用户必须以假名透露其整个帐户和完整的资产持有量，屏蔽身份使用户既可以对应用程序进行身份验证，又保持完全匿名。

屏蔽交易是 Zcash 首先创建的一个原语。但 Aleo 中的屏蔽交易不仅仅是资产转移。它们描述了与另一个人或程序的各种交互。除了简单支付之外的一些例子包括流动性供应、治理投票、身份认证、去中心化通知等等。由于只有交互方知道交易的详细信息，因此恶意第三方无法了解该交互的详细信息或以任何方式利用它。

屏蔽身份描述了个人，屏蔽交易是他们互动的方式。在 Aleo 中，他们在我们称为 zkCloud 的环境中进行链下操作，zkCloud 是 Aleo 堆栈的一个组件，为更安全、私密和个性化的应用程序范式奠定了基础。

zkCloud 描述了一种点对点、去中心化、私有计算的模型，其中受保护的身份可以直接（如在资产转移中）或以编程方式（通过智能合约）进行交互。通过将这种交互转移到链下，我们不仅可以保证隐私，还可以实现更大的交易吞吐量。

屏蔽交易将 zkCloud 内的一方或多方的交互链接到 Aleo 区块链。这些交易包含证明这些交互有效的加密证明。但默认情况下，他们不会透露执行了什么程序或谁参与了。Aleo 区块链存储这些交易的记录，可以参考这些记录来确定应用程序在任何给定时间的全局状态。

zkCloud 应用程序可以在用户的计算机上本地运行，也可以委托给第三方证明服务来代表用户构建证明并提交交易。 这使得如今 Aleo 上的应用范围更加广泛，并为委托私有计算打开了新市场的大门。

总结一下：

-zkCloud 是点对点、去中心化、私有计算新模型的基石，可以在本地运行或委托给专门的证明者。

-zkCloud 支持屏蔽身份之间的编程交互，这些身份可以是用户、组织、DAO 等。

-这些交互通过屏蔽交易发生，该交易提供保证给定程序正确执行的加密证明。

-这些交易被提交到 Aleo 区块链，该区块链更新全局状态，并将活动锚定在 zkCloud 上，并提供去中心化和抗审查的数据可用性保证。

Aleo 提供了构建真正私有应用程序的工具‍

Aleo 的核心技术堆栈释放了这些原语的力量，开发人员可以使用它们来创建真正私有的去中心化应用程序。如果应用程序可以在不牺牲可编程性的情况下私密、廉价且可扩展地执行，那么完全私密、真正去中心化的 Web3 生态系统就指日可待。在我们系列的下一篇文章中，我们将超越零知识的原语，看看我们可以用这些构建块做什么。敬请关注！

B圈出金不冻卡2!可绑苹果支付的虚拟+实体卡，开卡费率便宜+额度还高！护航出金安全！

Aleo科普|上线日子！再次了解Aleo！