Aleo项目详细介绍-一个兼顾隐私和可编程性的隐私公链

2024-01-26 13:12

本文主要是介绍Aleo项目详细介绍-一个兼顾隐私和可编程性的隐私公链,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Aleo上线在即,整理一篇项目的详细介绍,喜欢的收藏。有计划做aleo节点的可交流。

一、项目简介

Aleo 最初是在 2016 年构思的,旨在研究可编程零知识。公司由 Howard Wu、Michael Beller、Collin Chin 和 Raymond Chu 于 2019 年正式成立。

Aleo 是第一个采用零知识证明(ZKP)技术,提供私有、开源的Layer 1 区块链。

Aleo 开发了一个默认交易隐私的应用程序构建平台,可实现区块链上的隐私。通过这个平台,开发者可以使用Aleo开发的编程语言Leo来编写他们的应用程序,而无需使用密码学。

二、创始团队

Collin Chin、Raymond Chu 和 Howard Wu 是 Aleo 的联合创始人。

Colling Chin 毕业于加州大学伯克利分校,获得电气工程和计算机科学学位。目前,他是 Aleo 的联合创始人。

他的职业生涯始于 Sportvision。之后,他在 ConsenSys 担任智能合约开发。此外,他还担任过 Gnosis 的开发者倡导者、伯克利区块链顾问以及 Argus Observer LLC 的安全顾问。

Raymond Chu 在加州大学伯克利分校获得了计算机科学学士学位。他是 Aleo 的全职联合创始人和 Argus 的安全顾问。

他于 2017 年开始了自己的职业生涯,先后在 IBM 和 Amazon 任职。之后,他在伯克利区块链公司担任软件项目经理。

Howard Wu 在加州大学伯克利分校获得了计算机科学和应用数学学士学位以及电气工程和计算机科学硕士学位。

他是谷歌的软件工程师和伯克利区块链的顾问。目前,他是 Dekrypt Capital 的执行合伙人以及 Aleo 的联合创始人兼首席技术官。

2022年9月20日,Alex Pruden被提升为Aleo的CEO,他此前在A16Z、coinbase工作。

截止2023年4月,该项目拥有超过 55 名员工。

三、零知识证明简介

零知识证明是一种加密协议,其中一方(证明者)向另一方(验证者)证明某件事是真实的,但不透露它是如何真实的。

我们可以通过证明自己的身份来登录 Facebook,而无需透露我们的电子邮件、密码、位置、生日、母亲的婚前姓氏或最喜欢的披萨配料。

我们可以证明我们的信用评分使我们有资格获得贷款,而无需发起会损害我们信用评分的严格审查。

我们可以提交可以审查、验证和批准的保险索赔,而无需暴露我们的其余保险身份,这会造成索赔被拒绝的不道德原因。

这么实用未流行,主要是因为技术发展制约。

零知识证明最近才变得实用。与传统的做事方式相比,生成它们的成本仍然昂贵。现实情况是,很少有人会接受速度较慢、效率较低的系统。

Aleo提供了一个可编程零知识证明的高效方案。

四、主要特色

兼顾隐私性和可编程性是Aleo最大的创新之处。

  • 隐私性:

可编程性可类比于以太坊,但增加了隐私保护、高TPS的特点,基于Aleo的开发都可以使用零知识证明达到隐私保护的功能。

  • 可编程性:

隐私性可类比于同赛道Zcash,但相比Zcash,Aleo具有良好的可编程性,且效率更高。

  • 可选择退出隐私:

可选择退出隐私(opt-outprivacy),默认交易为隐私模式,用户可选择性公开想公开的信息。

五、Aleo共识机制与挖矿

当前区块时间约5s。

Aleo使用的是 PoSW(简洁工作证明)共识机制,该算法是基于 SNARK 的激励算法。PoSW 是一种类 PoW 的共识机制,是比特币基于 SHA 的难度调整算法的变体,主要区别在于底层计算不是任意散列函数,而是知识证明。使得 PoSW 解决方案不仅可以充当 PoW 以确保系统共识,还可以提供给定区块中包含交易的验证,让算力发挥实际运算的作用,且逻辑上来说也可以让性能更进一步优化。

