生成证明的速度可以从软件和硬件两个方面来优化:
软件层面,在语言层面上,ZK更友好的格式,也会带来加速生成的过程,比如Aleo的Leo语言。再就是算法本身的优化,虽然说有一定的优化空间,但是要想有大的突破需要非常多的时间,毕竟牵涉到很多数学问题。
硬件层面,也就是所谓的硬件加速,CPU、GPU、FPGA、ASIC。CPU与GPU相比在大数据多任务处理上,肯定GPU更占优势。FPGA与GPU相比,在兼顾了灵活性的基础上,无论是计算能力和功耗性能上都要更强,缺点是性价比太低。ASIC是的,其他的硬件形态都是无法比拟的。
根据近期Aleo项目官方信息,Testnet3的第二阶段(证明者POW挖矿)将会在未来几周开始,很大概率会在十月底启动。
·新一轮大使招募,9月21日已经完成,将在一个月内出结果,时间基本上在10月20日左右;
由ALEO组织的32个Zk领域团队参与赞助的Zprize比赛将于10月1日结束,并将在10月15日公布竞赛结果,Zprize主要是为了解决二测阶段出现的区块生产过于集中的问题,与证明者非常相关。Zprize比赛的结束对三测二阶段的阶段网络的升级具有重要意义。