到目前為止并沒(méi)有太多項(xiàng)目從開(kāi)始就強(qiáng)調(diào)說(shuō)目標(biāo)是使用ASIC,比如以太坊和門(mén)羅都是抵制ASIC的,主要核心原因是不想像大餅一樣,被算力和礦商掌控網(wǎng)絡(luò)。Aleo芯片機(jī),Aleo-ASIC,zktaoma或者maxsayss
軟件層面,在語(yǔ)言層面上,ZK更友好的格式,也會(huì)帶來(lái)加速生成的過(guò)程,比如Aleo的Leo語(yǔ)言。再就是算法本身的優(yōu)化,雖然說(shuō)有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時(shí)間,畢竟?fàn)可娴胶芏鄶?shù)學(xué)問(wèn)題。
證明生成的過(guò)程中,約有60%的時(shí)間花在MSM上,其余時(shí)間由NTT/FTT主導(dǎo)。MSM和NTT都存在性能挑戰(zhàn),通常的解決辦法:
●MSM可以在多線(xiàn)程上執(zhí)行,從而支持并行處理。然而,當(dāng)處理大型數(shù)據(jù)向量時(shí),例如6700萬(wàn)個(gè)參數(shù),乘法運(yùn)算可能仍然很慢,并且需要大量的內(nèi)存資源。此外,MSM存在可擴(kuò)展性方面的挑戰(zhàn),即使在廣泛并行化的情況下也可能保持緩慢。
為什么以太坊或者門(mén)羅是抵制ASIC的?看看大餅就知道了,主要是比較低成本的ASIC讓以太坊社區(qū)預(yù)測(cè)到了ASIC機(jī)器未來(lái)可能占領(lǐng)以太坊網(wǎng)絡(luò),而以太坊網(wǎng)絡(luò)開(kāi)始的共識(shí)是PoW,和大餅一樣。