Aleo由证明节点和验证节点构成,证明节点在链下执行交易并由矿工生成 SNARK 证明,提交到Layer 1,验证节点负责验证该证明有效性。类似于ETH2.0结构。而 Layer1 仍然采用的是 POS 质押模型。

Aleo目前主要是使用显卡机去挖矿,同时Aleo的挖矿算法也对CPU与GPU有相对应的要求。有兴趣参与节点建设的,私信我,主网上线临近,抢占早期红利。

Aleo采用的挖矿逻辑是:挖矿设备根据要求去完成快速傅里叶变换(Fast Fourier Transform, FFT)和多标量乘法(Multi-Scalar Multiplication ,MSM)算法的计算任务,挖矿者需要在规定时间内产生有效证明。

单位时间内完成有效证明次数的算力单位为PPS,这也个是衡量挖矿设备能获得多少Aleo 代币奖励的唯一标准,与传统比特币挖的统计算力单位 (H/s) 完全不同。

六、Aleo 发展历史

  • 2019年,Aleo成立
  • 2020年8月19日正式对外官方宣布,推出开发者版本
  • 2021年年初,推出官方AleoDiscord服务器
  • 2021年4月20日,A轮融资2800万美金
  • 2021年6月3日,获得财政部100万美元拨款,推出Aleo社区奖励计划,Leo编程大赛
  • 2021年8月16日,正式开始Aleo设置(挖矿),同时Testnest1上线
  • 2021年12月6日,正式上线激励测试网Testnet2,节点超10000个,产生了数百万个零知识证明
  • 2022年2月7日,B轮融资2亿美金
  • 2022年3月,Aleo推出大使计划,Testnet3准备上线
  • 2022年8月19日,ALeo Discord官方通告ALeo Testnet3三个测试阶段将延期
  • 2022年11月10日,Aleo网络启动三测第二阶段
  • 2023年1月24日,Aleo发布2023路线图

Aleo主网将于近期上线,如果有想建节点获取节点奖励,可以联系我myto88,时不我待,抢占早期红利。

七、Aleo提供的产品

当前ALEO提供了一个全套的基础服务:

Aleo结合零知识提供了全栈解决方案,保证应用程序堆栈的每一层都可编程、可使用、可去中心化私有计算。并从Leo编程语言、Aleo Studio开发环境、工具端、RPC、隐私保护应用程序的开发、部署和可持续性等。即便不是密码学专家,开发人员也可以编写隐私保护很强的应用程序。

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

Aleo的目标是为开发人员提供一个端到端的管道,以便使用我们完整的可编程零知识工具集来无缝地编写、运行和部署私有应用程序,如下所示:

  1. Leo - 为了直观、轻松地在 Aleo 上编写私人应用程序,我们开发了一种名为 Leo 的编程语言。Leo 的外观和感觉就像传统的编程语言一样。然而,在表面之下,狮子座要复杂得多。Leo 抽象了低级加密概念,让您可以轻松地将私有应用程序集成到您的堆栈中。Leo引入了高级语法,可以轻松编写并直观地以零知识表达逻辑。Leo 语言受到 JavaScript、Scala 和 Rust 等传统编程语言的影响,非常强调可读性和易用性。在幕后,Leo 将开发人员的高级代码转换为零知识电路。
  2. Aleo Studio - 为了快速启动开发周期,我们构建了 Aleo Studio,这是第一个用于编写零知识应用程序的 IDE。Aleo Studio 是一个交互式开发环境,用于在 Leo 中编写零知识应用程序。对于开发人员来说,Aleo Studio 旨在简化开发周期,并让您可以轻松地将 Leo 项目作为包发布到生态系统中。

  1. Aleo 包管理器- 为了简化捆绑和共享您的工作,我们为 Leo 构建了一个包管理器。Aleo Package Manager 是第一个零知识环路的包管理器。它包括团队和组织等协作功能,使您可以轻松地与朋友和同事在私人应用程序上合作。此外,Aleo Package Manager 与 Aleo Studio 集成,可以轻松导入和发布新包,而无需离开编辑器。
  2. snarkOS - Aleo 在名为 snarkOS 的私有应用程序的去中心化操作系统上运行。它构成了状态转换的逻辑主干,使应用程序能够以可公开验证的方式在 Aleo 区块链上验证和存储状态。snarkOS 对 Aleo 上的所有程序和事务强制执行数据可用性保证。此外,我们的共识机制确保验证者计算零知识证明以检查链上的状态。

