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

作者：CYCLabs

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

Aleo的動機

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

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

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

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

Charles Hoskinson否認參與有爭議的“以太坊演講”:金色財經報道，Cardano創始人、以太坊聯合創始人之一Charles Hoskinson在社交媒體反駁了有關他參與有爭議的“以太坊演講”的說法。該演講曾暗示以太坊受到監管機構的優惠待遇，而其他加密貨幣則面臨審查。這些指控源于一位關注者分享了據稱由SEC前公司財務總監William Hinman發送的電子郵件的屏幕截圖。據報道，這些電子郵件包含對Hinman著名演講的討論，他在演講中表示以太坊不應被歸類為證券。

作為對這些指控的回應，Hoskinson迅速否認有任何參與，并澄清了事件的時間表。他強調，這些電子郵件和其他引用項目的日期是2018年及之后，而他早在2014年6月就離開了以太坊團隊。[2023/8/5 16:20:20]

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

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

烏克蘭要求當地加密貨幣企業提供財務信息:金色財經報道，烏克蘭國家銀行(NBU)要求四家當地加密貨幣公司Kuna、CoinPay、GEO Pay和Qmall提供2023年前兩個季度的財務報表。NBU要求加密貨幣企業在7天內提供財務報表。

根據一份文件，NBU還要求加密貨幣企業提供運營量數據以及資金接收和轉移信息。NBU還要求烏克蘭加密貨幣公司從2023年初開始為所有賬戶發布報表。[2023/8/1 16:11:53]

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

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

Aleo的目標

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

BTC跌破28500美元:金色財經報道，行情顯示，BTC跌破28500美元，現報28493.5美元，日內跌幅達到2.6%，行情波動較大，請做好風險控制。[2023/5/1 14:37:04]

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

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

Aleo成果

1）AleoStudio

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

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

Magic Eden推出比特幣NFT市場:金色財經報道，NFT市場Magic Eden正在推出一個完全審核的比特幣NFT市場。Magic Eden上的交易商將能夠購買銘文，或在比特幣網絡內的satoshis上鑄造的不可偽造的代幣。該公司正在整合對比特幣錢包Hiro和Xverse的支持，以允許交易者列出、購買和出售Ordinal NFT。

為了啟動其市場發布，Magic Eden正在與流行的Ordinal系列Taproot Wizards, Pepes和Bitcoin Bandits合作，幫助其用戶進入基于比特幣的NFT。市場還將包括有關NFT的信息，如序數稀有度和銘文編號。[2023/3/22 13:18:00]

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

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

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

數據：過去一周數個主要活躍錢包以及休眠錢包開始轉移XRP:7月23日消息，數據提供商Santiment在最近的一條推文中表示，在過去的一周中，XRP已經達到了幾個重大的里程碑，例如其中有幾個主要的活躍錢包開始移動他們的XRP。根據Santiment分享的圖表，幾個休眠的XRP錢包也開始轉移他們的加密貨幣。

與此同時，據Whale Alert監測，在過去兩天里，約有3.75億枚XRP轉移。（U.Today）[2022/7/23 2:33:25]

通過默認選擇退出隱私，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區塊鏈以太坊LEOPARDGALEON區塊鏈專業好不好就業以太坊銀行幣值錢嗎

萊特幣價格