zkSync推出基于STARK的新型系统

以太坊的第二层扩容解决方案zkSync Era近日发布了一种基于Scalable Transparent Argument of Knowledge (STARK) 的新型证明系统Boojum。Boojum承诺能够在普通级别的图形处理器GPU上运行。

zkSync Era是众多使用零知识卷积ZKrollups提高以太坊性能和速度，同时降低手续费的扩容协议之一。ZKrollups主要使用两种知名的证明系统：zkSTARKs和zkSNARKs。

新的Boojum证明系统基于zkSync的一个基于Rust的加密库，该加密库实现了zkSync Era及其ZK开发栈的算术电路的升级版本。最重要的是，它允许Boojum的证明者在日常个人电脑上运行，而不需要强大的硬件和服务器。

此次升级可以在只有16GB GPU随机访问内存RAM的电脑上运行，确保普通用户可以参与网络活动。作为对照，zkSync目前运行在一个由100个GPU组成的集群上，每个GPU都有80GB的RAM。

在Boojum发布之前，zkSync主要依赖于zkSNARKs。尽管它们有能力处理任务，但与基于zkSTARK的系统相比，透明度相对较低。先前的系统每秒处理约100笔交易，而Boojum承诺可以提供更优质的处理能力。

在实施的最后阶段，新的证明将用基于配对的非透明SNARK来包装 STARK证明。本质上，它将是当前基于SNARK的证明系统的稍微升级版本。这种证明需要的存储空间少，验证成本低，降低了证明系统的成本，从而也降低了交易本身的成本。

Boojum目前在zkSync Era主网上进行测试，生成并验证“影子证明”。开发人员目前正在使用真实生产数据测试 影子证明，然后再进行完全迁移和大规模使用。新系统升级时则不需要再重新生成。

杂志 以太坊的ZKrollups如何实现互操作性？