这些工具将使开发人员能够构建下一代智能合约。Aleo 可以表达强大的 DeFi 原语,例如稳定币或去中心化交易所。然而,所有交易都是完全私密的,让开发者和用户处于控制之中。

八、经济模型

Aleo经济模型采用采用微通胀模型,设置创始代币(积分)10亿,前三年的通膨率大概在12~16%(用于鼓励前期节点挖矿,目前Aleo的减少供给的方式只有作为网络的手续费销毁掉)。其中投资人占57%,团队占20%,公募15%,私募8%,具体锁仓和释放机制未公布。

创世区块维持10亿个币不变,其中包括投资人的5.7亿,团队的2亿,公售的1.5亿和激励池8000万,Testnet2的2500万奖励应该是来自于激励池。

区块奖励分发机制

Aleo流通量趋势

Aleo持有者分布(发行时和5年后)

九、融资信息

Aleo官方公布的融资有两轮半,分别是A轮、B轮及B轮+。

  • A轮融资金额2800万美金,由Andreessen Horowitz(a16z)领投,PlaceholderVC、GalaxyDigital、VariantCapital和CoinbaseVentures参投,其他投资者包括PolychainCapital、SlowVentures、DekryptCapital、ScalarCapital、a_capital、zkValidator、BalajiSrinivasan和由JosephLubin创立的新风险基金EtherealVentures。
  • B轮融资金额2亿美元,由KoraManagementLP和SoftBankVisionFund2领投,TigerGlobal和SeaCapital、三星Next、SlowVentures和AndreessenHorowitz(a16z)参投,最终对该公司的估值为14.5亿美元。Aleo的B轮融资是零知识证明赛道有史以来规模最大的一轮融资
  • B轮+融资7000万美元,Softbank Vision Fund 2和三星Next对其进行了投资。

十、项目分析

Aleo所属领域:ZK零知识证明、Layer 1 公链。

在零知识证明领域,随着硬件的加速研发和基础设施的完善,ZK技术会变得更加实用,并且在多个领域与其形成紧密的联系,如元宇宙、Web3、加密货币、金融和隐私等。零知识(ZK)的发展还处在早期阶段,作为一项加密算法,它在一系列加密算法当中脱颖而出,离不开它优秀的算法特性和易用性。

ZK技术被应用在区块链领域,意味着更快速运行的区块链网络和开放、私有的应用程序。在某种程度上,它也已经成为区块链生态系统的核心和支持工具。在实现隐私保障的同时,还可实现可扩展性,这些都对区块链乃至web3的未来发展至关重要。这是零知识证明未来的应用前景,也是Aleo网络的前景。

在Layer1方面,和Starware、zkSync、Scroll等Layer2项目不同,Aleo网络具备自己的snarkVM、Leo编程语言、Aleo Studio开发环境、PoSW共识机制等,意味在零知识领域,基于Aleo开发的应用和生态系统都大大地超过Layer2 ZK项目,而应用生态和系统带来的海量市场和可观资本是超乎想象的。

零知识证明领域的机会也是Aleo项目的机会,尤其对区块链Layer1来说更是如此。

从区块链Layer1来说,不同于Layer2,Layer1拥有自己的智能合约、开发环境、编程语言、共识机制、经济模型等,在规模和体量方面更能吸引潜在的市场生态,收获更多的用户和价值。

而大多数zk领域的项目大多用在了以太坊Layer 2上,这是Aleo项目定位在Layer1的机会和优势。

十一、社区和工具

社区数据

统计日期:2023.12.9

媒体平台

地址

数据

Twitter

https://twitter.com/AleoHQ

17.8万

Youtube

https://www.youtube.com/@AleoLabs/featured

2150订阅,13视频

Github

https://github.com/AleoHQ

2.4k followers

Discord

https://discord.com/invite/aleohq

251265 成员,7711在线

相关网站

官网:Aleo | Fully Private Applications

