对话 zkSync 首席执行官:ZK-Rollup 的瓶颈问题

'与 zkSync 首席执行官对话:ZK-Rollup 的瓶颈问题'

区块链技术的挑战与应对

区块链技术作为一项创新技术,其在各个领域展现出了巨大的潜力,但同时也面临着一些挑战。在这篇文章中,我们将重点介绍区块链技术中的几个关键问题,并探讨了一些应对策略。

Sequencer(交易排序器)的速度(TPS)

Sequencer是负责交易排序的重要组成部分,它的处理能力直接影响着链的每秒交易数(TPS)。目前,单个Sequencer的处理能力大约只能达到几百个交易左右。要想提高TPS,有两种路径可供选择:

  1. 提高单个Sequencer的处理能力:这种方法可以提高链的TPS,但会造成中心化的问题。就像一辆火车的车厢容量一样,如果只增加一个车厢的容量,那么整个火车的乘客数量就有限制,这使得整个系统容易形成瓶颈。
  2. 引入更多的Sequencer:这种方法可以实现去中心化,但是协调多个Sequencer的工作会增加延迟,降低TPS。这就像一个团队中的成员越多,协调工作就越复杂,效率也会受到影响。

对于如何提高TPS,我们需要进行权衡和取舍,综合考虑中心化和去中心化的优势和劣势。

数据的可验证性

在zkSync中,为了确保数据的可验证性,所有的输入数据都被存放在链上。这被称为数据可获取性(data availability)。具体来说,在Sequencer对交易进行排序的第一阶段,zkSync会将输入数据的哈希存放在以太坊主网上,然后通过zkPorter生成SNARK证明,再经过Prover ZK电路验证,最后提交给主网的Rollup合约进行验证。这样的数据匹配校验是为了确保zk proof的过程是正确的。然而,以太坊区块本身存在容量瓶颈,这就意味着当zkSync的数据规模达到一定程度时,不是所有的数据都能够上链。因此,我们需要引入外部数据的验证,并减少对主网数据的依赖。然而,如何确保安全性成为了一个瓶颈。

ZK电路的硬件性能

SNARK证明是一种复杂的证明电路系统,构建这样的电路需要消耗大量的计算机内存。目前,构建SNARK证明需要使用6-16 GB的RAM空间,如果电路更大,其内存消耗会同步增长。因此,硬件问题也是一个需要解决的瓶颈。为了解决这个问题,可以通过优化算法或采用更高级的定制硬件来提高性能。目前的高端工作站已经可以达到TB级别的RAM。然而,硬件性能不能无限强大,我们需要综合考虑成本和性能利用率等问题,因此这也是需要权衡的问题。

总的来说,区块链技术的发展离不开对各种挑战的应对。在处理TPS、数据可验证性和ZK电路硬件性能等问题上,我们需要综合考虑各种因素,并进行合理的权衡和取舍,以推动区块链技术的进一步发展。

相关术语解释:

  • Sequencer: 负责交易排序的组件;
  • TPS: 每秒交易数 (Transactions Per Second);
  • zkSync: 以太坊Layer 2扩容方案,提供了更高的TPS;
  • SNARK证明: 零知识证明技术之一,用于保证计算结果的隐私性和验证性;
  • RAM: 随机存取内存 (Random Access Memory);
  • Rollup合约: 区块链上的智能合约,用于验证zkSync的数据有效性。

提供参考链接: Twitter