Locus：用于探索和优化零知识证明点加硬件的框架
Locus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs
浏览论文内容
中文总结 AI 辅助
Locus框架自动生成椭圆曲线点加（PADD）的ASIC和FPGA实现，系统探索设计空间，在12nm工艺下相比先前ASIC实现2.71倍加速和3.11倍面积缩减，并显著提升端到端ZKP证明生成速度。
中文摘要 AI 辅助
零知识证明（ZKP）对于隐私保护和可验证计算至关重要，但其密码学原语带来了高昂的计算开销。其中一种原语是椭圆曲线上的点加（PADD）。先前已有若干工作在硬件中实现了PADD，但仅针对少数特定的椭圆曲线和设计点，留下了大量未探索的设计空间，并且缺乏关于硬件设计权衡的系统性指导。为弥补这一空白，我们提出了Locus，一个专门用于优化和探索点加硬件的框架。给定任何支持方程形式的椭圆曲线的参数，Locus自动生成PADD的ASIC和FPGA实现，从而能够系统地探索PADD设计空间。利用Locus，我们进行了首次全面的、以硬件为中心的PADD设计研究，探索了超过1000个设计点的权衡。在12nm工艺节点上，我们的框架生成的PADD设计相比先前的ASIC实现了$2.71\ imes$的几何平均加速和$3.11\ imes$的几何平均面积缩减，相比CPU实现了$34.67\ imes$的几何平均加速，并且在集成到先前的ZKP加速器时，在等面积条件下端到端证明生成实现了$3.15\ imes$的几何平均加速。Locus可在以下网址获取：此https URL。
英文摘要
Zero-Knowledge Proofs (ZKPs) are critical for privacy-preserving and verifiable computation, but their cryptographic primitives impose high computational overheads. One such primitive is point addition (PADD) on elliptic curves. Several prior works have implemented PADDs in hardware, but only for a few specific elliptic curves and design points, leaving a large design space unexplored, and lacking systematic guidance on hardware design trade-offs. To address this gap, we present Locus, a framework dedicated to optimizing and exploring point addition hardware. Given the parameters of any elliptic curve in a supported equation form, Locus automatically generates ASIC and FPGA implementations of PADD, enabling systematic exploration of the PADD design space. Using Locus, we conduct the first comprehensive hardware-focused study of PADD designs, exploring trade-offs over 1,000 design points. On a 12nm technology node, our framework produces PADD designs that yield a $2.71\times$ geomean speedup and $3.11\times$ geomean area reduction compared to prior ASICs, $34.67\times$ geomean speedup over CPU, and $3.15\times$ geomean speedup on end-to-end proof generation when integrated into a prior ZKP accelerator at iso-area. Locus is available at https://github.com/cryptolets/cryptolets/tree/locus.
发表机构
- New York University Tandon School of Engineering（纽约大学坦登工程学院）
机构由 AI 辅助整理，请以论文原文为准。
