到目前為止并沒有太多項目從開始就強調說目標是使用ASIC,比如以太坊和門羅都是抵制ASIC的,主要核心原因是不想像大餅一樣,被算力和礦商掌控網絡。Aleo芯片機,Aleo-ASIC,zktaoma或者maxsayss
從算法的角度上來看,Aleo屬于零知識證明(ZKP)賽道項目,復雜度是比大餅和以太坊算法都要復雜的。算法的核心計算我們之前也提過主要是MSM+NTT/FFT的計算,還會包含一些Hash運算。這些計算主要目的是為了生成零知識證明,而生成證明的速度直接會影響生態的體驗。
目前零知識證明(ZKP)應用的主要2個方向:隱私和可驗證計算,Aleo是隱私L1公鏈,同時兼具可編程性,像ZCash等雖然也是隱私公鏈,但是不具備可編程性。以太坊L2上的ZK-Rollup項目,屬于可驗證計算,我們之前的文章也分析過:重磅分析!為什么說FPGA或者ZK通用服務器在Aleo項目上機會是零?,在證明的需求量上完全不是一個級別。
為了打破英偉達一家獨大的局面,前任全球芯片老大英特爾和多年老對手AMD對標CUDA都分別推出了OneAPI和ROCm,Linux基金會更是聯合英特爾、谷歌、高通、ARM、三星等公司聯合成立了民間號稱“反CUDA聯盟”的UXL基金會,以開發全新的開源軟件套件,讓AI開發者能夠在基金會成員的任何芯片上進行編程,試圖讓其取代CUDA,成為AI開發者的開發平臺。