ARK:ZK 賽道融資最大的項目 Aleo 研究報告

來源：Web3CN

一、項目簡介

Aleo是第一個采用零知識證明技術、提供完全私有應用程序的Layer1區塊鏈，為用戶提供具有絕對隱私的無限計算。Aleo通過構建一個默認為私有、開源的區塊鏈，解決區塊鏈隱私保護的缺點。用戶使用Aleo，可以訪問真正個性化的Web服務世界，在得到隱私保障同時又可以管理自己的數據，并且享受高效、安全的網絡服務。

兼顧隱私性和可編程性是Aleo最大的創新之處。

二、項目愿景

Aleo團隊認為，在下一個十年，Web服務將無處不在，它將不再只是局限于瀏覽器，還存在更多的地方，并且對人們生活的每個私密細節都在進行智能計算。而人們的個人生活已經成為一種“公共商品”，不論生活在哪里都隨著網絡服務的發展變得更加個性化。因此，人們和自己的數據的關系，人們如何管理自己的數據是未來每個人都應思考的問題。

信息泄露、數據隱私問題是當前互聯網頻繁看到的現象，Aleo的愿景就是解決這一問題，同時構建真正個人的和隱私的網絡用戶體驗。Aleo大力倡導區塊鏈生態系統中的隱私技術，并提供在網絡應用程序中體現隱私技術的服務平臺，以此增加世界各地的數字自由和訪問。AleoCEOAlexPruden稱：為世界提供安全和可擴展的應用程序。

三、特色和優勢

Aleo和其它公鏈的不同且獨特之處在于對隱私的保護和鏈上可擴展性。當前區塊鏈搭載的智能合約有兩個很大的限制：

Zeko Labs與O(1) Labs、dcSpark合作推出L2 ZK Rollup生態系統Zeko:7月27日消息，Zeko Labs 與 Mina 開發團隊 O(1) Labs 和 dcSpark 合作，推出專門為零知識應用程序（zkApps）設計的 L2 ZK Rollup 生態系統 Zeko，由 Mina Protocol 進行結算，Zeko 將允許開發人員大規模構建具有可編程隱私性的去中心化應用程序。[2023/7/27 16:01:25]

它們在設計上是完全公開、透明的，因此不允許隱私的存在；

它們不能擴展到數百萬、更不用說數十億的用戶，意味著無法支持億萬用戶級別的線上實時游戲或活動。

針對上述現象，Aleo網絡基于零知識證明密碼學，解決當前公鏈既保護隱私又支持處理海量數據的難題。

既解決當前互聯網數據泄露的困境，又完善當前區塊鏈數據信息公開透明的缺點，同時還實現和當前互聯網平臺相媲美的海量數據實時處理及豐富的可擴展性，這是Aleo項目為市場關注的特別之處。

下圖能夠更直觀、清晰地了解Aleo網絡的特色：

四、發展歷史

2019年，Aleo成立

2020年8月19日正式對外官方宣布，推出開發者版本

2021年年初，推出官方AleoDiscord服務器

2021年4月20日，A輪融資2800萬美金

zkSync推出用于構建定制zkRollup的模塊化開源框架ZK Stack:6月26日消息，zkSync 宣布推出用于構建定制 zkRollup 的模塊化開源框架 ZK Stack。ZK Stack 將賦予開發人員完全的自主權，從選擇數據可用性模式到使用項目自己的 Token 去中心化排序器。[2023/6/26 22:01:16]

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工作。

ZK Rollup擴容方案StarkNet Alpha上線以太坊主網:11月29日消息，StarkWare推出的以太坊Rollup擴容方案StarkNet Alpha今日上線以太坊主網。StarkNet是一個無需許可的以太坊L2網絡去中心化Rollup擴容方案。StarkNet允許任何dApp實現其計算規模，而不會影響可組合性和安全性，它依賴于安全和具可擴展性的加密證明系統——STARK。StarkNet建立在Cairo編程語言之上，Cairo和STARK均由 StarkWare內部開發，并為生產級應用程序提供支持。除其他功能外，StarkNet Alpha支持通用計算智能合約，支持與其他StarkNet合約以及通過 L1<>L2 消息與L1合約的可組合性。StarkNet Alpha在Rollup模式下運行，所有狀態差異數據都在鏈上發送。

StarkNet Alpha上線以太坊主網意味著開發者可以在StarkNet上部署他們的合約，用戶可以向這些合約發送交易，每個StarkNet區塊都在鏈上被證明和驗證，應用程序獲得無限擴展并保持L1安全性。這是一個Alpha版本，該網絡仍在開發中。團隊不斷添加功能、修復錯誤并對其進行改進。在接下來的幾周和幾個月內，團隊將在以下功能上升級Alpha：合約升級機制；收費機制；添加系統調用（get_block_number、get_block_timestamp 等）。[2021/11/30 12:39:57]

目前Aleo整個團隊括財務和法律方面專業人才在內有30多人。

以太坊ZK Rollup擴容方案Hermez Network正在開源零知識證明模塊:據官方消息，以太坊ZK Rollup擴容方案 Hermez Network表示，正在開發一個名為Rapidsnark新的zk-SNARKs零知識證明模塊，目前已經發布并開放了源代碼。[2021/2/2 18:43:40]

六、融資信息

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輪融資是零知識證明賽道有史以來規模最大的一輪融資

V神：ZK rollups是目前為止最好的解決方案:推特網友Toast Of Crypto提問稱，為什么要推動或強迫人們遠離理想的Layer 2擴容協議？以太坊創始人V神對此回復稱，因為ZK rollups是最好的解決方案，直到今年晚些時候與EVM兼容的Optimistic rollups出現，eth2將花費更長的時間。（注：ZK rollups是一種混合擴展方法，通過智能合約和零知識方法將鏈上安全性和第二層網絡結合在一起。）[2020/7/28]

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啟發的靜態類型編程語言，專為編寫私有應用程序而構建。它是第一個為通用零知識應用程序引入測試框架、包注冊表、導入解析器、遠程編譯器和定理生成器的已知編程語言。

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網絡在現實應用場景時處理海量數據是否優于其它網絡、費用如何平衡，這些都有待市場驗證。

Tags：LEOALEOSTAARKaleo幣價格aleo幣2023年消息StarFish OSark幣和木頭姐有什么關系

TRX