Aleo項目研報

1.項目簡介

背景

2.項目詳情

產品架構

經濟系統

3.個人見解

項目簡介

Aleo架構了用戶體驗良好，具備隱私性，良好可編輯性，高性能的區塊鏈網絡，並提供了完全隱私化的應用程序开發平臺，以通過去中心化的系統和零知識證明網絡來保護網絡上的用戶數據。用戶就可以進入一個真正個性化的網絡服務世界，而不必放棄對其私人數據的控制

背景

公司由 Howard Wu、Michael Beller、Collin Chin 和 Raymond Chu 於 2019 年正式成立

該團隊由來自谷歌、亞馬遜和 Facebook 等公司以及加州大學伯克利分校、約翰霍普金斯大學、紐約大學和康奈爾大學等研究型大學的世界級密碼學家、工程師、設計師和運營商組成

目前Aleo公布的融資輪有兩次，分別是A和B輪

A輪融到了28milion美金

本輪融資由 Andreessen Horowitz (a16z) 領投，Placeholder VC、Galaxy Digital、Variant Capital 和 Coinbase Ventures 參投。其他值得注意的投資者包括 Polychain Capital、Slow Ventures、Dekrypt Capital、Scalar Capital、a_capital、zkValidator、Balaji Srinivasan 和由 Joseph Lubin 創立的新風險基金 Ethereal Ventures

而B輪融資是在測試網的亮眼表現後，融到了200milion，是目前零知識證明賽道中單筆最大的融資數額

由Kora Management LP和SoftBank Vision Fund 2牽頭的 B 輪融資中籌集了 2 億美元， Tiger Global和Sea Capital參投、三星 Next、 Slow Ventures和Andreessen Horowitz (a16z)，最終對該公司的估值為 14.5 億美元。繼公司於 2021 年 4 月由 a16z 領投的 2800 萬美元 A 輪融資之後，Aleo 的 B 輪融資是零知識行業有史以來規模最大的一輪融資

項目詳解

Aleo產品結構

• 隱私網絡結構

區塊鏈協議面臨的一個很大的挑战是隱私和可編程性之間的權衡。到目前為止，大多數進入市場的項目都遵循以下兩個軸

而Aleo 通過構建的zkCloud 體系就滿足了對可編程隱私的需求

在整個隱私網絡中，最重要的就是屏蔽身份和屏蔽交易

而Aleo構建的一個叫zkCloud的鏈下環境就是在不犧牲計算性能的前提下做到以上2點

zkCloud描述了一種點對點、去中心化的隱私計算模式，在這種模式下，被屏蔽的身份可以直接（如資產轉移）或以編程方式（通過智能合約）進行互動。在典型的公共區塊鏈中，程序執行發生在由每個網絡節點運行的全局“虛擬機”（VM）中的鏈上。因此網絡中的每個節點都必須重新計算（並集體同意）給定程序的每個步驟。這不僅效率低下，而且會降低速度並增加最終用戶的成本。而且由於此 VM 必須能夠訪問相關信息，因此隱私無法等到保護

zkCloud 通過將應用程序運行時與區塊鏈維護的狀態分離來克服這些限制。結合零知識遞歸證明Zeke，以及Aleo的共識機制PoSW，這使得 Aleo 能夠實現完全的可編程性和隱私性，以及相對於鏈上 VM 模型的更高交易吞吐量（有點類似zk-rollup）

PoSW 是一種類PoW的共識機制，是比特幣基於 SHA 的難度調整算法的變體，主要區別在於底層計算不是任意散列函數，而是知識證明。使得 PoSW 解決方案不僅可以充當 PoW 以確保系統共識，還可以提供給定區塊中包含交易的驗證，讓算力不被浪費在沒有意義的計算上且邏輯上來說也可以讓性能更進一步優化

而在後續的測試網中，也證實了這個交易吞吐量是很不錯的。測試途中，最快的礦工每秒計算是大概 10k 證明，整個網絡哈希率達到每秒超過 20k 證明的峯值（意思就是TPS大概10k-20k）

但實際的TPS很可能與測試網的TPS有落差，因此還是需要主網上线了才能知道真實的性能

另外，zkCloud 中運行的程序是鏈下進行的，所以只要在計算結束時提交屏蔽交易就沒有關系。與像以太坊這樣的鏈上執行模型（其中程序運行時間受“gas limit”限制）相比，這為更多種類的應用程序打开了更多可能性，同時又不會消耗更多的交易手續費

因此總結下來，zkCloud通過將執行與狀態分離成鏈下和鏈上，並通過屏蔽交易僅將執行過程的證明提交給區塊鏈，以此zkCloud 使 Aleo 能夠實現私有、可編程、高性能網絡的目標

• 开發生態

