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

●在算法过程中频繁的数据混洗使得NTT难以在计算集群中分布，无法并行计算，并且由于需要从大型数据集中加载和卸载数据，在硬件上运行时需要大量带宽。即使硬件操作很快，这可能也会导致速度变慢。例如，如果硬件芯片的内存为16GB或更少，那么在100GB的数据集上运行NTT将需要通过网络加载和卸载数据，这可能会大大降低操作速度。

目前零知识证明（ZKP）应用的主要2个方向：隐私和可验证计算，Aleo是隐私L1公链，同时兼具可编程性，像ZCash等虽然也是隐私公链，但是不具备可编程性。以太坊L2上的ZK-Rollup项目，属于可验证计算，我们之前的文章也分析过：重磅分析！为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零？，在证明的需求量上完全不是一个级别。

既然共识是POS的，自然也就不怕ASIC控制网络，压根也控制不了，也就不存在分叉的问题，而且从算法和定位的角度上来说，ASIC也是必然需求。Aleo芯片机，Aleo-ASIC，zktaoma或者maxsayss