來源:Web3CN
一、項目簡介
Aleo是第一個采用零知識證明技術、提供完全私有應用程序的Layer1區塊鏈,為用戶提供具有絕對隱私的無限計算。Aleo通過構建一個默認為私有、開源的區塊鏈,解決區塊鏈隱私保護的缺點。用戶使用Aleo,可以訪問真正個性化的Web服務世界,在得到隱私保障同時又可以管理自己的數據,并且享受高效、安全的網絡服務。
兼顧隱私性和可編程性是Aleo最大的創新之處。
二、項目愿景
Aleo團隊認為,在下一個十年,Web服務將無處不在,它將不再只是局限于瀏覽器,還存在更多的地方,并且對人們生活的每個私密細節都在進行智能計算。而人們的個人生活已經成為一種“公共商品”,不論生活在哪里都隨著網絡服務的發展變得更加個性化。因此,人們和自己的數據的關系,人們如何管理自己的數據是未來每個人都應思考的問題。
信息泄露、數據隱私問題是當前互聯網頻繁看到的現象,Aleo的愿景就是解決這一問題,同時構建真正個人的和隱私的網絡用戶體驗。Aleo大力倡導區塊鏈生態系統中的隱私技術,并提供在網絡應用程序中體現隱私技術的服務平臺,以此增加世界各地的數字自由和訪問。AleoCEOAlexPruden稱:為世界提供安全和可擴展的應用程序。
三、特色和優勢
Aleo和其它公鏈的不同且獨特之處在于對隱私的保護和鏈上可擴展性。當前區塊鏈搭載的智能合約有兩個很大的限制:
Sismo Protocol在alpha網絡發布“Ethereum Power Users ZK Badge”:7月16日消息,Sismo Protocol在推特上表示,其alpha網絡已發布“Ethereum Power Users ZK Badge”,這是其第一次嘗試新的治理機制,基于聲譽和保護隱私的投票。可參與鑄造的合格帳戶組(176294個地址)由六個子組合并而成。官方表示,希望Ethereum Power Users ZK Badge所有者成為一個社區,使用徽章作為協調代幣。[2022/7/16 2:18:00]
它們在設計上是完全公開、透明的,因此不允許隱私的存在;
它們不能擴展到數百萬、更不用說數十億的用戶,意味著無法支持億萬用戶級別的線上實時游戲或活動。
針對上述現象,Aleo網絡基于零知識證明密碼學,解決當前公鏈既保護隱私又支持處理海量數據的難題。
既解決當前互聯網數據泄露的困境,又完善當前區塊鏈數據信息公開透明的缺點,同時還實現和當前互聯網平臺相媲美的海量數據實時處理及豐富的可擴展性,這是Aleo項目為市場關注的特別之處。
下圖能夠更直觀、清晰地了解Aleo網絡的特色:
四、發展歷史
2019年,Aleo成立
2020年8月19日正式對外官方宣布,推出開發者版本
2021年年初,推出官方AleoDiscord服務器
ZK Rollup訂單簿DEX ZigZag的NFT Swap功能將上線zkSync主網:5月13日消息,以太坊二層ZK Rollup訂單簿DEX ZigZag Exchange宣布NFT Swap功能將上線zkSync主網。[2022/5/13 3:14:49]
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日,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的DEX ZigZag上線zkSync與Polygon跨鏈橋測試版:3月14日消息,基于 ZK Rollup 的訂單簿式 DEX ZigZag 宣布上線 zkSync 與 Polygon 跨鏈橋的測試版。該測試版現已支持 zkSync 上 ETH 和 Polygon 上 WETH 的小額跨鏈轉賬測試,待代碼穩定后會增加測試額度并進行 UI 開發。[2022/3/14 13:55:10]
目前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輪融資是零知識證明賽道有史以來規模最大的一輪融資
V神確認參加Polygon ZK day:12月3日消息,據Polygon Chinese發布推特稱,Vitalik確認參加Polygon ZK day,V神將與Polygon的粉絲一起分享關于SNARKs,STARKs 以及關于零知識證明的應用。[2021/12/3 12:48:59]
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網絡在現實應用場景時處理海量數據是否優于其它網絡、費用如何平衡,這些都有待市場驗證。
區塊鏈Web3社交平臺Btok宣布全面戰略升級,在原有的社交基礎上推出去中心化錢包BtokWallet和社交型聚合交易BtokSwap.
1900/1/1 0:00:00作者:Frank,ForesightNewsAlloProtocol是一個由Gitcoins推出的開源、去中心化、模塊化的數字公共產品.
1900/1/1 0:00:00以太坊基金會表示,計劃于今年11月13日至19日在土耳其伊斯坦布爾舉行Devconnect大會,為期一周.
1900/1/1 0:00:00作者:VeDAO 最近DeGame發布了2023年度Q1的GameFi賽道分析報告。VeDAO研究院觀察到報告中有一些有趣的數據,折射出GameFi行業當前發展狀況,同時也對賽道的未來做出了一定.
1900/1/1 0:00:00據鏈上數據顯示,MemeCoin項目PEPE及LADYS巨額獲利地址均被對應Token合約部署者列入黑名單,無法售出獲取利潤。當前該地址所持PEPE及LADYS價值總和接近800萬美元.
1900/1/1 0:00:00Web3數據驅動影響者網絡AkiProtocol今日宣布以4000萬美元估值完成種子輪融資,AkatsukiWeb3基金Emoote、MaskNetwork領投.
1900/1/1 0:00:00