Aleo為了讓發者體驗更好，所以構建了對零知識證明應用开發更友好的程序語言Leo，而Leo的开發環境叫Leo Playground，同時也开發了一個和Github一樣的免費共享常用代碼環境Aleo Package Manager (PM)以及隱私Web 應用程序的 IDE Aleo Studio（Leo的集成式應用程序开發環境）

Leo 是一種受 Rust 啓發的靜態類型編程語言，專為編寫私有應用程序而構建，並且Leo 旨在消除盡可能多的密碼知識要求，而且將有一個非常簡單的學習曲线

而Aleo不只是讓开發者的環境友好，它們也推出了开發者激勵計劃，贈款接受者不僅是生態系統的貢獻者，而是在原始贈款範圍之外繼續在Aleo社區中發揮作用的人們

所以後續也推出了測試網的激勵措施，獎勵那些接受和合並的 snarkOS 和/或 snarkVM 存儲庫的任何PR

總而言之，Aleo對於最开始Builders和用戶非常在乎，也實施了很多激勵措施並且獲得非常好的成績，例如

1. 社區總共在不同的時間點運行了超過 10,000 個節點，產生上百萬個零知識證明

2. 十幾個人確定或提交了對各種錯誤的修復，並增加了對超出團隊最初交付的附加功能的支持

3. 識別並解決了與共識機制相關的問題。例如從 Nakamoto 共識轉移到了一種稱為 ASERT 的算法，並修復了作為 PoSW 的一部分如何生成證明的一個小但關鍵的錯誤

而以上種種措施為Aleo發展初期的生態帶來巨大的幫助，因此Aleo 資助計劃的資金從 100 萬美元擴大到了 500 萬美元，為2022年晚些時候推出 Aleo 網絡的主網做准備。Aleo團隊也表示他們正在努力开發新的工具和基礎設施，以加速零知識證明生成的性能並與社區合作，測試零知識協議的新設計

經濟系統

Aleo 的代幣經濟學旨在以盡可能簡單的方式調整系統中所有利益相關者的激勵措施，以服務於 Aleo 網絡

Aleo中的原生代幣單位被稱為“Aleo積分”，這些積分額度用於支付交易費用（類似於以太幣）

Aleo積分額度是可以訪問零知識計算的關鍵計算資源，因此Aleo積分是市場為一個任意程序的零知識證明的價值定價的自然方式，該資產的價格應該大致代表對零知識計算的整體需求

另外，PoSW挖礦導致的Aleo與以太坊等其他網絡的一個關鍵區別是，Aleo網絡上的費用是可以事先計算的。在Aleo上，不存在 "Gas "的概念，這也是使程序在以太坊上運行的成本不可預測的原因。而在Aleo上，每個人都提前知道運行一個特定的程序需要多少Aleo積分

在啓動時，Aleo信用額度將在早期支持者、建設者和社區成員以及一個基金會或其他實體之間分配，該實體將提供贈款並確保網絡的持續發展。從啓動時开始，新的Aleo積分將被鑄造出來，並通過區塊獎勵分配給我們網絡上的礦工

下表總結了整個Aleo積分的經濟模型細節，每個區塊時間約為20秒

Aleo積分將會被設計成通脹的模式，並且對於網絡的早期採用者獎勵更大，因為這將有助於確保我們盡早實現網絡的高度安全性。Aleo在啓動時設定了相對較高的通貨膨脹釋放率，然後在前十年每3年減半。第九年之後，最終減半將導致每個區塊同時獎勵 12.5 個 Aleo 積分釋放，以確保網絡的安全性以及它將支持的經濟的穩定性

Aleo覺得可預測的低通脹率對經濟是健康的，如果一項資產純粹是通貨緊縮，那么該資產的所有者就會被激勵持有它而不是花費它。雖然對於純粹的價值是好事，但對於解鎖真實用例的交換媒介來說，是不切實際的，因為如果人們被激勵持有（而不是花費）這些積分，那么對這些應用程序的需求就會下降，並且根據定義，提供進入這個生態系統的積分的價值也會下降

Aleo 積分的通膨率

前期大部分Aleo都會分布在礦工手上，但預計Aleo積分會慢慢被換手到Aleo用戶上

並且前三年的通膨率大概在12~16%（用於鼓勵前期節點挖礦），目前Aleo的減少供給的方式只有作為網絡的手續費銷毀掉

個人見解

Aleo的產品價值捕獲

一句話來說就是在保證了隱私性和網絡性能的前提下，讓區塊鏈網絡保持原本的可組合性，並且讓用戶和开發者體驗更佳

而這一段話所蕴含的事情為什么那么有價值呢？你可以看看我下面的解釋
隨着我們待在網絡的時間越來越長，整個網絡的數據採集呈現指數型的增長，甚至未來我們還會發展成元宇宙的生活模式，而這些數據將會產生非常巨大的經濟價值。但目前Web2時代的數據越來越集中形成數據量壟斷，會對數據隱私和審查構成威脅，同時抑制了增長，抑制創新並損害消費者福利

