生成证明的速度可以从软件和硬件两个方面来优化:
软件层面,在语言层面上,ZK更友好的格式,也会带来加速生成的过程,比如Aleo的Leo语言。再就是算法本身的优化,虽然说有一定的优化空间,但是要想有大的突破需要非常多的时间,毕竟牵涉到很多数学问题。
目前零知识证明(ZKP)应用的主要2个方向:隐私和可验证计算,Aleo是隐私L1公链,同时兼具可编程性,像ZCash等虽然也是隐私公链,但是不具备可编程性。以太坊L2上的ZK-Rollup项目,属于可验证计算,我们之前的文章也分析过:重磅分析!为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零?,在证明的需求量上完全不是一个级别。
既然共识是POS的,自然也就不怕ASIC控制网络,压根也控制不了,也就不存在分叉的问题,而且从算法和定位的角度上来说,ASIC也是必然需求。Aleo芯片机,Aleo-ASIC,zktaoma或者maxsayss
零知识证明密码学的一些用例包括:
区块链和加密货币:Zcash 等区块链技术使用 ZKP 来保护交易隐私。一个人可以证明他们拥有足够的加密货币来进行交易,而无需透露其资金的确切金额。这在保证交易完整性的同时维护了隐私。