ゼロ知識証明の楕円曲線計算回路を自動探索する
Locus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs
この論文をやさしく読む
ひとことで言うと
ゼロ知識証明で重い楕円曲線の点加算について、速度と面積の選択肢を回路の自動生成で調べる。
何に役立つ？
ZKPアクセラレータの設計で、曲線や回路構成を変えたときの速度・面積のトレードオフを比較するために役立つ。
この研究の面白いところ
点加算単体の高速化に加え、既存アクセラレータへ同一面積で組み込んだ証明生成全体の改善も評価している。
どこまで分かった？
対応する方程式形式の曲線が対象である。数値は12nmなど記載された評価条件での幾何平均であり、すべての曲線や設計点が同じ倍率で改善するとは限らない。要旨は製造済みチップの実測かどうかを明記していない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ゼロ知識証明（ZKP）は、プライバシーを守りつつ検証可能な計算を実現するうえで重要だが、その暗号プリミティブには大きな計算負荷がある。その一つが楕円曲線上の点加算（PADD）である。過去の複数の研究はPADDをハードウェア化してきたが、対象は少数の特定の楕円曲線と設計点に限られ、広い設計空間が未探索のままで、ハードウェア設計のトレードオフに関する体系的な指針も不足している。 この不足に対処するため、点加算ハードウェアの最適化と探索に特化した枠組みLocusを提案する。対応する方程式形式の任意の楕円曲線について、そのパラメータを与えるとPADDのASIC実装とFPGA実装を自動生成し、設計空間を体系的に探索できる。Locusを用いて、ハードウェアに焦点を当てた初の包括的なPADD設計研究を行い、1,000の設計点にわたるトレードオフを調べる。 12nmプロセスでは、従来のASICに対し、幾何平均で2.71倍の高速化と3.11分の1への面積削減を達成するPADD設計を生成した。また、CPUに対して幾何平均34.67倍の高速化を得た。既存のZKPアクセラレータへ同一面積条件で組み込むと、証明生成全体で幾何平均3.15倍の高速化を達成した。Locusは https://github.com/cryptolets/cryptolets/tree/locus で公開している。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
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.
著者のコメント
9 pages, 10 figures, 9 tables. Accepted at the IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2026)
arXiv ID: 2609.18846 ／ 要約の誤りについて