目前零知識證明(ZKP)應用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
按照官方的設想和規(guī)劃未來在Aleo上每天的交易量都是上億美金的規(guī)模,在這樣大數(shù)據(jù)量的要求下,每時每刻都有證明需要被委托出去在極短的時間內(nèi)完成證明的生產(chǎn),不可能指望顯卡能解決這個問題。就像AI大模型訓練一樣,早期數(shù)據(jù)量和參數(shù)少的情況下可以用消費級顯卡,但是現(xiàn)在更多的都是為AI訓練設計的專用芯片和機器。
其次,與以太坊對比來看,以太坊并不是隱私公鏈,沒有隱私的剛性要求,從開始設計的時候就沒有考慮過隱私,雖然在L2上也有像Aztec這樣的隱私項目,但是和Aleo這種L1的公鏈相比,完全不在一個數(shù)量級別。
既然共識是POS的,自然也就不怕ASIC控制網(wǎng)絡,壓根也控制不了,也就不存在分叉的問題,而且從算法和定位的角度上來說,ASIC也是必然需求。Aleo芯片機,Aleo-ASIC,zktaoma或者maxsayss