软件层面,在语言层面上,ZK更友好的格式,也会带来加速生成的过程,比如Aleo的Leo语言。再就是算法本身的优化,虽然说有一定的优化空间,但是要想有大的突破需要非常多的时间,毕竟牵涉到很多数学问题。
简单来说,在其他参数相同或者差不多的情况下,内存和带宽综合决定终某个硬件在Aleo项目上的算力大小。
带宽这个概念估计很多人不是很了解,之前只是关注显存,虽然说目前Aleo官方还没有正式公布的PoSW算法,但是从目前的表述来看把NTT/FFT这个漏洞堵上是个必然,而且本身零知识证明算法是对NTT/FFT有要求的。
按照官方的设想和规划未来在Aleo上每天的交易量都是上亿美金的规模,在这样大数据量的要求下,每时每刻都有证明需要被委托出去在极短的时间内完成证明的生产,不可能指望显卡能解决这个问题。就像AI大模型训练一样,早期数据量和参数少的情况下可以用消费级显卡,但是现在更多的都是为AI训练设计的专用芯片和机器。
虽然PoW的周期是10年,不代表说10年后ASIC就不需要了,只要隐私委托代理计算方案还存在,那么ASIC其实是一直需要的。
总结,从算法、定位和共识三个方面综合来看,Aleo都和以往的其他公链项目有本质上的差别,而ASIC对于Aleo来说是必需的硬件设备,就好比专用显卡/芯片对于AI大模型训练是一样的道理,所以官方明确表态支持ASIC也在情理之中,而且无论从Token价格、内存、带宽、成本、回本周期等因素长期来看,ASIC都是选择。