Aleo 是第一个完全私有化的应用程序的隐私公链平台。Aleo 使用区块链和零知识密码学来提供一种新的网络体验。使用 Aleo，开发人员即使不是区块链或密码学专家也可以编写私有应用程序。

区块链协议的一个持续性挑战在于：权衡隐私和可编程性。大多数区块链项目要么是以隐私为代价选择可编程性优先（以太坊），要么是牺牲可编程性来满足隐私要求（匿名币）。迄今为止，没有任何项目可兼顾可编程性和隐私性。兼顾可编程性和隐私性是Aleo最大的创新。

以eth为代表的公链具有去中心化和公开透明等特点，但公开透明、数据可验证，那在交互的过程中，就极有可能被追踪到真实身份。自己的财产以及信息隐私很有可能泄露。而以XMR、Zcash为代表的匿名币，只针对的是身份信息，无法扩展应用到智能合约上，不能解决智能合约的隐私问题。Aleo的技术解决了扩展使用零知识技术构建的应用程序的关键问题，使任何开发人员或组织都能够构建和扩展真正私有的应用程序。

Aleo为编写零知识应用程序提供了业界领先的基础设施和工具。

编程语言：Leo，基于Aleo直观简单的编写隐私应用程序，提供的编程语言称为Leo。Leo看起来、用起来就像传统的编程语言。而在Leo的底层，比传统编程语言要复杂。Leo对底层的密码学概念进行了low-level抽象，使得其更易于与隐私应用程序集成。同时，Leo提供了high-level语法，使得更易于编写和直观表达零知识的相关逻辑。Leo语言受传统编程语言如JavaScript、Scala和Rust的启发，同时具有更强的可读性和可用性。

Aleo Studio IDE集成开发环境：为了加快开发周期，提供了Aleo Studio——第一个用于编写零知识应用程序的IDE。Aleo Studio是一个交互式开发环境，用于在Leo中编写零知识应用程序。类似golang语言的IDE goland。

Aleo Package Manager：为了简化打包和分享工作，为Leo构建了一个包管理器。Aleo包管理器是第一个zero knowledge circuits的包管理器。Aleo包管理器与Aleo Studio集成，使得导入和发布新包变得很容易，而不必离开编辑器。

snarkOS ：一个用于私有应用程序的去中心化操作系统，也是Aleo的程序。它构成了Aleo的支柱，并使应用程序能够以可公开验证的方式验证和存储状态。snarkOS 的多台机器/实例可以协调挖矿，只需在多台机器（不是同一台机器）上启动多个 snarkOS 实例并输入相同的矿工地址。

高安全性：Aleo的方案并不会牺牲安全性，零知识证明以密码学的方式保证程序的正确执行。与其他区块链和许多Layer 2 解决方案的”只提供了正确发生状态转换的加密经济保证不同的是，在Aleo中，一个proof表面程序要么运行正确，要么根本就没有运行，从而消除了用户或智能合约开发人员对额外信任假设的需要。通过将执行与状态分离，并通过shielded transactions只向区块链提交proofs，zkCloud帮助Aleo实现隐私、可编程、高性能网络的目标。

Aleo采用PoSW（简洁⼯作证明）共识机制，它⽣成系统有效性证明，作为执⾏⼯作证明的有⽤副过程。验证将包含在给定块更新中的交易，同时确保底层证明计算仍然是一个时间锁定难题。PoSW 是比特币基于 SHA 难度调整算法的变体，主要区别在于底层计算不是任意的哈希函数，而是知识证明。这使得 PoSW 解决方案不仅可以充当 PoW 以确保系统共识，还可以验证给定区块中包含的交易

WeChat1：victeam005

WeChat2：shijie20170405 Telegream：https://t.me/VICOINDAOCHAT Twitter：@VICOINDAO