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

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

硬件层面，也就是所谓的硬件加速，CPU、GPU、FPGA、ASIC。CPU与GPU相比在大数据多任务处理上，肯定GPU更占优势。FPGA与GPU相比，在兼顾了灵活性的基础上，无论是计算能力和功耗性能上都要更强，缺点是性价比太低。ASIC是的，其他的硬件形态都是无法比拟的。

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

4.市面Aleo矿机的种类比较多，应该怎么选择?有哪些参考标准?

市面上无论给出怎样的配置和方案，终都要看这个矿机实在能够有多少PPS的算力，因为终Ale0积分奖励只跟机器能产生的PPS算力相关，跟其它的无关。 因此不管是二卡机，四卡机，六卡机，八卡机等，无论是多少复杂的配置，终投资者只需要盯着每PPS的投入成本和产生的收益即可，这样可以屏蔽掉市面上很多杂音。具体针对矿机的参考标准可以参考之前的文章《Aleo 矿机配置参考因素对比分析》