LEO:全面介紹新一代隱私公鏈Aleo_區塊鏈

Aleo是第一個使用零知識證明解決隱私問題、同時保證可編程特性的公鏈。

Aleo提供的隱私保護包括隱藏參與者、金額、智能合約等交互細節，而且Aleo還將智能合約執行轉移到鏈下，支持各種Dapp，保證其可拓展性（每秒數千筆交易)。

??Aleo共識機制——PoSW

Aleo使用基于SNARK的PoSW共識算法，稱為簡潔的工作量證明。PoSW為Aleo網絡提供與比特幣的PoW相同級別的安全性。

但比特幣PoW算法用于計算SHA256函數，而Aleo的PoSW算法用于計算SNARK。這得以讓PosW可以充當POS以確保系統共識，還可驗證鏈上區塊中包含的所有交易。這種方式實際上出現了PoW與PoS并存的情況，借鑒了兩種機制的優勢。

Aleo已啟動測試網3第二階段，該階段正式引入驗證者并啟用AleoBFT共識機制，也就是PoS實現區塊確認的即時確定性，并利用PoW激勵開發更快的證明生成技術。

??零知識解決方案——ZEXE?

ZEXE(ZeroKnowledgeEXEcution)是Aleo所提出的特定零知識解決方案，是在zeroCash原有的zk-snarks技術上進行改進，讓用戶可以對自己的信息加密及隱私進行選擇，例如可以加密單純的token轉賬交易，也可以加密應用層面的互動交易。

凱投宏觀：美元全面走強 漲勢或在不久后停止:9月24日消息，凱投宏觀經濟學家Jonas Goltermann在一份報告中稱，本周金融市場經歷了“多事之秋”，隨著美聯儲加息75個基點和美聯儲主席鮑威爾的鷹派信息打擊了風險情緒，美元全面走強。美元目前接近或已達到凱投宏觀對美元年底看漲的許多預測，而美元最近的快速上漲表明，不久之后美元將停止上漲。但隨著外匯和債券市場的波動達到極端水平，出現更廣泛的風險厭惡高潮的概率正在增加，屆時美元將進一步上漲。(金十)[2022/9/25 7:19:26]

零知識證明泛指“證明者在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷的正確性”，該技術被公認為一項具有終局性的技術，將在未來成為區塊鏈領域中最普適使用的技術之一。

Aleo作為第一個采用零知識證明類的POW機制高性能公鏈，也開啟了同時采用POS和POW的應用。舉一個簡單的例子來說，挖礦的過程就等同于不斷生成零知識證明的過程，也就是“ZK挖礦”。

在“ZK挖礦”的概念當中，ZKProof的生成速度會被大量縮短，且ZKP生成任務是并行化、可切分的，因此硬件設備、生成策略、節點競爭等都將影響礦工所獲得的獎勵。

??計算環境——zkCloud

ZT與Coinbetter交易平臺達成全面戰略合作:據官方消息，ZT交易平臺與Coinbetter于日前達成全面戰略合作伙伴關系，雙方將攜手共同開拓全球市場。 Coinbetter.com支持多種數字資產交易，為歐洲、北美洲、大洋洲等國際用戶提供幣幣、法幣、合約、借貸等一站式服務。

ZT數字資產交易平臺是一家全球性的數字資產交易服務商，致力于為全球用戶打造創新型熱門數字資產首發地。 ZT與Coinbetter將憑借各自在國際市場的優質資源，在平臺運營、生態建設、市場拓展、資源整合等方面全面展開深度合作，加持雙方在全球化的發展。[2021/12/23 7:59:07]

zkCloud是由Aleo所構建的一個組件，作為脫鏈、去信任的計算環境，程序在其中會以私密、安全、廉價的方式運作。

Zkcloude建立的點對點、去中心化的私有計算模型能讓受保護的身份以及交互轉移到鏈下，同時實現隱私保證和更大的交易吞吐量。

這些交互都是通過屏蔽交易所進行的，并提供了去中心化和抗審查的數據可用性保證。

??編程語言——Leo

Aleo團隊受Rust啟發開發了一種靜態類型編程語言Leo，特別強調其語言的可讀性和易用性。

以太坊推出首個公共測試網用于全面升級至權益證明:12月21日消息，以太坊核心開發人員 Tim Beiko 在Twitter上宣布，以太坊將推出第一個公開測試網 Kintsugi Merge Testnet，用于全面升級到權益證明（PoS）。Tim Beiko 還表示，盡管客戶端開發和 UX 會不斷改進，但鼓勵用戶盡早開始使用 Kintsugi，以便在合并后的環境中熟悉以太坊網絡。重大升級將由存入 32 ETH 的抵押者執行。目前，230 萬個測試網 ETH 已經由相對 7.2萬名驗證者存入新網絡，這表明社區已經為“加密領域最大的升級”做好了充分準備。 此外，根據報告，應用程序開發人員不會有太大變化，僅與共識層或執行層交互的工具也基本不受影響。[2021/12/21 7:53:02]

