我们很高兴地宣布,Blitzar(为 SQL 证明提供支持的 GPU 加速框架)现已以开源方式提供给 ZK 项目和开发人员,
查看
https://twitter.com/Cointelegraph
的独家报道。
让我们来分解一下…… 什么是加速框架以及为什么需要它?
ZK 证明在最基本的层面上是在数据上运行的数学。这个数学过程很复杂,计算量也很大,如果你想让它运行得非常快,软件只能帮到你这么多。最终,你必须在硬件层面加速它。硬件加速框架是一种软件工具,可将计算密集型任务卸载到专用硬件(例如 GPU)。它提高了性能并优化了 ZK 协议的运行方式。 为什么选择 GPU? GPU 是一种特别适合 ZK 证明生成中涉及的数学类型的硬件。与 CPU 不同,GPU 并行执行任务,大多数 ZK 协议运行时本质上是并行的。它们还可以更轻松地扩展并以更低的成本提供更高的性能。许多最流行的 ZK 证明(包括 SQL 证明)都利用 GPU。
为什么选择闪电战?
GPU 加速框架本质上充当软件和硬件之间的固件层,将 ZK 证明软件映射到 GPU,并确保数学运行得非常快。当我们开始开发 SQL 协议证明并寻找可以使用的开源 GPU 加速框架时,我们意识到 SQL 证明需要比市场上现有的更好的东西……因此我们从头开始构建了 Blitsar。 现在,Proof of SQL 的运行时间为亚秒级,而且速度只会变得更快。
为什么要开源?
Space and Time 致力于开源。我们也将 ZK 视为计算的未来,而 GPU 加速是高效运行 ZK 的关键部分。我们开源 Blitsar 是为了向 Web3 社区提供更快、更健壮的框架来构建 GPU 加速的 ZK 证明,并邀请社区为改进该框架做出贡献。 谁可以使用它? Blitsar 适用于任何寻求快速 GPU 加速的 ZK 协议!生成 ZK 证明最昂贵的两个部分是多标量乘法和内积参数,这是我们通过 Blitsar 重点加速的部分。如今,任何想要加速 MSM 或 IPA 的项目都可以使用该框架,我们很高兴与社区一起构建,以扩展支持的功能并满足更广泛的 ZK 使用案例。 从http://spaceandtime.io/blitzar 开始

https://x.com/SpaceandTimeDB/status/1750504827753271792?s=20
以上是消息来源推特。
