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

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

近期有聽朋友說到ALEO的項目，今年2月7日獲得了B輪融資2億美刀，共計融資2.28億。領投愿景基金。據(jù)說會是一個超級項目，

Aleo 目前是個完全私有的平臺，它是使用的去中心化系統(tǒng)和零知識密碼技術，為用戶提供隱私的無限計算。Aleo有獨特的優(yōu)勢，通過默認建立一個私有的、開源的、基于web的區(qū)塊鏈來解決區(qū)塊鏈的缺點。有了Aleo，用戶可以訪問真正個性化的Web服務世界，而無需放棄對其私人數(shù)據(jù)的控制。

今年熊市中的優(yōu)質大項目偏少，Aleo是屬于潛力的新星之一。在年初Aleo完成了隱私計算賽道有史以來的一筆融資(總共累積融資金額達2.98億美金)，而且是由傳統(tǒng)VC軟銀和三星等主導領投參與。而且Aleo也是檢具POW挖礦的少數(shù)優(yōu)質礦圈項目，承載著全球礦商的未來，

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

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