軟件層面,在語(yǔ)言層面上,ZK更友好的格式,也會(huì)帶來(lái)加速生成的過(guò)程,比如Aleo的Leo語(yǔ)言。再就是算法本身的優(yōu)化,雖然說(shuō)有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時(shí)間,畢竟?fàn)可娴胶芏鄶?shù)學(xué)問(wèn)題。
簡(jiǎn)單來(lái)說(shuō),在其他參數(shù)相同或者差不多的情況下,內(nèi)存和帶寬綜合決定終某個(gè)硬件在Aleo項(xiàng)目上的算力大小。
帶寬這個(gè)概念估計(jì)很多人不是很了解,之前只是關(guān)注顯存,雖然說(shuō)目前Aleo官方還沒(méi)有正式公布的PoSW算法,但是從目前的表述來(lái)看把NTT/FFT這個(gè)漏洞堵上是個(gè)必然,而且本身零知識(shí)證明算法是對(duì)NTT/FFT有要求的。
在分析之前,我們先看一下ASIC(Application Specific Integrated Circuit),中文全稱是“專用集成電路”。這里特別強(qiáng)調(diào)“專用”,“專用”意味著針對(duì)單一項(xiàng)目來(lái)說(shuō)會(huì)更加有競(jìng)爭(zhēng)力。相對(duì)比,GPU(顯卡)是通用計(jì)算處理芯片,所以在單一項(xiàng)目上來(lái)說(shuō)“專用”肯定比“通用”更有競(jìng)爭(zhēng)力。
為了打破英偉達(dá)一家獨(dú)大的局面,前任全球芯片老大英特爾和多年老對(duì)手AMD對(duì)標(biāo)CUDA都分別推出了OneAPI和ROCm,Linux基金會(huì)更是聯(lián)合英特爾、谷歌、高通、ARM、三星等公司聯(lián)合成立了民間號(hào)稱“反CUDA聯(lián)盟”的UXL基金會(huì),以開(kāi)發(fā)全新的開(kāi)源軟件套件,讓AI開(kāi)發(fā)者能夠在基金會(huì)成員的任何芯片上進(jìn)行編程,試圖讓其取代CUDA,成為AI開(kāi)發(fā)者的開(kāi)發(fā)平臺(tái)。