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

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

其次，與以太坊對(duì)比來看，以太坊并不是隱私公鏈，沒有隱私的剛性要求，從開始設(shè)計(jì)的時(shí)候就沒有考慮過隱私，雖然在L2上也有像Aztec這樣的隱私項(xiàng)目，但是和Aleo這種L1的公鏈相比，完全不在一個(gè)數(shù)量級(jí)別。

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

項(xiàng)目簡(jiǎn)介Aleo 是個(gè)使用零知識(shí)證明解決隱私問題，同時(shí)保證可編程特性的公鏈。具體而言，Aleo通過零知識(shí)證明保護(hù)用戶隱私，包括隱藏參與者、金額、智能合約等交互細(xì)節(jié)，同時(shí)讓用戶有選擇權(quán)（Aleo提供了可選擇退出隱私模式，確保終的控制權(quán)屬于用戶，并可以自行選擇他們所希望公開或隱藏的信息）；通過使用零知識(shí)密碼學(xué)，還將智能合約執(zhí)行轉(zhuǎn)移到鏈下，支持各種Dapp，保證其可拓展性（每秒數(shù)千筆交易）。