Alex:我们意识到以太坊很快就会扩容,试图构建另一个与之竞争的 Layer 1 是没有意义的。在链上投入大量资金的人总是会选择安全性最高的平台。在这方面,以太坊网络是仅次于比特币的。出于同样的原因,我们相信每个人最终都会选择 ZK Rollup,因为它是唯一一个提供与主网完全相同安全保障的 Layer 2 方案。 Q8:由中心化的排序者提交批处理交易是非常高效的,但这也会导致一个问题——单点故障。你们准备后续如何解决呢? Alex:是会有单点故障,因此我们正在研究 Layer 2 共识机制,使验证者更加去中心化。 Q9:zkEVM 的难点是什么?最近 zkSync 和 StarkWare 都宣布将在 ZK Rollup 上支持通用智能合约,为什么这件事情在之前没有出现? Alex:将为 EVM 开发的智能合约移植到 ZK Rollup 上,比移植通用计算更难。原因是相较于通用计算(如支付、交易等), EVM 的操作是异构的,即它们需要的工作量是可变的。因此很难在不产生大量额外成本的情况下将智能合约放到固定的零知识电路结构中。 我们最终解决这个难题的诀窍是使用 PLONK 递归,2020 年夏天我们第一次尝试了这个方法。递归让我们能够把针对不同 EVM 操作优化的特定电路结构组合在一起。StarkWare 无法兼容 EVM,是因为异构递归目前在 STARKs 中是不可能的。 潘致雄:在通用计算中使用零知识证明应该是一个新兴的领域,全球能做出生产级别工具的团队并不多,也就只有 Matter Labs 和 StarkWare 等少数几家。零知识和普通的软件开发完全不同,它有一套独特体系,他们称之为电路设计。因为它不只是做计算,而是加上了隐私或者匿名的特性,所以还是需要付出一些代价的,具体技术细节可能真的是需要特别资深的专家来聊。 过去没有出现,一方面是因为难度较大,也没有很多资金上的支持。为什么 ZK Rollup 技术在近几年有着突飞猛进的发展,也是因为加密资产、比特币、区块链、以太坊等技术非常依赖于密码学的发展,而零知识则是其中一类可以解决特殊问题的技术。 Q10:现在 zkSync 充值提现操作的成本较高,zkSync 怎么看待这个现状?用户在 zkSync 上有什么使用场景呢? Alex:Layer 1 上的操作天生就贵。我们计划的解决方案是直接与交易所和 OTC 服务整合,这样就根本不需要去 Layer 1 了。目前我们正在进行这些整合。 Q11:三月底 zkSync 发布了 2.0 Roadmap,zkSync 2.0 升级对用户而言有哪些值得期待的地方? Alex:
|