Aleo項目研報_LEO

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，是目前零知識證明賽道中單筆最大的融資數額

Ancilia：ParaSpace被攻擊的根本原因發生在0xddde3合約的函數scaledBalanceOf()上:金色財經報道，據 Web3 網絡安全公司 Ancilia 報道，NFT 借貸協議 ParaSpace 被攻擊的根本原因發生在合約 0xddde38696fbe5d11497d72d8801f651642d62353 的函數 scaledBalanceOf() 上，該函數用于通過 supply() 函數計算用戶的抵押品。然而，通過在函數 getPooledApeByShares() 中操縱 APE 代幣的數量可以使 scaledBalanceOf() 返回一個大額值。用戶可以擁有大量抵押品，并使用它來借更多的資產。[2023/3/17 13:10:57]

由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點

Grayscale、SEC將在3月就GBTC ETF轉換發表口頭辯論:金色財經報道，根據日期為 1 月 23 日的一份法庭文件，Grayscale 和美國證券交易委員會（SEC）很快將在法庭上展開他們關于將 Grayscale Bitcoin Trust 轉換為交易所交易基金的口頭辯論。SEC 決定拒絕 Grayscale 的一項提議，該提議允許該公司在 2022 年 6 月將其比特幣信托基金轉換為 ETF。這些口頭辯論現在定于美國東部時間 3 月 7 日上午 9 點 30 分在哥倫比亞特區上訴法院進行。Grayscale 指出，最初預計最早將在今年第二季度聽取爭論。辯論小組的組成將在該日期前三十天公布。最終簡報將于 2 月 3 日到期，比口頭辯論日期早一個多月。

自 2021 年 10 月以來，Grayscale 一直試圖將其 Grayscale Bitcoin Trust (GBTC) 轉換為交易所交易基金。該公司當時選擇推進其提議，因為 SEC 剛剛批準了第一只比特幣期貨 ETF。盡管其他比特幣期貨 ETF 很快獲得批準，但 Grayscale 的 GBTC 提議描述了比特幣現貨 ETF。因此，它面臨更嚴格的監管審查。[2023/1/25 11:28:55]

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

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

Whale Alert：沉寂超6年以太坊地址被激活，包含1,947枚ETH:2月21日消息，據 Whale Alert 監控數據顯示，北京時間凌晨 3 時 59 分，一個沉寂長達 6.5 年的以太坊地址被激活，該地址包含 1,947 枚 ETH（價值約合 516 萬美元），交易哈希為：0xced477b5688360bf264218a25b568b40b0d46a1dbe8b390558b084c7b872721d。[2022/2/21 10:05:50]

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

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

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

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

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

開發生態

Whale Alert將不再播報疑似欺詐性項目HEX的鏈上動向:加密貨幣巨鯨動向監測服務Whale Alert發推稱：“我們通常不會主觀評論某個項目，但我們已經決定將HEX從Whale Alert服務中移除，因為它不符合我們對區塊鏈的看法。（建議投資者）一定要做好調查，警惕過于重大的承諾。”注：此前，多家行業媒體及分析師已提醒投資者主題，HEX疑為欺詐項目。[2020/5/4]

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和用戶非常在乎，也實施了很多激勵措施并且獲得非常好的成績，例如

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

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

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

云計算公司Salesforce成為區塊鏈研究所(BRI)的12個新成員之一:該研究所致力于研究區塊鏈戰略、應用程序和實施障礙，已經擁有政府實體、大型科技公司、金融行業參與者以及微軟、IBM、加拿大銀行和百事可樂等全球公司的會員資格。[2018/4/25]

而以上種種措施為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點，才更有機會普及化

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

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

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

所以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的時候市值也是這附近了

Tags：LEOALEOCALSCALEWLEOKamaleontPascal CoinGrayscale Bitcoin Trust tokenized stock FTX

Polygon