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),默认交易为隐私模式,用户可选择性公开想公开的信息。
当前区块时间约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主网将于近期上线,如果有想建节点获取节点奖励,可以联系我myto88,时不我待,抢占早期红利。
当前ALEO提供了一个全套的基础服务:
Aleo结合零知识提供了全栈解决方案,保证应用程序堆栈的每一层都可编程、可使用、可去中心化私有计算。并从Leo编程语言、Aleo Studio开发环境、工具端、RPC、隐私保护应用程序的开发、部署和可持续性等。即便不是密码学专家,开发人员也可以编写隐私保护很强的应用程序。
Aleo提供业界领先的基础设施和工具来编写零知识应用程序。
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轮+。
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
媒体平台 |
地址 |
数据 |
|
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