火星链 火星链
Ctrl+D收藏火星链

LEO:ZK 赛道融资最大的项目 Aleo 研究报告

作者:

时间:1900/1/1 0:00:00

来源:Web3CN

一、项目简介

Aleo是第一个采用零知识证明技术、提供完全私有应用程序的Layer1区块链,为用户提供具有绝对隐私的无限计算。Aleo通过构建一个默认为私有、开源的区块链,解决区块链隐私保护的缺点。用户使用Aleo,可以访问真正个性化的Web服务世界,在得到隐私保障同时又可以管理自己的数据,并且享受高效、安全的网络服务。

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

二、项目愿景

Aleo团队认为,在下一个十年,Web服务将无处不在,它将不再只是局限于浏览器,还存在更多的地方,并且对人们生活的每个私密细节都在进行智能计算。而人们的个人生活已经成为一种“公共商品”,不论生活在哪里都随着网络服务的发展变得更加个性化。因此,人们和自己的数据的关系,人们如何管理自己的数据是未来每个人都应思考的问题。

信息泄露、数据隐私问题是当前互联网频繁看到的现象,Aleo的愿景就是解决这一问题,同时构建真正个人的和隐私的网络用户体验。Aleo大力倡导区块链生态系统中的隐私技术,并提供在网络应用程序中体现隐私技术的服务平台,以此增加世界各地的数字自由和访问。AleoCEOAlexPruden称:为世界提供安全和可扩展的应用程序。

三、特色和优势

Aleo和其它公链的不同且独特之处在于对隐私的保护和链上可扩展性。当前区块链搭载的智能合约有两个很大的限制:

Polygon正在对zk rollups技术进行性能测试:1月14日消息,Polygon正在对零知识汇总 (zk rollups) 技术进行性能测试。这项名为Polygon zkEVM技术的开发已经由Polygon Hermez团队进行了三年多。通过在zkEVM测试网的主要版本中生成超过12,000个zk证明,该团队已经确认零知识证明在以太坊上是可行的。(Cointelegraph)[2023/1/14 11:12:10]

它们在设计上是完全公开、透明的,因此不允许隐私的存在;

它们不能扩展到数百万、更不用说数十亿的用户,意味着无法支持亿万用户级别的线上实时游戏或活动。

针对上述现象,Aleo网络基于零知识证明密码学,解决当前公链既保护隐私又支持处理海量数据的难题。

既解决当前互联网数据泄露的困境,又完善当前区块链数据信息公开透明的缺点,同时还实现和当前互联网平台相媲美的海量数据实时处理及丰富的可扩展性,这是Aleo项目为市场关注的特别之处。

下图能够更直观、清晰地了解Aleo网络的特色:

四、发展历史

2019年,Aleo成立

2020年8月19日正式对外官方宣布,推出开发者版本

2021年年初,推出官方AleoDiscord服务器

2021年4月20日,A轮融资2800万美金

基于Layer2 ZK Rollup的NFT市场Mint Square新增支持zkSync2.0测试网:金色财经消息,基于以太坊Layer 2 ZK Rollup的NFT市场Mint Square宣布现已支持zkSync2.0测试网,允许用户在zkSync2.0测试网上铸造、购买和出售NFT。Mint Square此前已支持Stark Net Goerli测试网。[2022/4/7 14:10:35]

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日,ALeoDiscord官方通告ALeoTestnet3三个测试阶段将延期

2022年11月10日,Aleo网络启动三测第二阶段

2023年1月24日,Aleo发布2023路线图?

预计2023年7月,Aleo主网上线。

五、团队背景

Aleo由HowardWu、MichaelBeller、CollinChin和RaymondChu于2019年正式成立,其中HowardWu是Aleo的创始人。该团队由来自谷歌、亚马逊和Facebook等公司以及加州大学伯克利分校、约翰霍普金斯大学、纽约大学和康奈尔大学等研究型大学的世界级密码学家、工程师、设计师和运营商组成。2022年9月20日,AlexPruden被提升为Aleo的CEO,他此前在A16Z、coinbase工作。

