很短，也很全，而且可跳讀。

作者： Chloe

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

應用場景
Aleo 作為 Layer1 層，其可編程性可類比於以太坊，且增加了隱私保護、高 TPS 等特點， 基於 Aleo 進行開發的項目，都可以使用零知識證明達到隱私保護的功能。
不僅如此，團隊提出的可選擇退出隱私 (opt-outprivacy)，還可讓用戶將交易默認為隱私模式，也就是要讓用戶有選擇地的公開自己想公開的資訊，尤其是 DeFi。

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

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

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

Aleo 採用的挖礦邏輯是：挖礦設備根據要求去完成快速傅里葉變換（Fast Fourier Transform, FFT）和多標量乘法（Multi-Scalar Multiplication ,MSM）算法的計算任務，挖礦者需要在規定時間內產生有效證明。

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

目前市面上所謂的 Aleo 代幣，主要是指上半年測試網 Testnet2（CPU 競爭）的代幣，前不久啟動了 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 的 CFO MichaelBeller 則畢業於康奈爾大學，有資管類初創企業的連續創業經驗。

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

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

2022 年 2 月，由 Kora Management LP 和 SoftBank Vision Fund 2 領投的 B 輪融資中籌集了 2 億美元，估值 14.5 億美元。

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

主流隱私計算技術路線
多方安全計算（MPC）

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

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

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

零知識證明（ZKP）

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

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

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

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

可信執行環境（TEE）

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

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

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

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

免責聲明：作為區塊鏈信息平台，本站所發布文章僅代表作者及嘉賓個人觀點，與 Web3Caff 立場無關。文章內的信息僅供參考，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。