生成證明的速度可以從軟件和硬件兩個方面來優(yōu)化:
軟件層面,在語言層面上,ZK更友好的格式,也會帶來加速生成的過程,比如Aleo的Leo語言。再就是算法本身的優(yōu)化,雖然說有一定的優(yōu)化空間,但是要想有大的突破需要非常多的時間,畢竟?fàn)可娴胶芏鄶?shù)學(xué)問題。
硬件層面,也就是所謂的硬件加速,CPU、GPU、FPGA、ASIC。CPU與GPU相比在大數(shù)據(jù)多任務(wù)處理上,肯定GPU更占優(yōu)勢。FPGA與GPU相比,在兼顧了靈活性的基礎(chǔ)上,無論是計算能力和功耗性能上都要更強,缺點是性價比太低。ASIC是的,其他的硬件形態(tài)都是無法比擬的。
根據(jù)近期Aleo項目官方信息,Testnet3的第二階段(證明者POW挖礦)將會在未來幾周開始,很大概率會在十月底啟動。
·新一輪大使招募,9月21日已經(jīng)完成,將在一個月內(nèi)出結(jié)果,時間基本上在10月20日左右;
由ALEO組織的32個Zk領(lǐng)域團隊參與贊助的Zprize比賽將于10月1日結(jié)束,并將在10月15日公布競賽結(jié)果,Zprize主要是為了解決二測階段出現(xiàn)的區(qū)塊生產(chǎn)過于集中的問題,與證明者非常相關(guān)。Zprize比賽的結(jié)束對三測二階段的階段網(wǎng)絡(luò)的升級具有重要意義。