LEO:一文讀懂 Aleo：模塊化的零知識隱私應用平臺

作者：CYCLabs

Aleo致力于構建模塊化且合規的零知識隱私應用平臺，用于構建私有應用的最終工具包。其利用去中心化系統、零知識加密技術，保護Web上的用戶數據以實現這?目標。核心是為用戶與應用開發者提供無限的計算空間和絕對的隱私。使用Aleo，用戶可以訪問個性化Web服務世界，而無需放棄對其私人數據的控制。

Aleo的動機

1）現有的區塊鏈不足以滿足現實世界的應用

在以太坊上構建智能合約混合器和暗池的概念仍然存在缺陷。沒有隱私，這些應用程序無法完全保護用戶活動。它根本不起作用。對于公司而言，在全球?致的平臺上運行業務邏輯和數據的好處是引人注目的。然而，缺乏隱私是遵守操作指南的根本障礙。為了實現現實世界的采用，我們需要默認私有的區塊鏈。

2）新技術吸引了使技術價值主張復雜化的參與者

我們在許多生態系統中都看到了這樣的情況，包括我們的生態系統。例如，最近出現的閉源可擴展引擎是“許可區塊鏈”初始時代的第?波。毋庸置疑，供應商鎖定很少是?件好事，尤其是當它與“無信任”解決方案有關時。但是，通過構建完全由?家公司控制且僅可從?家公司使用的技術，根據定義，它是?種“可信賴”的解決方案。為了展示新技術的價值主張，解決方案應該是開源的且無需許可。

約60%的烏克蘭軍事硬件供應商接受加密貨幣支付:金色財經報道，烏克蘭數字轉型部副部長Alex Bornyakov表示，該國一直在使用加密貨幣購買頭盔、防彈背心、光學瞄準具等作戰裝備。根據Bornyakov的說法，大約60%的軍事硬件供應商能夠接受加密貨幣，隨著俄烏沖突的加劇，這對烏克蘭政府來說是非常有利的。

Bornyakov透露，烏克蘭已收到約1億美元的加密貨幣捐贈，其中有超過6000萬美元存入了烏克蘭加密貨幣交易所Kuna管理的主要基金。[2023/2/25 12:29:03]

3）私人網絡數據在Web服務發展中的重要性

在接下來的十年中，Web服務將發展成為真正的個性化服務，生活在更多的地方，而不僅僅是您的瀏覽器，并且可以對我們個人生活的每?個私密細節進行推理。已經有?些例子可以證明這?點。例如，在過去五年中，家庭智能助手的數量從零增長到50億聯網設備。我們的私人生活已經成為?種公共商品，隨著網絡服務變得更加個性化，我們需要重新思考我們如何控制我們的數據。

如果它在線上，則其他人擁有它。網絡的商業模式是提供免費服務以換取個人數據。這種模式已經過時，使用戶與提供商產生分歧。用戶被迫放棄他們的數據以換取他們想要的服務，以犧牲個人隱私為代價。提供商承擔管理用戶數據以提供服務的風險，面臨存儲、處理和報告的影響。它不必是這樣，也不應該是這樣。

摩根大通：將成立支付創新實驗室圍繞其區塊鏈子公司Onyx開展產品研發:11月11日消息，摩根大通周五表示，計劃在希臘雅典開設一個新的支付創新實驗室，該實驗室最初將招聘約50名員工，現有的一些投行和資管業務員工也將搬到新辦公室。

據悉，該實驗室計劃圍繞著摩根大通的Onyx和區塊鏈產品開展工作，聚焦于分布式賬本技術、人工智能和與支付系統相關的密碼學等領域。（MarketWatch）[2022/11/11 12:52:24]

相反，用戶應該能夠在來自提供商的透明算法上運行他們的數據。提供者不應需要存儲、處理或報告用戶數據。相反，他們應該能夠將他們的工作卸載給用戶并僅驗證響應。通過以這種方式提供服務，用戶和提供商都不會學到比他們應該知道的更多的東西，并且對個人數據的控制權仍然在用戶手中。

Aleo的目標

隱私在Web3?個完整的用戶體驗中?關重要。盡管公共區塊鏈提供了巨大的金融渠道，但交易透明且所有人都可以看到這?事實為剝削和套利留下了機會。

?種提議的解決方案是絕對隱私。但是通過完全混淆交易的所有內容，絕對隱私排除了可編程性。去中心化金融(DeFi)的例子表明了可編程性對于任何富有表現力的區塊鏈網絡的重要性。到目前為止，用戶不得不在兩者之間做出選擇：隱私或可編程性。

