生成证明的速度可以从软件和硬件两个方面来优化:

软件层面，在语言层面上，ZK更友好的格式，也会带来加速生成的过程，比如Aleo的Leo语言。再就是算法本身的优化，虽然说有一定的优化空间，但是要想有大的突破需要非常多的时间，毕竟牵涉到很多数学问题。

近期有听朋友说到ALEO的项目，今年2月7日获得了B轮融资2亿美刀，共计融资2.28亿。领投愿景基金。据说会是一个超级项目，

Aleo 目前是个完全私有的平台，它是使用的去中心化系统和零知识密码技术，为用户提供隐私的无限计算。Aleo有独特的优势，通过默认建立一个私有的、开源的、基于web的区块链来解决区块链的缺点。有了Aleo，用户可以访问真正个性化的Web服务世界，而无需放弃对其私人数据的控制。

当前全球经济形势不佳，加密领域乃至传统行业都面临大的洗牌，多数企业、项目选择明哲保身缩减业务线，减少投入，能市阶段逆势加码的少之又少

根据近期Aleo项目官方信息，Testnet3的第二阶段(证明者POW挖矿)将会在未来几周开始，很大概率会在十月底启动。