生成证明的速度可以从软件和硬件两个方面来优化：

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

再者对于隐私委托计算方案不仅可用于Aleo，也可用于其他需要生产证明的ZK项目，所以对于硬件的储备和迭代是尤为重要的。

为什么以太坊或者门罗是抵制ASIC的？看看大饼就知道了，主要是比较低成本的ASIC让以太坊社区预测到了ASIC机器未来可能占领以太坊网络，而以太坊网络开始的共识是PoW，和大饼一样。

零知识证明密码学的一些用例包括：

区块链和加密货币：Zcash 等区块链技术使用 ZKP 来保护交易隐私。一个人可以证明他们拥有足够的加密货币来进行交易，而无需透露其资金的确切金额。这在保证交易完整性的同时维护了隐私。