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

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

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

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

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

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