生成證明的速度可以從軟件和硬件兩個方面來優化：
軟件層面，在語言層面上，ZK更友好的格式，也會帶來加速生成的過程，比如Aleo的Leo語言。再就是算法本身的優化，雖然說有一定的優化空間，但是要想有大的突破需要非常多的時間，畢竟牽涉到很多數學問題。
如果熟悉以太坊PoW算法的應該知道，它的算法并不像大餅的算法，算力大小是與內存和帶寬正相關，這點上和Aleo的算法很像，所以我們看到在以太坊PoW算法上能做出有競爭力的ASIC芯片機廠商屈指可數！
對比ASIC來說，由于是專用的機器，利用某些技術可以把內存和帶寬做的很大，甚至是4090的幾十倍，但是成本和功耗卻非常低，這就是ASIC的優勢。
由于Aleo在隱私模式下，每筆交易都需要生產零知識證明，而且需要在很短的時間內完成，這樣生態的體驗才是流暢的且能大規模發展，所以基于這個背景需求，才會有Aleo的隱私委托代理計算方案，也就是在誕生Aleo項目的論文中大篇幅講解的：誕生Aleo項目的論文完整中文版翻譯—Zexe實現去中心化的私有計算，Aleo芯片機，Aleo-ASIC，zktaoma或者maxsayss
項目簡介Aleo 是個使用零知識證明解決隱私問題，同時保證可編程特性的公鏈。具體而言，Aleo通過零知識證明保護用戶隱私，包括隱藏參與者、金額、智能合約等交互細節，同時讓用戶有選擇權（Aleo提供了可選擇退出隱私模式，確保終的控制權屬于用戶，并可以自行選擇他們所希望公開或隱藏的信息）；通過使用零知識密碼學，還將智能合約執行轉移到鏈下，支持各種Dapp，保證其可拓展性（每秒數千筆交易）。