津巴布韋欲推出CBDC抑制通脹:金色財經報道，津巴布韋央行副行長Innocent Matshe周二在毛里求斯路易港附近的一次會議上接受采訪時表示，非洲第一個 CBDC 的緩慢采用不太可能影響津巴布韋的決策。Matshe表示，引入數字貨幣的準備工作仍在進行中。政府派出團隊訪問了世界各地的幾家中央銀行，研究他們的CBDC計劃，包括加納和中國。Matshe稱，并不期望它將與任何貨幣直接掛鉤，將保留所有選擇。

據悉，自今年初以來，津巴布韋貨幣相對于美元已貶值超過80%。[2022/11/2 12:10:13]

例如，Zcash為用戶提供了完整的隱私，但可編程性有限。以太坊提供強大的可編程性，但隱私有限。我們想要的是?個既私有又可編程的協議。這樣的協議將確保用戶不被利用，同時實現強大的鏈上應用程序和它們之間的可組合性。這就是我們構建Aleo的原因。

Aleo成果

1）AleoStudio

AleoStudioAleoStudio是第?個用于編寫零知識應用程序的IDE。

為了直觀、輕松地在Aleo上編寫私有應用程序，Aleo開發了?種名為Leo的編程語言。Leo的外觀和感覺就像?種傳統的編程語言。然而，在幕后，Leo要復雜得多。它抽象了低級加密概念，并可以輕松地將私有應用程序集成到您的堆棧中。

數字藏品周指數上漲至165.9點:金色財經報道，據同伴客數據顯示，上周（2022年6月13日-6月19日）國際周指數上漲3.65點至27.5點，國內周指數大幅回升152.0點至373.7點，數字藏品綜合價值周指數則上升63.0點至165.9點。

備注：數字藏品綜合價值指數是對國際及國內當月市場熱度最高的數字藝術品項目市場總銷售規模的綜合反映，以2021年11月份銷售額的30分之7為基數，指數基值為100。該指數由同伴客數據與鏈境Labs聯合研發。[2022/6/20 4:40:49]

對于開發人員來說，AleoStudio旨在簡化開發周期。在幕后，AleoStudio將應用連接到網絡，使應用和用戶可以輕松快速地在網絡上測試和發布交易。

為了簡化捆綁和共享工作，Leo構建了?個包管理器。AleoPackageManager是第?個用于零知識電路的包管理器。它包括團隊和組織等協作功能，可以輕松地與朋友和同事?起使用私人應用程序。此外，AleoPackageManager與AleoStudio集成，無需離開編輯器即可輕松導入和發布新包。

Aleo是第?個支持私有和可編程應用程序的去中心化開源平臺。

通過默認選擇退出隱私，Aleo實現了可持續、公平的Web3世界，可以滿足開發人員、消費者和企業的需求。

麥肯錫：預計2030年全球元宇宙相關支出將達5萬億美元:金色財經報道，國際調研機構麥肯錫（McKinsey）最新報告顯示，到2030年，企業和消費者與元宇宙相關的全球年度支出總額可能高達5萬億美元。

具體來看，麥肯錫預計，電子商務將占這總規模中的2萬億-2.6萬億美元，而虛擬廣告業務將占1440億-2060億美元。相比之下，去年圍繞人工智能的支出總額僅為930億美元。根據麥肯錫的報告，元宇宙將包括五種日常活動：游戲、社交、健身、商業和遠程學習。

麥肯錫的研究人員表示，到目前為止，各大品牌在虛擬世界中的實驗已表明，面向元宇宙消費者的營銷和廣告未來可能會如何發展。（央廣網）[2022/6/16 4:32:38]

Aleo使用零知識密碼學來實現隱私和可編程性。零知識密碼學和零知識證明允許第三方驗證?條信息的真實性，而無需我們直接透露它。Aleo將其用作名為ZEXE的系統的基礎。

在ZEXE中，用戶離線執行狀態轉換。這個過程產生?個證明，它被捆綁到?個鏈上交易中。該交易通過消費/創建鏈上記錄來更新系統狀態。與Zcash?樣，該系統為我們提供了強大的隱私保證，因為交易僅包含證明，而不包含生成證明的輸入。與以太坊?樣，ZEXE可以支持智能合約，使用戶能夠以預定義的方式交互或轉移價值。

舉?個具體的例子，讓我們考慮?個公共智能合約區塊鏈上的去中心化交易所。DEX是?種去中心化的應用程序，它使用戶無需尋找特定的買家或賣家即可在鏈上買賣代幣。與中心化版本不同，DEX使用戶能夠保持對自己資產的保管。

去中心化金融(DeFi)在2020年爆發式增長，使DEX成為人們關注的焦點。迄今為止，最大的鏈上DEXUniswap已在2021年處理了超過$25B的交易量。但在公共區塊鏈上，它們為揭示個人身份創造了機會。但是該系統的透明性使用戶容易被利用。

