最新的证明系统有望提供比当前 100 TPS 速率更高的吞吐量，并从长远来看降低成本。
以太坊第 2 层扩展解决方案zkSync Era 推出了 一种新的基于可扩展透明知识论证 (STARK) 的证明系统，称为 Boojum，承诺在消费级通用处理单元 (GPU) 上运行。
ZkSync Era 是少数使用零知识汇总（ZK-rollups）来提高容量和速度同时降低费用的以太坊扩展协议之一。ZK-rollups主要使用两个著名的证明系统：zk-STARKs 和零知识简洁非交互式知识论证（zk-SNARKs）。
新的 Boojum 证明系统基于 zkSync 的基于 Rust 的加密库，该库为 zkSync Era 及其 ZK 开发人员堆栈实现了算术电路的升级版本。最重要的是，它允许 Boojum 证明器在日常个人计算机上运行，而不是在强大的硬件和服务器上运行。
此次升级可以在只有 16 GB GPU 随机存取存储器 (RAM) 的计算机上运行，确保普通用户可以参与网络活动。就上下文而言，zkSync 目前在 100 个 GPU 的集群上运行，每个 GPU 具有 80 GB RAM。
在 Boojum 推出之前，zkSync 主要依赖于 zk-SNARK，zk-SNARK 功能强大，但与基于 zk-STARK 的系统相比透明度相对较差。早期的系统每秒处理约 100 个交易，而 Boojum 承诺提供卓越的处理能力。
在实现的最后阶段，新证明将用不透明的基于配对的 SNARK 包装 STARK 证明。它本质上是当前基于 SNARK 的证明系统的略微升级版本。这种证明需要更少的存储空间并且验证成本更低，这降低了证明系统的成本，从而降低了交易本身的成本。
Boojum 目前在 zkSync Era 主网上运行，用于测试、生成和验证“影子证明”。开发人员目前正在使用真实生产数据测试影子证明，然后才能完成迁移和更广泛的使用。新系统将在不进行任何再生的情况下进行升级。
