生成證明的速度可以從軟件和硬件兩個方面來優(yōu)化:
軟件層面,在語言層面上,ZK更友好的格式,也會帶來加速生成的過程,比如Aleo的Leo語言。再就是算法本身的優(yōu)化,雖然說有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時間,畢竟?fàn)可娴胶芏鄶?shù)學(xué)問題。
證明生成的過程中,約有60%的時間花在MSM上,其余時間由NTT/FTT主導(dǎo)。MSM和NTT都存在性能挑戰(zhàn),通常的解決辦法:
●MSM可以在多線程上執(zhí)行,從而支持并行處理。然而,當(dāng)處理大型數(shù)據(jù)向量時,例如6700萬個參數(shù),乘法運(yùn)算可能仍然很慢,并且需要大量的內(nèi)存資源。此外,MSM存在可擴(kuò)展性方面的挑戰(zhàn),即使在廣泛并行化的情況下也可能保持緩慢。
其次,與以太坊對比來看,以太坊并不是隱私公鏈,沒有隱私的剛性要求,從開始設(shè)計(jì)的時候就沒有考慮過隱私,雖然在L2上也有像Aztec這樣的隱私項(xiàng)目,但是和Aleo這種L1的公鏈相比,完全不在一個數(shù)量級別。
特色和優(yōu)勢Aleo和其它公鏈的不同且獨(dú)特之處在于對隱私的保護(hù)和鏈上可擴(kuò)展性。當(dāng)前區(qū)塊鏈搭載的智能合約有兩個很大的限制:它們在設(shè)計(jì)上是完全公開、透明的,因此不允許隱私的存在;它們不能擴(kuò)展到數(shù)百萬、更不用說數(shù)十億的用戶,意味著無法支持億萬用戶級別的線上實(shí)時游戲或活動。針對上述現(xiàn)象,Aleo網(wǎng)絡(luò)基于零知識證明密碼學(xué),解決當(dāng)前公鏈既保護(hù)隱私又支持處理海量數(shù)據(jù)(可擴(kuò)展性)的難題。既解決當(dāng)前互聯(lián)網(wǎng)數(shù)據(jù)泄露的困境,又完善當(dāng)前區(qū)塊鏈數(shù)據(jù)信息公開透明的缺點(diǎn),同時還實(shí)現(xiàn)和當(dāng)前互聯(lián)網(wǎng)平臺相媲美的海量數(shù)據(jù)實(shí)時處理及豐富的可擴(kuò)展性,這是Aleo項(xiàng)目為市場關(guān)注的特別之處。下圖能夠更直觀、清晰地了解Aleo網(wǎng)絡(luò)的特色: