zkSync Era 推出基于 STARK 的证明系统 Boojum

zkSync Era 发文称，正在过渡到名为 Boojum 的新的基于 STARK 的证明系统，补充了 zkSync Era 定序器。Boojum 证明者仅需要 16GB RAM，可实现未来大规模证明者去中心化。目前，影子证明已经在主网上线，该阶段为主网影子模式，尽管处于测试阶段，但已在为主网区块说生成并验证「影子证明」。Boojum 特性包括 PLONK 式算术化、FRI 承诺方案、系统「无聊」部分的效率、易于扩展、单堆栈等。Boojum 可以增强性能，也可以降低去中心化的硬件要求，更快地证明交易。