Aleo:Zero-knowledge with uncompromising speed and privacy 零知識與毫不妥協的速度和隱私
Build full-stack, private applications with the power of ZK on layer1 使用ZK的強大功能構建全棧、私有應用程序在第1層
第一個提供完全私有應用程序的公鏈This is zero-knowledge by design.這是零知識的設計Decentralization, scalability, and privacy aren’t mutually exclusive anymore.去中心化、可擴展性和隱私不再相互排斥Aleo和其他公鏈相比有何區別及優勢?去中心化、可擴展性和隱私不再相互排斥一般公鏈如以太坊鏈強調去中心化、去信任化、分佈式存儲、公開、透明爲主,但不能滿足用戶對隱私的需求。Aleo在區塊鏈本有的特徵上開發出隱私保護的功能,這是Aleo和其它公鏈的不同之處,也是它的優勢。See what's possible with Aleo 看看Aleo有什麼可能Low complexity 低複雜度Built-in privacy 內置隱私High scalability 高可伸縮性Unlimited runtime 無限的運行時間Absolute decentralization 絕對分權Increased data security 提高數據安全性Start building production-ready ZK apps on Aleo with programming language, Leo.開始用程序設計語言在Aleo上構建生產就緒的ZK應用,Leo。An all-in-one ZK platform 一體化ZK平臺LeoRust-basedDSL with syntax that abstracts low-level cryptography,making it easy to express logic in zero-knowledge.基於Rust的DSL,其語法抽象了低級密碼學,使其易於在零知識中表達邏輯。snarkOSPermissionless and scalable network for ZK-powered smartcontracts fueled by our novel consensus protocol,AleoBFT.由我們的新型共識協議AleoBFT驅動的ZK驅動的智能合約的無許可和可擴展網絡。snarkVMA powerful virtual machine for zero- knowledge execution featuring a custom immediate representation(IR),unlimited runtime, and efficient proof generation.用於零知識執行的強大虛擬機,具有自定義即時表示(IR)、無限運行時間和高效的證明生成功能。Aleo:兼顧性能的零知識證明,可編程隱私公鏈。什麼是零知識證明?與Aleo有何關係?什麼是零知識證明?零知識證明(Zero-knowledge proofs)是由S.Goldwasser、S.Micali及C.Rackoff在20世紀80年代初提出的,是一種在不暴露聲明本身的情況下證明聲明有效性的方法。“證明者”(prover)是試圖證明聲明的一方,而“驗證者”(verifier)負責驗證聲明。零知識證明最早出現在 1985 年的一篇論文“ The knowledge complexity of interactive proof systems ”中,它提供了當今廣泛使用的零知識證明的定義:零知識協議是一種方法,通過這種方法,一方(證明者)可以向另一方(驗證者)證明某事是真實的,除了這個特定聲明是真實的事實之外,不會透露任何信息。多年來,零知識證明得到了改進,現在它們被用於多個現實世界的應用程序。下面是它在實踐中的工作原理:a. 以太坊不處理每筆交易,而是將執行卸載到單獨的鏈上。b. 處理交易後,另一條鏈返回應用於以太坊狀態的結果。這裏的好處是以太坊不需要執行任何操作,只需要將外包計算的結果應用到其狀態。這減少了網絡擁塞,也提高了交易速度 ( 鏈下協議優化爲更快的執行 )。這就是可驗證計算髮揮作用的地方。當一個節點在以太坊外部執行交易時,它會提交一個零知識證明來證明鏈下執行的正確性。這種證明 ( 稱爲有效性證明 ) 保證交易是有效的,允許以太坊將結果應用於其狀態,而無需等待任何人對其提出爭議。零知識彙總和有效性(validiums)是兩種鏈下擴容解決方案,它們使用有效性證明來提供安全的可擴展性。這些協議在鏈下執行數千筆交易,並在以太坊上提交驗證證明。一旦證明被驗證,這些結果可以立即應用,允許以太坊在不增加基礎層計算的情況下處理更多的交易。與Aleo有何關係?在當下的互聯網時代,一方面,互聯網給我們的日常生活提供了很多便利,另一方面,互聯網也在不斷採集我們的各種數據,這些看起來零散的數據彙總成爲大數據,每個人幾乎都變成了“透明人”,這些數據一旦泄露或挪用,將給我們造成隱私曝光以及直接經濟損失。2020年,有網友爆料稱,有粉絲偷偷利用了明星吳磊的個人身份信息,將吳磊的飛行里程積分換成飛機票,並且給自己和朋友使用,而這個情況已經持續了三年之久。隨後,又有多位明星發文表示同樣遭遇航空里程盜刷,這件事集中暴露了明星這一羣體的隱私困擾。據一項調查數據顯示,我國43.6%的網民遇到過網絡安全問題,其中遭遇個人信息泄露問題佔比最高。其實,互聯網存在的隱私問題,區塊鏈同樣也是存在的。我們先說一個區塊鏈世界殘酷的真相:區塊鏈根本沒有隱私。隨着區塊鏈數據分析公司越來越專業,再加上很多交易所對於用戶KYC實名認證的要求,現在我們很容易能將一個人的真實身份與他的Web3身份綁定起來。而且,目前幾乎所有的區塊鏈都是公開透明的,用戶沒有選擇,不得不公開自己的賬戶餘額、交易信息以及你在區塊鏈上的一舉一動,這就像將你所有的社交媒體、Uber打車記錄、Google搜索記錄和電子郵件等都向別人公開。想象一下,你住在一個只有玻璃牆,但沒有窗簾的屋子裏。每個路過你家的人都可以看到你擁有什麼,以及你做了什麼,這就是Web3如果沒有隱私的代價。並且由於區塊鏈數據一旦公開是不可以刪除的,你暴露的隱私將永遠保留在區塊鏈上。自智能合約誕生以來,就面臨着兩個重大的缺陷,第一個是底層設計造成的透明化,不存在隱私性,任何人的賬戶餘額都可以被查詢到。第二個缺陷是他們不具有百萬級別的擴展性能,(更不用說數十億)的用戶。這些限制的存在是因爲信任需要驗證。我們熟知的比特幣和以太坊,分別落在三、四象限,兩者都不具有隱私性,而後者具有更好的可編程性。而第二象限所代表的單一功能隱私性產品是過去的一大熱點。比較典型的例子是ZCash,相較於比特幣轉賬,它在匿名轉賬上應用廣泛,憑藉創新的零知識證明技術,將隱私性很好的與轉賬的單一功能結合在一起。不過也僅限於此,ZCash無法將隱私性和更廣泛的可編程性結合起來。因此我們可以預見到市場的下一個機會和熱點是將隱私性和可編程性很好結合起來的項目。Aleo正是屬於第一象限,Aleo是第一個使用零知識證明解決隱私問題、同時保證可編程特性的公鏈。Aleo通過零知識證明保護用戶信息隱私,包括隱藏交易信息(金額、時間),同時讓用戶可以選擇隱私透露的程度。在可擴展性上,Aleo將智能合約執行轉移到鏈下,從而保證其每秒數萬筆交易的可行性。ZPU(Zero-Knowledge Processing Unit, 零知識證明處理單元)我們相信ZPU主導的未來是通用ZK在電腦,平板電腦,手機,筆記本電腦,遊戲機,物聯網設備等領域的廣泛應用,也是未來引領礦業變革的紅利和增量方向,存在長期財富機遇。而Aleo項目必佔有一席之地。免責聲明:以上內容不構成投資建議,請自行判斷。投資有風險,投資需謹慎。#ETH(二餅) #ETHFI