Leo語言可以在零知識的情況下直觀地表達邏輯，讓開發人員直觀地在Aleo公鏈上構建具有隱私和去中心化屬性的應用。

而這款由Aleo開發的靜態類型編程語言，可將Zexe共識協議的zk-snarks設置模塊化，讓任何得以在Aleo平臺上運作的Dapp都可以使用zk-snarks，降低開發難度。

Aleo所構建的AleoStudio，是第一個用于編寫零知識應用程序的IDE（集成開發環境)。

美國郵政檢查局正在考慮為檢查員制定“全面的加密貨幣培訓計劃”:金色財經報道，根據美國郵政檢查局 (USPIS) 上周四發布的一份內部審計報告，該機構表示其對扣押的加密貨幣資產的管理和與加密相關的調查程序需要改進。審計由該機構的網絡安全和技術專家 Mary Lloyd 領導。它發現郵政檢查員“缺乏標準化的加密貨幣培訓”，檢查員與加密貨幣基金計劃之間的溝通不一致，正在重新考慮其處理加密相關調查的方式。

此外，USPIS 在調查期間用于跟蹤加密貨幣轉移的會計軟件被發現存在“數據完整性問題”，包括重復交易，導致記錄不準確。報告稱，USPIS 應為其檢查員制定“全面的加密貨幣培訓計劃”，“制定管理和監督國家錢包的書面程序”，修復會計系統并改善檢查員與加密貨幣基金計劃之間的溝通。（coindesk）[2021/9/1 22:51:08]

Leo語言允許開發人員將ZKP集成到各種Web應用程序中，在使用過程中，即可避免留下個人數據，大大保護了使用者的隱私。

??應用場景

Aleo作為Layer1層，其可編程性可類比于以太坊，且增加了隱私保護、高TPS等特點，基于Aleo進行開發的項目，都可以使用零知識證明達到隱私保護的功能。

自治區級區塊鏈“桂鏈”發布啟動并全面接入“星火?鏈網”:4月25日至26日，第四屆數字中國建設峰會在福州海峽國際會展中心舉行，主題為“激發數據要素新動能，開啟數字中國新征程”。峰會期間，中國-東盟區塊鏈公共服務平臺——“桂鏈”平臺正式發布，并啟動全面接入國家級新型基礎設施“星火·鏈網”。

“桂鏈”平臺由廣西壯族自治區信息中心聯合浪潮建設，屬于自治區級區塊鏈基礎設施，目前已打造“區塊鏈+電子證照”、“區塊鏈+鏈上自貿”、“區塊鏈+中藥材”等一批示范應用場景。

“星火·鏈網”是在工信部支持下，中國信通院牽頭建設的數字基礎設施，聚焦區塊鏈與工業互聯網協同發展。其基于公有許可鏈設計雙層體系架構，提供工業互聯網標識服務的同時，通過下層骨干節點實現區塊鏈互通。[2021/4/26 20:59:57]

不僅如此，團隊提出的可選擇退出隱私(opt-outprivacy)，還可讓用戶將交易默認為隱私模式，也就是要讓用戶有選擇地的公開自己想公開的資訊，尤其是DeFi。

DeFi在2020年出現爆發式增長，許多案例都表明了可編程性對于任何區塊鏈?絡表現的重要性。但??不得不在隱私、可編程性兩者之間做出選擇，結果就是用戶地址交易歷史是透明的。

而Zcash為??提供了完整的隱私，但可編程性有限、以太坊提供強?的可編程性，但隱私卻有限。而若通過Aleo的零知識證明解決方案，意味著能夠利用匿名方式，隱藏所有交易細節。

??挖礦機制

Aleo目前主要還是需要使用顯卡機去挖礦，同時Aleo的挖礦算法也對CPU與GPU有相對應的要求，等同于以太坊POW的升級，會承接部分以太坊礦工。

Aleo采用的挖礦邏輯是：挖礦設備根據要求去完成快速傅里葉變換和多標量乘法算法的計算任務，挖礦者需要在規定時間內產生有效證明。

單位時間內完成有效證明次數的算力單位為PPS，這也個是衡量挖礦設備能獲得多少Aleo代幣獎勵的唯一標準，與傳統比特幣挖的統計算力單位(H/s)完全不同。