浏览器:Aleo Explorer(官方)、Aleo Info Explorer - Aleo Info Explorer

Aleo工具:Aleo SDK

这篇关于Aleo项目详细介绍-一个兼顾隐私和可编程性的隐私公链的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/646914

相关文章

将Mybatis升级为Mybatis-Plus的详细过程

《将Mybatis升级为Mybatis-Plus的详细过程》本文详细介绍了在若依管理系统(v3.8.8)中将MyBatis升级为MyBatis-Plus的过程,旨在提升开发效率,通过本文,开发者可实现... 目录说明流程增加依赖修改配置文件注释掉MyBATisConfig里面的Bean代码生成使用IDEA生

Linux系统配置NAT网络模式的详细步骤(附图文)

《Linux系统配置NAT网络模式的详细步骤(附图文)》本文详细指导如何在VMware环境下配置NAT网络模式,包括设置主机和虚拟机的IP地址、网关,以及针对Linux和Windows系统的具体步骤,... 目录一、配置NAT网络模式二、设置虚拟机交换机网关2.1 打开虚拟机2.2 管理员授权2.3 设置子

Linux系统中卸载与安装JDK的详细教程

《Linux系统中卸载与安装JDK的详细教程》本文详细介绍了如何在Linux系统中通过Xshell和Xftp工具连接与传输文件,然后进行JDK的安装与卸载,安装步骤包括连接Linux、传输JDK安装包... 目录1、卸载1.1 linux删除自带的JDK1.2 Linux上卸载自己安装的JDK2、安装2.1

Java使用Curator进行ZooKeeper操作的详细教程

《Java使用Curator进行ZooKeeper操作的详细教程》ApacheCurator是一个基于ZooKeeper的Java客户端库,它极大地简化了使用ZooKeeper的开发工作,在分布式系统... 目录1、简述2、核心功能2.1 CuratorFramework2.2 Recipes3、示例实践3

一文教你如何将maven项目转成web项目

《一文教你如何将maven项目转成web项目》在软件开发过程中,有时我们需要将一个普通的Maven项目转换为Web项目,以便能够部署到Web容器中运行,本文将详细介绍如何通过简单的步骤完成这一转换过程... 目录准备工作步骤一:修改​​pom.XML​​1.1 添加​​packaging​​标签1.2 添加

tomcat多实例部署的项目实践

《tomcat多实例部署的项目实践》Tomcat多实例是指在一台设备上运行多个Tomcat服务,这些Tomcat相互独立,本文主要介绍了tomcat多实例部署的项目实践,具有一定的参考价值,感兴趣的可... 目录1.创建项目目录,测试文China编程件2js.创建实例的安装目录3.准备实例的配置文件4.编辑实例的

通过Docker Compose部署MySQL的详细教程

《通过DockerCompose部署MySQL的详细教程》DockerCompose作为Docker官方的容器编排工具,为MySQL数据库部署带来了显著优势,下面小编就来为大家详细介绍一... 目录一、docker Compose 部署 mysql 的优势二、环境准备与基础配置2.1 项目目录结构2.2 基

MySQL中慢SQL优化的不同方式介绍

《MySQL中慢SQL优化的不同方式介绍》慢SQL的优化,主要从两个方面考虑,SQL语句本身的优化,以及数据库设计的优化,下面小编就来给大家介绍一下有哪些方式可以优化慢SQL吧... 目录避免不必要的列分页优化索引优化JOIN 的优化排序优化UNION 优化慢 SQL 的优化,主要从两个方面考虑,SQL 语

springboot集成Deepseek4j的项目实践

《springboot集成Deepseek4j的项目实践》本文主要介绍了springboot集成Deepseek4j的项目实践,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价... 目录Deepseek4j快速开始Maven 依js赖基础配置基础使用示例1. 流式返回示例2. 进阶

SpringBoot项目启动报错"找不到或无法加载主类"的解决方法

《SpringBoot项目启动报错找不到或无法加载主类的解决方法》在使用IntelliJIDEA开发基于SpringBoot框架的Java程序时,可能会出现找不到或无法加载主类com.example.... 目录一、问题描述二、排查过程三、解决方案一、问题描述在使用 IntelliJ IDEA 开发基于