生成证明的速度可以从软件和硬件两个方面来优化:
软件层面，在语言层面上，ZK更友好的格式，也会带来加速生成的过程，比如Aleo的Leo语言。再就是算法本身的优化，虽然说有一定的优化空间，但是要想有大的突破需要非常多的时间，毕竟牵涉到很多数学问题。
近期有听朋友说到ALEO的项目，今年2月7日获得了B轮融资2亿美刀，共计融资2.28亿。领投愿景基金。据说会是一个超级项目，
Aleo 目前是个完全私有的平台，它是使用的去中心化系统和零知识密码技术，为用户提供隐私的无限计算。Aleo有独特的优势，通过默认建立一个私有的、开源的、基于web的区块链来解决区块链的缺点。有了Aleo，用户可以访问真正个性化的Web服务世界，而无需放弃对其私人数据的控制。
今年熊市中的优质大项目偏少，Aleo是属于潜力的新星之一。在年初Aleo完成了隐私计算赛道有史以来的一笔融资(总共累积融资金额达2.98亿美金)，而且是由传统VC软银和三星等主导领投参与。而且Aleo也是检具POW挖矿的少数优质矿圈项目，承载着全球矿商的未来，
上次8月23日官方关于时间三测各阶段时间节点的声明，ALEO一阶段时间在1-2个月，二阶段1.2个月，三阶段一直运行的主网上线。8月23日-10月22日两个月的时间;