以太坊的第二层扩容解决方案zkSync Era近日发布了一种基于Scalable Transparent Argument of Knowledge (STARK) 的新型证明系统Boojum。Boojum承诺能够在普通级别的图形处理器（GPU）上运行。
zkSync Era是众多使用零知识卷积（ZK-rollups）提高以太坊性能和速度，同时降低手续费的扩容协议之一。ZK-rollups主要使用两种知名的证明系统：zk-STARKs和zk-SNARKs。
新的Boojum证明系统基于zkSync的一个基于Rust的加密库，该加密库实现了zkSync Era及其ZK开发栈的算术电路的升级版本。最重要的是，它允许Boojum的证明者在日常个人电脑上运行，而不需要强大的硬件和服务器。
此次升级可以在只有16GB GPU随机访问内存（RAM）的电脑上运行，确保普通用户可以参与网络活动。作为对照，zkSync目前运行在一个由100个GPU组成的集群上，每个GPU都有80GB的RAM。
在Boojum发布之前，zkSync主要依赖于zk-SNARKs。尽管它们有能力处理任务，但与基于zk-STARK的系统相比，透明度相对较低。先前的系统每秒处理约100笔交易，而Boojum承诺可以提供更优质的处理能力。
在实施的最后阶段，新的证明将用基于配对的非透明SNARK来包装 STARK证明。本质上，它将是当前基于SNARK的证明系统的稍微升级版本。这种证明需要的存储空间少，验证成本低，降低了证明系统的成本，从而也降低了交易本身的成本。
Boojum目前在zkSync Era主网上进行测试，生成并验证“影子证明”。开发人员目前正在使用真实生产数据测试 "影子证明"，然后再进行完全迁移和大规模使用。新系统升级时则不需要再重新生成。
杂志: 以太坊的ZK-rollups如何实现互操作性？