Yoimiya：ZK-SNARK 系统中实现最优资源利用的可扩展框架
密码学与安全
2025-02-26 v1 新兴技术
摘要
随着零知识证明系统（尤其是 ZK-SNARK）的广泛采用，证据生成（proof generation）的效率，包括证人生成（witness generation）和证明计算（proof computation）两个阶段，已成为一个重要问题。虽然大量工作已成功加速了证明计算，但在优化证人生成方面的进展仍然有限，这不可避免地阻碍了整体效率。在本文中，我们提出了 Yoimiya，一个带有流水线（pipeline）的可扩展框架，用于优化 ZK-SNARK 系统的效率。首先，Yoimiya 引入了一种自动电路划分算法，将 ZK-SNARK 的大电路划分为更小的子电路，即具有更小内存需求的最小计算单元，从而允许多个单元并行处理。其次，Yoimiya 将证人生成与证明计算解耦，并实现多个电路单元的同时执行。此外，Yoimiya 通过配置资源分配使两个阶段的时间成本对齐，使每个阶段可以独立扩展，从而最大化资源利用率。实验结果证实了我们框架有效提升了资源利用率和证明生成速度。
引用
@article{arxiv.2502.18288,
title = {Yoimiya: A Scalable Framework for Optimal Resource Utilization in ZK-SNARK Systems},
author = {Zheming Ye and Xiaodong Qi and Zhao Zhang and Cheqing Jin},
journal= {arXiv preprint arXiv:2502.18288},
year = {2025}
}
备注
13pages, 13 Figures