而目前的區塊鏈技術就可以做到默認透明的效果，所以用戶都可以平等地訪問網絡內的數據，從而防止單一個體壟斷用戶數據，但它卻會為其他網絡參與者創造了從我們交易中披露的信息中獲利的機會，如果只是良好地使用這種數據可訪問性很好，但通常更多的是惡意使用，例如比較常見的DEX搶先交易和MEV攻擊，因此完全透明的模式仍然會造成信息不對稱，並對其中的用戶產生成本

**DEX搶先交易：**機器人掃描區塊鏈上的未決交易以尋找套利機會。例如，機器人可能會偵測到一個機會，通過在去中心化交易所的大宗交易之前購买或出售來獲利。通過提供稍高的氣體價格，這些機器人激勵礦工在已經掛起的DEX交易之前執行他們的交易。這導致利潤轉移到前面的機器人，從而犧牲了最初的交易者

MEV攻擊： MEV指的是生態系統礦工通過重新排序mempool來執行自利交易，可以從網絡中提取的利潤量。例如，礦工可能認識到，mempool中的待定交易包括DEX上一個代幣對之間的相當數量的交易。有了這種認識，礦工就可以最優化地安排他們的交易。因為礦工負責訂購交易，他們可以確保他們的交易在最有利可圖的時間發生

但如果直接做到完全隱私的話，又會讓开放網絡最好的好處之一可組合性消失，這種可組合性正好是Defi生態，DAO生態或其他智能合約最核心最強大的功能

因此只公开特定需要的信息並且保證隱私性的零知識證明體系誕生了，零知識證明允許第三方驗證某條信息的真實性，而我們不需要直接揭示它，但這又引發了一個問題就是生成的成本太高，畢竟很少人會接受一個效率低下並且成本高昂的系統

而Aleo 的特定零知識解決方案Zexe可以再解決上述所有問題的前提下，又確保我們不需要接受性能權衡的難題，可見Aleo產品的野心和其價值捕獲

綜合評價

Aleo目前是我看過隱私賽道裏產品風格最接近我心裏預期的，因為目前隱私項目中缺乏的絕對不是隱私性，而是其隱私帶來的高成本和更復雜的流程帶來的用戶體驗不佳，因而隱私賽道很難普及化
所以我認為目前的隱私賽道產品應該至少符合以下2點，才更有機會普及化

1. 具備原生且可選擇的隱私性（用戶無須做任何額外操作來保護自己的隱私）

2. 解決零知識證明體系造成的高成本和網絡效率低下

因為老實說隱私這方面很難得到大家的關注，因為實在很難體感到隱私的重要性，所以用戶們只有在不影響原有的體驗下才選擇保護自己的隱私，因為大部分用戶心裏更傾向的大概是成本>方便>效率>隱私

所以Aleo採用的zkCloud零知識證明體系目前來說完美解決了以上的問題，而且經過測試網的測試也被驗證了能有10000~20000的TPS，所以以隱私產品的角度來說Aleo對我來說幾乎是接近滿分的

而Aleo目前明顯走的是Layer1的隱私公鏈路线，所以撇开隱私屬性，公鏈最重要的就是生態發展，而它自制的开發工具和程序語言以及生態發展的激勵計劃是會對生態开發有很大的幫助，但如果要選擇像Solana或是Avax那樣不走EVM兼容的路线，可能生態這方面將會是Aleo最大的挑战

所以老實說我個人更偏向於它走向EVM兼容的路线，可以直接能獲得目前市面上最多用戶基數的Dapp生態，再慢慢引流來自己公鏈裏的原生生態，可能整個生態發展會快很多，不只是吸引了用戶，也吸引开發者因為用戶來开發Dapp，形成一個良好的網絡效應

不過Aleo目前獲得了200milion左右的B輪融資，背後有資本的推助其實對生態开發還是很有看頭的

但目前Aleo其實也沒有更多地表示他們生態發展方面的資訊，只有公开了生態激勵和开發工具而已，所以可以持續關注Aleo這方面的資訊

總結來說，Aleo的賽道是處於Beta中的Alpha也就是公鏈賽道裏的隱私賽道，並且隱私產品這方面對我來說做得幾乎滿分，並且經過測試網下來TPS和其他數據都表現得非常好，團隊也積極地從測試中吸取經驗改進，融資背景也相當地好，不需要擔心生態开發錢不夠的問題?，所以綜合下來Aleo這個項目非常值得關注

但需要注意的是很可能發行價上來市值會非常高，融資都融了2億了，VC們還給到了14.5億的估值，所以大概率上所或是ICO的時候市值也是這附近了

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。