Vitalik Buterin:以太坊的目标是实现实时证明,因此需要改进ZK-SNARKs等效率低下的问题。

【2024-04-09 11:01】23btc报道,以太坊创始人Vitalik Buterin在2024年于香港Web3峰会上发表了题为《探讨协议设计的极限》的主题演讲。Vitalik Buterin指出,诸如ZK-SNARKs、MPC、FHE等技术在效率和安全性方面存在挑战。以太坊的出块时间为12秒,普通区块验证时间约为400毫秒,而ZK-SNARK证明时间约为20分钟。以太坊的目标是实现实时证明。

针对目前效率低下的问题,Vitalik提出解决方案:“并行化与聚合树”(Parallelization + aggregation trees),以及利用SNARK算法和哈希技术提升效率,采用ASIC进行ZK硬件加速。

根据这篇报道,Vitalik Buterin在他的演讲中提到了以太坊目前在效率和安全性方面面临的挑战。他指出使用ZK-SNARKs、MPC、FHE等技术会导致证明时间过长,与以太坊实时性的目标相悖。在解决这个问题的过程中,Vitalik提出了两个解决方案:“并行化与聚合树”以及利用SNARK算法和哈希技术。

首先,他提到了使用“并行化与聚合树”的方法来提高效率。在以太坊的当前设计中,普通区块验证时间约为400毫秒,而ZK-SNARK证明时间约为20分钟。通过采用并行化技术,多个任务可以同时进行,从而减少整体处理时间。而聚合树则可以用于有效地将多个证明聚合在一起,进一步提高效率。

其次,他提到了利用SNARK算法和哈希技术来提升效率。SNARK算法是一种零知识证明算法,可以用于验证某个事件是否发生而无需暴露事件的细节。通过应用SNARK算法,可以将复杂的计算过程转化为可验证的证明,从而进一步减少验证的时间。此外,哈希技术也可以用于提高效率,例如通过哈希技术来减少数据的传输量和存储需求。

最后,Vitalik提到了使用ASIC进行ZK硬件加速的方法。ASIC是专门为某种特定计算任务设计的集成电路,可以提供更高的性能和效率。通过使用ASIC来加速ZK-SNARK算法的处理,可以进一步降低证明时间并提高以太坊的整体效率。

从这篇报道中可以看出,Vitalik Buterin对于以太坊的效率问题有着深入的思考和解决方案。他提出的并行化与聚合树、利用SNARK算法和哈希技术以及采用ASIC进行硬件加速等方法,都可以为以太坊提高效率和实时性方面带来积极的改变。这些解决方案的实施将有助于进一步推动以太坊的发展,并为加密货币行业带来更多创新和进步。 image

原创文章,作者:海博社,如若转载,请注明出处:https://www.23btc.com/8939/

(0)
上一篇 2024年4月9日 上午11:00
下一篇 2024年4月9日 上午11:09

相关推荐