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

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

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

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

當前全球經濟形勢不佳，加密領域乃至傳統(tǒng)行業(yè)都面臨大的洗牌，多數企業(yè)、項目選擇明哲保身縮減業(yè)務線，減少投入，能市階段逆勢加碼的少之又少

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