目前零知識證明(ZKP)應用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
再者對于隱私委托計算方案不僅可用于Aleo,也可用于其他需要生產證明的ZK項目,所以對于硬件的儲備和迭代是尤為重要的。
但是Aleo從開始的設計共識就是POS,也就是說其實本質上它是POS鏈,這一點上和其他項目有本質差別。其實對于某些人來說他們不太明白為什么Aleo一定要有PoW,完全用POS就可以了,很多業(yè)內知名ZK項目都是只有POS。關于這點可以看一下我們之前的文章:Aleo的PoSW、證明和委托代理計算到底是什么關系?“PoW”會不會消失?
Aleo是什么?
Aleo是個提供完全私有應用程序的公鏈,利用去中心化系統(tǒng)和零知識密碼學為用戶提供具有隱私的無限計算,通過構建一個默認為私有、開源且為Web構建的區(qū)塊鏈,解決區(qū)塊鏈隱私保護的缺點。