StarkWare推出ZK Rollup扩容方案StarkNet Alpha 1版本:StarkWare推出ZK Rollup扩容方案StarkNet Alpha 1版本,该版本更新包括实现了L1、L2交互功能、实现了L1链上数据可用性,可通过L1数据构建StarkNet的状态等,此外,StarkNet还发布了StarkNet操作系统的代码,包括合约部署、交易执行等细节。[2021/7/20 1:03:37]

目前Aleo整个团队括财务和法律方面专业人才在内有30多人。

六、融资信息

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

A轮融资金额2800万美金,由AndreessenHorowitz(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轮融资是零知识证明赛道有史以来规模最大的一轮融资

以太坊ZK Rollup扩容方案Hermez Network正式上线:3月24日消息,以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动,用户现在可以以更低的Gas成本转账。Hermez的技术主管Jordi Baylina表示,用户可以因此节省大约90%的Gas成本。目前每笔交易的平均Gas费约为16美元,如果能节省90%的费用,每笔交易的成本将降至1.5美元。(Theblockcrypto)[2021/3/24 19:14:17]

B轮+融资7000万美元,SoftbankVisionFund2和三星Next对其进行了投资。

七、发展成果

从2019年立项至今,Aleo项目的发展成果如下:

Aleo项目于2月24日发布了Testnet3上的Deploy&Execute。这一发展成果对开发人员、ZK领域有重要意义:开发人员将Leo应用程序部署到Aleo网络,是ZK领域首次实现的成就。通过此版本发布,Aleo兑现了最初由AleoCTOHowardWu和团队其他创始成员共同撰写的ZEXE研究论文中所设想的创建零知识执行环境的终极承诺。

Aleo项目是和零知识证明紧密结合在一起的网络,如何在Aleo网络构建应用程序和生态是首要的事。一般开发ZK应用比较复杂和耗时,开发人员还需要零知识密码学知识,门槛较高。Aleo允许开发人员以尽可能简单的方式在其应用程序中使用零知识证明,为私有、去中心化的生态系统奠定基础。Leo编程语言是一种受Rust启发的静态类型编程语言,专为编写私有应用程序而构建。它是第一个为通用零知识应用程序引入测试框架、包注册表、导入解析器、远程编译器和定理生成器的已知编程语言。

ZK Labs将对PlotX进行智能合约安全审计:调研机构CryptoDiffer发推特称,ZKLabs将在PlotX主网上线前对其进行智能合约安全审计。ZKLabs将会验证PlotX智能合约的安全性,然后将由PlotX社区开发人员重构。据此前报道,DeFi预测市场平台PlotX更新用户界面,允许用户查看包括预测接受与否、处理进程、奖励分配等各个阶段的进展,以及可以同时使用PLOT代币以及ETH来购买预测头寸,旨在为启动主网做准备。部分新的用户界面功能将很快PlotX测试版中实现,不过完整的功能将在PlotX的主网版本中实现。[2020/9/11]

Aleo创建了自己的虚拟机snarkVM,开发人员可以在其上用熟悉的Solidity编程语言构建应用程序。

Aleo不依赖于现有的共识机制,工作量证明或权益证明,而是使用两者的组合,并对PoW进行了有用的调整,称为简洁工作证明,使得ZKP在Aleo上比在以太坊上便宜得多。

Aleo测试网在Testnet3第二阶段的主要收获和成就,首先是验证了Aleo项目的假设,即将区块生产与coinbase生成分离可以使证明者以其所需的规模计算证明;其次是得出了大量的证明池可以为网络生成证明做出贡献,使得证明更加易于访问;最后是得出在网络上进行的证明相当分散。

八、经济模型

Aleo的代币经济学旨在以尽可能简单的方式调整Aleo系统中所有利益相关者的激励措施,为Aleo网络提供服务。其代币表示有意义的价值,为参与者提供的安全性给予奖励,促进生态系统的开发和使用及权力下放等。并且,团队保留在迭代主网时进行必要调整的权利。

在Aleo网络启动时,Aleo积分将在早期支持者、建设者和社区成员以及提供资助并确保网络持续发展的基金会或其它实体之间分配。从创世开始,新的积分将被铸造并通过区块奖励分配给Aleo网络上的矿工。表1总结了整体经济模型的细节。

表1

除了在Aleo团队、早期支持者和社区成员之间分配的代币起始供应外,还将留出一部分用于在Aleo主网启动后的某个时候进行更广泛的分发,目的是进一步分散控制并提高开源社区的质量,同时遵守适用的法律和法规。

同时为了实现网络的高度安全性,Aleo团队在开始时设定了一个相对较高的通货膨胀率,然后在第一个十年中减半两次。在第九年之后,最终减半将导致每个区块的尾部释放12.5个Aleo积分,以确保网络的安全性以及它将支持的经济稳定性。下表显示了Aleo头15年的通货膨胀曲线。

表2:Aleo通货膨胀时间表和总供应量

在积分分配上,随着时间的推移和新积分的铸造,分配会发生变化。表3描述了假设区块奖励的Aleo积分的分配。

表3:Aleo积分分配

九、基本面分析

Aleo项目目前处在测试网三,还没有进入第三阶段。根据其发布的2023路线图,预期4月将会进入测试网三第三阶段,并在5月结束测试网三第三阶段,在6月经过压力和审核测试、主网升级后,将于7月上线主网。

在当前火热的AI领域,Aleo团队近期表示Aleo网络是开发人员开始试验ZKML应用程序的绝佳平台。官方发布的指南介绍了如何使用Aleo的零知识领域特定语言——Leo语言运行神经网络的推理。出于Aleo无需许可的架构,任何人都可以在Aleo网络上的ML和ZK领域成为自己数据的证明者/验证者,“这为潜在用例的全新世界打开了大门”。

十、行业分析

分析Aleo项目所在的行业,可以从零知识证明领域和Layer1切入。

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

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

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

十一、机会与风险

机会

在行业分析一节中,已论述零知识证明技术的重要性和潜力,这一点既是技术本身的潜在广泛使用前景,又是“搭载”了零知识证明技术Aleo网络的未来前景。Aleo项目也正是凭借采用零知识证明技术而获得资本的青睐。因此,可以说零知识证明领域的机会也是Aleo项目的机会,尤其对区块链Layer1来说更是如此。

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

风险

Aleo项目的风险部分也来自于零知识证明技术。从历史上看,生成ZKP比仅在本地运行计算更昂贵,因为ZKP需要更复杂和计算成本更高的数学运算,依赖于更专业的硬件。这也是AleoCEO在谈到2023年ZK技术的发展时认为硬件的加速发展会推动ZK的发展。采用ZKP技术的Aleo网络在现实应用场景时处理海量数据是否优于其它网络、费用如何平衡,这些都有待市场验证。

标签:LEOALEONET区块链aleo币价aleo币多钱SNET币区块链工程专业学什么及就业方向

比特币价格实时行情热门资讯
META:Uniswap V3 交易协议:MetaTrust Labs 成功实现首次形式验证

作者:MetaTrustLabsMetaTrustLabs最近应Xcalibyte邀约完成了UniswapV3Swap协议的主体部分形式化验证.

1900/1/1 0:00:00
SON:众议香港 Web3.0:香港能否成为未来的 Web3 中心与多个因素有关

作者:付饶,香港国际新经济研究院高级研究员4月中旬,香港Web3.0协会成立、香港Web3.0嘉年华等数百场活动举办.

1900/1/1 0:00:00
ZIL:Paxful CEO:88 %的被冻结账户已解冻,自己卸任前不会卷款"跑路"

Paxful联合创始人RayYoussef向债权人保证,该平台处于托管人的监管之下,他不会卷款"跑路",因为那样做会“毁掉自己的名誉”.

1900/1/1 0:00:00
WEB3:Web3 信用协议 Getaverse 获得 LD Capital 投资

据官方信息,Web3信用协议Getaverse获得LDCapital投资,具体投资金额暂未披露.

1900/1/1 0:00:00
ETH:晚报 | Layer1 项目 Shardeum 公布代币 SHM 经济模型,分布式稳定币项目 HOPE 上线以太坊主网

整理:西柚,ChainCatcher“过去24小时都发生了哪些重要事件”?1.Layer1项目Shardeum公布代币SHM经济模型:51%作为节点奖励.

1900/1/1 0:00:00
WEB3:Web3 社交平台 Btok 发布 2023 年全新战略路线图

作者:Btok近日,亚洲最大的区块链Web3社交平台Btok发布其2023年全新战略路线图,宣布即将进行全面战略升级,在原有的社交基础上.

1900/1/1 0:00:00