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

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

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

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

今年熊市中的优质大项目偏少，Aleo是属于潜力的新星之一。在年初Aleo完成了隐私计算赛道有史以来的一笔融资(总共累积融资金额达2.98亿美金)，而且是由传统VC软银和三星等主导领投参与。而且Aleo也是检具POW挖矿的少数优质矿圈项目，承载着全球矿商的未来，

·新一轮大使招募，9月21日已经完成，将在一个月内出结果，时间基本上在10月20日左右;

由ALEO组织的32个Zk领域团队参与赞助的Zprize比赛将于10月1日结束，并将在10月15日公布竞赛结果，Zprize主要是为了解决二测阶段出现的区块生产过于集中的问题，与证明者非常相关。Zprize比赛的结束对三测二阶段的阶段网络的升级具有重要意义。