目前零知識證明(ZKP)應用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
其次,與以太坊對比來看,以太坊并不是隱私公鏈,沒有隱私的剛性要求,從開始設計的時候就沒有考慮過隱私,雖然在L2上也有像Aztec這樣的隱私項目,但是和Aleo這種L1的公鏈相比,完全不在一個數量級別。
再者對于隱私委托計算方案不僅可用于Aleo,也可用于其他需要生產證明的ZK項目,所以對于硬件的儲備和迭代是尤為重要的。
為什么以太坊或者門羅是抵制ASIC的?看看大餅就知道了,主要是比較低成本的ASIC讓以太坊社區預測到了ASIC機器未來可能占領以太坊網絡,而以太坊網絡開始的共識是PoW,和大餅一樣。