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

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

由于Aleo在隱私模式下，每筆交易都需要生產(chǎn)零知識證明，而且需要在很短的時間內(nèi)完成，這樣生態(tài)的體驗才是流暢的且能大規(guī)模發(fā)展，所以基于這個背景需求，才會有Aleo的隱私委托代理計算方案，也就是在誕生Aleo項目的論文中大篇幅講解的：誕生Aleo項目的論文完整中文版翻譯—Zexe實現(xiàn)去中心化的私有計算，Aleo芯片機(jī)，Aleo-ASIC，zktaoma或者maxsayss

再者對于隱私委托計算方案不僅可用于Aleo，也可用于其他需要生產(chǎn)證明的ZK項目，所以對于硬件的儲備和迭代是尤為重要的。

但是Aleo從開始的設(shè)計共識就是POS，也就是說其實本質(zhì)上它是POS鏈，這一點(diǎn)上和其他項目有本質(zhì)差別。其實對于某些人來說他們不太明白為什么Aleo一定要有PoW，完全用POS就可以了，很多業(yè)內(nèi)知名ZK項目都是只有POS。關(guān)于這點(diǎn)可以看一下我們之前的文章：Aleo的PoSW、證明和委托代理計算到底是什么關(guān)系？“PoW”會不會消失？