當然，你可以循環賬戶，讓你的真實身份和鏈上身份更難關聯。但是這樣做對于用戶來說是復雜且不方便的。即使在最好的情況下，仍然有很多方法可以將您的身份與鏈上假名地址相關聯。由于存儲在區塊鏈上的數據是永久性的，?旦建立關聯，就永遠不會被破壞。

Aleo將隱私應用于任何應用程序的最基本組件—用戶和交易。簡單地說：去中心化網絡上的每個應用程序都是?系列用戶以不同的復雜程度相互交易。因此，任何隱私解決方案都必須確保任何應用程序的這兩個原子組件都是私有的。對于DEX，這意味著讓交易對手匿名。這意味著用戶的活動不能綁定到Aleo區塊鏈上的特定地址或帳戶。通過隱藏任何交易的細節，Aleo確保即使是廣泛的金融活動輪廓或模式也不會泄露任何識別信息。

在Aleo的DEX上進行交易時，會根據匯率計算鏈外更新的賬戶余額。該交易通過向Aleo網絡提交零知識證明作為交易來完成，這表明已發生操作。單獨的證據不包括任何有關該操作是什么、在哪個交易所執行該操作或涉及誰的任何信息。然而，底層密碼學應該讓所有參與者相信交易已執行并且所有余額都正確更新。

例如，假設Alice想在基于Aleo的DEX上用代幣A交易代幣B。首先，Alice需要向DEX證明Ta擁有足夠的代幣A來完成交易。但是，由于可通過零知識證明顯示該信息，但這并不意味著泄露Ta的電子錢包余額或交易歷史。相反，Ta可以參考先前交易的鏈上證明以表明自己有足夠的余額進行交易。在這個過程中，交易所永遠不會知道：

Alice擁有的代幣數量

Alice從哪里得到這些代幣的

Alice是否以前曾在DEX上進行過交易

總而言之，這創建了?個DEX生態系統，該生態系統不僅對用戶來說是完全私有和可擴展的，而且還復制了以太坊等智能合約區塊鏈的?個關鍵特性：可組合性。

應用程序可以在開放平臺上以越來越復雜的方式相互插入的想法被稱為可組合性。可組合性是?個強大的概念，它支持以太坊的DeFi生態系統等。盡管Aleo確保完全隱私，但某些應用程序可以利用公共數據源使私有智能合約可組合。這種選擇退出的隱私模型消除了透明區塊鏈的許多成本提取后果。然而，它使用戶能夠控制他們與應用程序交互的時間和方式，同時只顯示他們選擇的內容。因此，Aleo支持可編程、可組合和私有的應用程序。

2）Leo語言

支持豐富應用程序的去中心化賬本受到三個限制。首先，應用程序被配置為具有有限運行時間、最小堆棧大小和限制性指令集的微型執行環境。其次，應用程序必須揭示其狀態轉換，從而使礦工能夠進行搶先攻擊和共識不穩定。第三，應用程序對正確性和安全性的保證很弱。

Aleo設計、實施和評估Leo，這是?種專為正式驗證的零知識應用程序設計的新編程語言。Leo提供了?個不受運行時間、堆棧大小或指令集限制的強大執行環境。除了提供應用程序隱私和減輕礦工可提取價值(MEV)外，Leo還實現了兩個基本屬性。首先，應用程序根據其高級規范進行正式驗證。其次，無論應用程序的大小如何，任何人都可以簡潔地驗證應用程序。

Leo是第?種引入測試框架、包注冊表、導入解析器、遠程編譯器、正式定義的語言和定理證明器的通用編程語言，零知識應用。

3）PoSW共識機制

簡潔工作證明(PoSW)是?種共識協議，它生成系統有效性證明，作為執行工作證明的有用副過程。

編碼謂詞驗證將包含在給定塊更新中的交易，同時確保底層證明計算仍然是一個時間鎖定難題。

PoSW是比特幣基于SHA的難度調整算法的變體，主要區別在于底層計算不是任意的哈希函數，而是知識證明。這使得PoSW解決方案不僅可以充當PoW以確保系統共識，還可以驗證給定區塊中的交易包含。PoSW在異步模型中工作，并假設大多數礦工是誠實的。

總結

Aleo項目主要目的在于推進網絡應用安全隱私層級，通過使用Leo語言編譯的IDE——AleoStudio，來推廣零知識證明在實踐領域內的應用。總的來說順應區塊鏈發展的潮流，且目前實現成果尚佳，融資金額也令人滿意。唯一美中不足的地方在于它的共識機制，PoSW在筆者看來還有待考察，它的多數誠實假設有些隱憂。

參考文獻1.Aleo官方：Aleo|WhereApplicationsBecomePrivate.2.CypherHunter:Aleo—CypherHunter3.Leo白皮書：https://eprint.iacr.org/2021/651.pdf

Tags：LEOALEO區塊鏈DEXBulleonaleo幣2023最新官方消息區塊鏈是什么工作DEXSHARE

ICP