目前零知识证明(ZKP)应用的主要2个方向:隐私和可验证计算,Aleo是隐私L1公链,同时兼具可编程性,像ZCash等虽然也是隐私公链,但是不具备可编程性。以太坊L2上的ZK-Rollup项目,属于可验证计算,我们之前的文章也分析过:重磅分析!为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零?,在证明的需求量上完全不是一个级别。
由于Aleo在隐私模式下,每笔交易都需要生产零知识证明,而且需要在很短的时间内完成,这样生态的体验才是流畅的且能大规模发展,所以基于这个背景需求,才会有Aleo的隐私委托代理计算方案,也就是在诞生Aleo项目的论文中大篇幅讲解的:诞生Aleo项目的论文完整中文版翻译—Zexe实现去中心化的私有计算,Aleo芯片机,Aleo-ASIC,zktaoma或者maxsayss
为什么以太坊或者门罗是抵制ASIC的?看看大饼就知道了,主要是比较低成本的ASIC让以太坊社区预测到了ASIC机器未来可能占领以太坊网络,而以太坊网络开始的共识是PoW,和大饼一样。
但是Aleo从开始的设计共识就是POS,也就是说其实本质上它是POS链,这一点上和其他项目有本质差别。其实对于某些人来说他们不太明白为什么Aleo一定要有PoW,完全用POS就可以了,很多业内知名ZK项目都是只有POS。关于这点可以看一下我们之前的文章:Aleo的PoSW、证明和委托代理计算到底是什么关系?“PoW”会不会消失?