比特派|zkSync 推出新的基于 STARK 的证明系统

作者: 比特派 分类: 比特派最新 发布时间: 2023-07-18 15:02

ZkSync Era 为以太坊 Boojum 提供了第 2 层扩展解决方案,并声称可以在消费级质量的通用处理单元(GPU)上运行。

zkSync 推出新的基于 STARK 的证明系统zkSync 推出新的基于 STARK 的证明系统zkSync 推出新的基于 STARK 的证明系统

ZkSync Era 是少数使用零知识汇总(ZK-rollups)来提高容量和速度同时降低费用的以太坊扩展协议之一。

零知识简洁非交互式知识论证(zk-SNARK)和 zk-STARK 是 ZK-rollups 中最常用的两种证明系统。

推荐阅读 1

通过 Uwerx (WERX)、Chainlink (LINK) 和 Pepe (PEPE) 在 2023 年充分利用你的加密货币投资组合

1小时前 2

Cathie Wood 的 ARK 基金抛售了数百万美元的特斯拉和 Coinbase 股票

1小时前

zkSync 的基于 Rust 的加密货币库实现了 zkSync Era 算术电路的改进版本,其 ZK 开发人员堆栈构成了新 Boojum 证明系统的基础。

最重要的是,它允许使用标准个人电脑而不是复杂的硬件和服务器来操作 Boojum 证明器。 普通用户可以参与网络活动,因为升级可以在 GPU 随机存取存储器 (RAM) 低至 16 GB 的 PC 上运行。

作为背景,100 个 GPU 和 80 GB RAM 现在为 zkSync 集群提供动力。 在 Boojum 发布之前,zkSync 的主要组件是 zk-SNARK,它功能强大,但远不如基于 zk-STARK 的系统透明。

虽然之前的系统每秒只能处理大约 100 个交易,但 Boojum 承诺速度会快得多。 作为实施过程的一部分,新的证明将使用基于非透明配对的 SNARK 盘点 STARK 证明。

本质上,这将是对现有基于 SNARK 的证明方法的一点改进。 证明系统的成本以及交易本身的成本都降低了,因为该证明使用的存储空间更少并且验证成本更低。

Boojum 在 zkSync Era 的主网上运行,用于测试、生成和验证“影子证明”。 在完全迁移和更广泛使用之前,开发人员现在使用实际生产数据来评估影子证明。 不会有任何再生; 新系统将刚刚更新。

如果觉得我的文章对您有用,请随意打赏。您的支持将鼓励我继续创作!