目前市面上所謂的Aleo代幣，主要是指上半年測試網Testnet2的代幣，前不久啟動了testnet3。?

目前來看，要想有高產出，顯卡至少是3080Ti，顯存10G以上，CPU32核以上，但后續電費可能皆可能會超出礦工預算。

但無論變換哪種配置與方案，Aleo代幣獎勵只跟機器能產生的PPS算力相關，所以礦工最終只需要關注在每PPS的投入成本和產生的收益即可。

Testnet3分為三階段，并提供2500萬代幣。

第一階段主要針對開發者的激勵措施，比如編寫、部署程序等。第二階段面向證明者以及開啟snarkOS和snarkVM的漏洞賞金計劃。第三階段才是大眾所能參與的驗證者生產區塊獲得代幣獎勵。

至于經濟模型，Aleo總融資為2.28億美元，目前市場上預估Aleo初始流通率會落在15%左右，等同于流通市值會在4億美元左右，總市值則是28.3億美元。

??團隊信息

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

Aleo的CEO?Howardwu是四位Co-founders中的代言人，他時常負責出面各類媒體對外發言。

Howardwu畢業于加州大學伯克利分校的CS和Math學士及碩士學位，本科畢業后在Google任職SottwareEngineer，一年后則回UCB完成碩士學位，畢業后創立Aleo。

從HowardWu的Github主頁代碼貢獻經歷中可以看出，他從2014年開始就前后給錢包、交易所、IPFS和以太坊等項目貢獻過代碼。

Aleo的CFOMichaelBeller則畢業于康奈爾大學，有資管類初創企業的連續創業經驗。

負責Aleo編程語言Leo開發的CollinChin則同樣畢業于加州大學伯克利分校。

??融資情況

2021年4月由a16z領投的2800萬美元A輪融資。

2022年2月，由KoraManagementLP和SoftBankVisionFund2領投的B輪融資中籌集了2億美元，估值14.5億美元。

這是zk賽道有史以來規模最大的一輪融資。

??主流隱私計算技術路線

多方安全計算

由中國科學院院士姚期智于1982年提出，其技術邏輯即是在一個分布式網絡中，有N個互不信任的節點，每個節點持有數據x，并協同執行函數f(x)，最終得到各自的結果y，若各節點的y值相等，則可輸出為計算的結果。

MPC的最大優點是做到了數據的百分百匿名，并且計算的結果也可以做到相對精確，目前所遇上的挑戰點則是對帶寬的要求極高，一旦協同參與者數量變多時，則會影響通訊質量。

在區塊鏈領域，MPC的使用范圍主要為公鏈PlatON、錢包Firelocks、ZenGo。如PlatON就是通過疊加同態加密和安全多方計算，以實現隱私計算，保證輸入數據以及計算邏輯本身的隱私。?

零知識證明

零知識證明的研究最早始于1985年，由Goldwasser、SilvioMicali等多位學者提出。

零知識證明是一種提高安全性的加密協議，此種技術可以讓示證者向驗證者確認資料真實性，但卻無需透露任何其他訊息。例如在加密貨幣的交易中，就可以讓用戶之間可以正常交易、確認錢包內資金安全性，但是仍然可以隱藏交易兩方在實體世界中的真實身份。

由于使用該技術的公鏈數量眾多，逐漸成為了Web3的單獨分支，因此出現了一些ZK賽道、ZK系公鏈等。

但由于零知識證明開發難度也較高，目前以零知識證明為主要技術實現途徑的隱私Layer1公鏈都處于測試與開發階段，零知識證明機制轉化成計算機程序語言后應用最廣泛的技術則有兩個——zk-SNARK和zk-STARK。

可信執行環境

可信執行環境基于硬件安全的CPU實現了基于內存隔離的安全計算，可在保證計算效率的前提下完成隱私保護的計算。

TEE是一種具有運算和儲存功能，能提供安全性和完整性保護的獨立處理環境，基本思想是：在硬件中為敏感數據單獨分配一塊隔離的內存，所有敏感數據的計算均在這塊內存中進行，并且除了經過授權的接口外，硬件中的其他部分不能訪問這塊隔離的內存中的信息。以此來實現敏感數據的隱私計算。

SecretNetwork就是利用可信執行環境確保交易數據在執行期間保持安全和私密，能夠隱藏代幣及合約的交易歷史和狀態變化。

??鏈茶點評

區塊鏈應用的隱私性成為許多人都特別關注的議題，過去市場上推出了很多算法，包含零知識證明等應用。但目前還沒有出現突破性的項目，這也正是Aleo的機會之所在。

Tags：LEOALEO區塊鏈POSaleo幣價格區塊鏈dapp開發pos幣排行

TUSD