生成證明的速度可以從軟件和硬件兩個方面來優(yōu)化:

軟件層面，在語言層面上，ZK更友好的格式，也會帶來加速生成的過程，比如Aleo的Leo語言。再就是算法本身的優(yōu)化，雖然說有一定的優(yōu)化空間，但是要想有大的突破需要非常多的時間，畢竟?fàn)可娴胶芏鄶?shù)學(xué)問題。

根據(jù)近期Aleo項目官方信息，Testnet3的第二階段(證明者POW挖礦)將會在未來幾周開始，很大概率會在十月底啟動。

上次8月23日官方關(guān)于時間三測各階段時間節(jié)點的聲明，ALEO一階段時間在1-2個月，二階段1.2個月，三階段一直運行的主網(wǎng)上線。8月23日-10月22日兩個月的時間;

·新一輪大使招募，9月21日已經(jīng)完成，將在一個月內(nèi)出結(jié)果，時間基本上在10月20日左右;

由ALEO組織的32個Zk領(lǐng)域團(tuán)隊參與贊助的Zprize比賽將于10月1日結(jié)束，并將在10月15日公布競賽結(jié)果，Zprize主要是為了解決二測階段出現(xiàn)的區(qū)塊生產(chǎn)過于集中的問題，與證明者非常相關(guān)。Zprize比賽的結(jié)束對三測二階段的階段網(wǎng)絡(luò)的升級具有重要意義。