1. 算法
從算法的角度上來看,Aleo屬于零知識證明(ZKP)賽道項目,復雜度是比大餅和以太坊算法都要復雜的。算法的核心計算我們之前也提過主要是MSM+NTT/FFT的計算,還會包含一些Hash運算。這些計算主要目的是為了生成零知識證明,而生成證明的速度直接會影響生態(tài)的體驗。
目前零知識證明(ZKP)應用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
由于Aleo在隱私模式下,每筆交易都需要生產零知識證明,而且需要在很短的時間內完成,這樣生態(tài)的體驗才是流暢的且能大規(guī)模發(fā)展,所以基于這個背景需求,才會有Aleo的隱私委托代理計算方案,也就是在誕生Aleo項目的論文中大篇幅講解的:誕生Aleo項目的論文完整中文版翻譯—Zexe實現(xiàn)去中心化的私有計算,Aleo芯片機,Aleo-ASIC,zktaoma或者maxsayss
雖然PoW的周期是10年,不代表說10年后ASIC就不需要了,只要隱私委托代理計算方案還存在,那么ASIC其實是一直需要的。
總結,從算法、定位和共識三個方面綜合來看,Aleo都和以往的其他公鏈項目有本質上的差別,而ASIC對于Aleo來說是必需的硬件設備,就好比專用顯卡/芯片對于AI大模型訓練是一樣的道理,所以官方明確表態(tài)支持ASIC也在情理之中,而且無論從Token價格、內存、帶寬、成本、回本周期等因素長期來看,ASIC都是選擇。