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

作者：CYCLabs

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

Aleo的動機

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

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

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

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

第113次以太坊開發者會議：Dencun后以太坊下一個CL升級將以E開頭命名:7月15日消息，Galaxy研究副總裁Christine Kim發文總結第113次以太坊核心開發者共識會議，開發者討論了可能降低驗證者流失限制，即信標鏈上驗證者進入和退出的速率，以減緩驗證者集規模的增長，并及時完成Deneb/Cancun（Dencun）升級。首先，關于Deneb測試升級。Devnet#7是EIP4844的專用測試網絡，已經活躍了兩周。到目前為止，幾乎所有EL和CL客戶端組合都已經過測試，但Erigon（EL）客戶端除外。用于Devnet#7跟蹤Blob數據的區塊鏈瀏覽器已更新。至于Devnet#8，其中將包括對整個Dencun EIP功能套件的測試，而不僅僅是EIP4844。一旦客戶端版本通過Hive測試，開發者將首先啟動本地測試網，然后再啟動Devnet#8。在進行Dencun測試的同時，開發者正在繼續探索通過引入blob交易對以太坊點對點層進行不同的優化。

開發者還討論了Dencun之后的以太坊升級命名，坎昆之后下一個EL升級將被稱為布拉格，CL升級則約定以恒星的名稱命名。鑒于Deneb之后的CL升級將是信標鏈的第五次硬分叉升級，CL升級將以字母E開頭，目前最受開發者歡迎的似乎是Electra。[2023/7/15 10:56:44]

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

BTC全網未確認交易筆數為150303筆:金色財經報道，根據btc.com顯示，BTC目前全網未確認交易筆數為150303筆，自07月13日00:00起至今筆數已減少約0%。[2023/7/14 10:54:11]

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

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

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

過去兩周，ARK基金累計減持約1650萬美元的Coinbase股票:金色財經報道，數據顯示，過去兩周（6月11日-6月25日），ARK方舟基金累計減持268132股Coinbase股票(COIN)，按當前價計算，價值約1649萬美元。截止周五收盤，COIN報61.5美元。[2023/6/25 21:58:13]

Aleo的目標

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

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

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

Aleo成果

1）AleoStudio

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

Mysten Labs聯創：SUI沒有空投計劃:金色財經報道，針對一推特用戶發表的“如果賺取SUI空投”的一系列推文，Sui開發團隊Mysten Labs聯合創始人兼首席產品官Adeniyi Abiodun表示：“別再傳播謠言了，沒有SUI空投。沒有此類計劃或永遠不會有空投。”

此前消息，Sui Network在披露主網將于第二季度推出時，曾表示尚無正式的空投計劃。[2023/4/10 13:54:29]

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

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

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

數據：44,485,413枚DOGE從未知錢包轉移到Coinbase:金色財經報道，Whale Alert數據顯示，44,485,413枚DOGE (價值約5,771,679美元) 從未知錢包轉移到Coinbase。[2022/10/30 11:58:11]

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

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

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區塊鏈以太坊aleo幣官網最新消息Kamaleont區塊鏈技術通俗講解以太坊最新價格人民幣

狗狗幣價格