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

综上来看，内存和带宽是限制证明生成的主要瓶颈。对于显卡来说，这里的内存指的是显存，并不是主板上的内存，主板上的内存主要是参与CPU的计算。当然目前有些芯片技术可以打通主板上的内存和显存，让内存为显存计算来用。

但是Aleo从开始的设计共识就是POS，也就是说其实本质上它是POS链，这一点上和其他项目有本质差别。其实对于某些人来说他们不太明白为什么Aleo一定要有PoW，完全用POS就可以了，很多业内知名ZK项目都是只有POS。关于这点可以看一下我们之前的文章：Aleo的PoSW、证明和委托代理计算到底是什么关系？“PoW”会不会消失？

早在2021年，英伟达就曾公开表示过“禁止使用转换层在其他硬件平台上运行基于CUDA的软件”，2024年3月，英伟达更是将其升级为“CUDA禁令”，直接添加在了CUDA的终用户许可协议中，已禁止用转译层在其他GPU上运行CUDA软件