从算法的角度上来看,Aleo属于零知识证明(ZKP)赛道项目,复杂度是比大饼和以太坊算法都要复杂的。算法的核心计算我们之前也提过主要是MSM+NTT/FFT的计算,还会包含一些Hash运算。这些计算主要目的是为了生成零知识证明,而生成证明的速度直接会影响生态的体验。
软件层面,在语言层面上,ZK更友好的格式,也会带来加速生成的过程,比如Aleo的Leo语言。再就是算法本身的优化,虽然说有一定的优化空间,但是要想有大的突破需要非常多的时间,毕竟牵涉到很多数学问题。
但是Aleo从开始的设计共识就是POS,也就是说其实本质上它是POS链,这一点上和其他项目有本质差别。其实对于某些人来说他们不太明白为什么Aleo一定要有PoW,完全用POS就可以了,很多业内知名ZK项目都是只有POS。关于这点可以看一下我们之前的文章:Aleo的PoSW、证明和委托代理计算到底是什么关系?“PoW”会不会消失?
在分析之前,我们先看一下ASIC(Application Specific Integrated Circuit),中文全称是“专用集成电路”。这里特别强调“专用”,“专用”意味着针对单一项目来说会更加有竞争力。相对比,GPU(显卡)是通用计算处理芯片,所以在单一项目上来说“专用”肯定比“通用”更有竞争力。