zkSync揭示了Boojum升级：可扩展性和安全性的终极解决方案？
zkSync揭示了Boojum升级：终极解决方案？
zkSync是一个旨在实现数字自我所有权普遍可及的区块链网络，它宣布对其证明系统进行了重大的密码学升级。
此次升级涉及过渡到一种名为Boojum的新型基于STARK的证明系统，据公告称，该系统具有世界级的证明性能，并降低了去中心化的硬件要求。
zkSync时代转向Boojum
Boojum是一个基于Rust的算术化和约束库，它实现了zkSync时代和ZK Stack的升级版本的ZK电路。该库具有几个引人注目的特性，包括PLONK风格的算术化。
PLONK风格的算术化是指将PLONK（基于置换的线性零知识证明，用于透明、通用和可升级证明）用作底层零知识证明系统。
PLONK是一个相对较新的证明系统，相对于之前的系统（如Sonic和Halo），它提供了几个优点。具体而言，PLONK旨在更加透明、通用和可升级，这使得它成为zkSync升级证明系统的不错选择。
根据公告，转向基于STARK的证明系统代表了性能的显著提升，并将有助于确保zkSync时代和其他基于ZK Stack的系统具有低延迟的最终性和对增加活动水平的支持。
用于Boojum的GPU证明者只需要16GB（千兆字节）的RAM，相比现有的证明系统需要数百GB的RAM，这是一个显著的降低。
通过将GPU证明者所需的RAM量从数百GB降低到仅16GB，zkSync将能够使用更便宜的机器实现更大规模的横向扩展。这很可能对使用zkSync的成本产生积极的影响。
这意味着更多的人将能够参与网络并为其去中心化做出贡献，最终实现一个更健康、更强大的网络。
此外，为了确保平稳过渡，zkSync正在通过名为主网影子模式的测试阶段与现有的证明系统并行运行。
该网络正在为主网块生成和验证“影子证明”，以进一步测试和优化该系统，并使用zkSync时代的用户活动的实际生产数据。这些测试是在链下进行的，以找到边缘情况和错误，并继续审查实施。
zkSync还将Boojum代码库开源，以便任何人都可以使用新的证明并使用命令行界面（CLI）工具进行验证。
该网络相信Boojum和其对创新和用户至上设计的承诺是zkEVM更安全、可扩展和高效的下一步。
然而，根据公告，迁移到新的证明系统将在进一步的审计和安全审查完成后进行。
总体而言，转向Boojum是迈向由用户驱动的去中心化证明生成未来的重要一步。提高的性能和降低的硬件要求将帮助zkSync和其他基于ZK Stack的系统实现更大规模的可扩展性和可访问性，使数字自我所有权对每个人更加可及。
来自Unsplash的特色图，来自TradingView.com的图表
We will continue to update 算娘; if you have any questions or suggestions, please contact us!
Was this article helpful?
93 out of 132 found this helpful
Related articles
