論文の概要: Locus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs
- arxiv url: http://arxiv.org/abs/2609.18846v1
- Date: Wed, 16 Sep 2026 15:53:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-20 08:55:53.875815
- Title: Locus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs
- Title(参考訳): Locus: ゼロ知識証明のための点加算ハードウェアの探索と最適化のためのフレームワーク
- Abstract要約: Locusはポイント追加ハードウェアの最適化と探索に特化したフレームワークである。
本研究はPADD設計の総合的な研究である。
12nmのテクノロジーノード上で、我々のフレームワークは2.71Times$Geomeanの高速化をもたらすPADD設計を生成する。
- 参考スコア(独自算出の注目度): 9.468215440877538
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: 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.
- Abstract(参考訳): Zero-Knowledge Proofs (ZKP) は、プライバシ保護と検証可能な計算には重要であるが、暗号プリミティブは高い計算オーバーヘッドを課す。
そのようなプリミティブの1つは楕円曲線上の点加算 (PADD) である。
いくつかの先行研究ではPADDをハードウェアに実装しているが、特定の楕円曲線と設計点のみに限られており、大きな設計空間は未探索のままであり、ハードウェア設計のトレードオフに関する体系的なガイダンスが欠如している。
このギャップに対処するため、私たちはポイント加算ハードウェアの最適化と探索に特化したフレームワークであるLocusを紹介します。
支持方程式形式の楕円曲線のパラメータを考慮し、Locusは自動的にPADDのASICおよびFPGAの実装を生成し、PADD設計空間の体系的な探索を可能にする。
Locusを使ったPADD設計の総合的な研究を行い、1000以上の設計点のトレードオフを探求する。
12nmのテクノロジーノード上で、我々のフレームワークは、従来のASICと比較して2.71-times$Geomeanの高速化と3.11-times$Geomeanの面積削減、34.67-times$GeomeanのCPU上でのGeomeanのスピードアップ、3.15-times$Geomeanの高速化をもたらすPADD設計を生成する。
Locusはhttps://github.com/cryptolets/cryptolets/tree/locusで入手できる。
関連論文リスト
- VGGT-Occ: Geometry-Grounded and Density-Aware Gated Fusion for 3D Occupancy Prediction [37.542568613707296]
VGGT-Occは、パイプライン全体に幾何学的トークンを埋め込むフレームワークである。
我々は,全ての注意段階に幾何学を注入するために,射影認識変形性注意(PA-DA)を導入する。
機能はビュー品質のセマンティックゲートを通じて統合され、ビュー間の一貫性が保たれる。
論文 参考訳(メタデータ) (2026-05-16T09:51:04Z) - Scaling Attention via Feature Sparsity [50.64995497733461]
超長期のコンテキストにトランスフォーマーをスケールすることは、自己注意のコスト$O(n2 d)$コストによってボトルネックとなる。
本稿では,高次元表現性を維持するために,クエリとキーを$k$sparseコードとして表現するスパース特徴注意法を提案する。
GPT-2とQwen3の事前トレーニングで、SFAは密度の高いベースラインにマッチし、最高2.5タイムのスピードを向上し、FLOPとKVキャッシュを50%近く削減した。
論文 参考訳(メタデータ) (2026-03-17T08:41:50Z) - Splatwizard: A Benchmark Toolkit for 3D Gaussian Splatting Compression [69.94586602640355]
Splatwizardは3DGS圧縮モデルに特化して設計されたベンチマーク・ツールキットである。
Splatwizardは新しい3DGS圧縮モデルを実装し、最先端技術を利用するための使いやすいフレームワークを提供する。
論文 参考訳(メタデータ) (2025-12-31T09:26:04Z) - Resource analysis of Shor's elliptic curve algorithm with an improved quantum adder on a two-dimensional lattice [7.999752490202695]
量子コンピュータは古典的な暗号システムを壊す可能性がある。
toffoli depth $log n + loglog n + O(1)$ with only $O(n)$ ancillas。
2次元格子上のショア楕円曲線アルゴリズムの網羅的資源解析を行う。
論文 参考訳(メタデータ) (2025-10-27T11:02:10Z) - TC-GS: A Faster Gaussian Splatting Module Utilizing Tensor Cores [8.422911585027924]
本稿では,アルゴリズムに依存しない汎用モジュールTC-GSを統合し,Core(TCU)を3DGSに適用する。
提案手法は,既存のガウス加速度アルゴリズムを2.18倍高速化し,最大5.6倍の高速化を実現するとともに,レンダリング品質を維持している。
論文 参考訳(メタデータ) (2025-05-30T16:58:18Z) - Second-order Optimization of Gaussian Splats with Importance Sampling [51.95046424364725]
3D Gaussian Splatting (3DGS) は、高品質で高速な推論時間のため、新しいビューレンダリングに広く用いられている。
本稿では,Levenberg-Marquardt (LM) と Conjugate Gradient (CG) に基づく新しい2階最適化手法を提案する。
提案手法は標準LMよりも3倍の高速化を実現し,ガウス数が少ない場合のAdamを6倍の6倍の速さで上回る。
論文 参考訳(メタデータ) (2025-04-17T12:52:08Z) - ProtoGS: Efficient and High-Quality Rendering with 3D Gaussian Prototypes [81.48624894781257]
3D Gaussian Splatting (3DGS) は、新しいビュー合成において大きな進歩を遂げてきたが、ガウスプリミティブのかなりの数によって制限されている。
近年の手法では、密度の高いガウスの記憶容量を圧縮することでこの問題に対処しているが、レンダリングの品質と効率の維持には失敗している。
本稿では,ガウスの原始体を表現するためにガウスのプロトタイプを学習するProtoGSを提案し,視覚的品質を犠牲にすることなくガウスの総量を大幅に削減する。
論文 参考訳(メタデータ) (2025-03-21T18:55:14Z) - SAGS: Structure-Aware 3D Gaussian Splatting [53.6730827668389]
本研究では,シーンの形状を暗黙的に符号化する構造認識型ガウス散乱法(SAGS)を提案する。
SAGSは、最先端のレンダリング性能と、ベンチマークノベルビュー合成データセットのストレージ要件の削減を反映している。
論文 参考訳(メタデータ) (2024-04-29T23:26:30Z) - PointOcc: Cylindrical Tri-Perspective View for Point-based 3D Semantic
Occupancy Prediction [72.75478398447396]
本稿では,点雲を効果的かつ包括的に表現する円筒型三重対視図を提案する。
また,LiDAR点雲の距離分布を考慮し,円筒座標系における三点ビューを構築した。
プロジェクション中に構造の詳細を維持するために空間群プーリングを使用し、各TPV平面を効率的に処理するために2次元バックボーンを採用する。
論文 参考訳(メタデータ) (2023-08-31T17:57:17Z) - Accurate, Low-latency, Efficient SAR Automatic Target Recognition on
FPGA [3.251765107970636]
合成開口レーダ(SAR)自動目標認識(ATR)はリモートセンシング画像認識の鍵となる技術である。
SAR ATRのための最先端の畳み込みニューラルネットワーク(CNN)は、エンハンハイ計算コストとエンハンラージメモリフットプリントに悩まされている。
本稿では,これらの問題に対処するため,FPGA 上でモデルアーキテクチャを包括的に設計する手法を提案する。
論文 参考訳(メタデータ) (2023-01-04T05:35:30Z) - SECDA: Efficient Hardware/Software Co-Design of FPGA-based DNN
Accelerators for Edge Inference [0.0]
本稿では,FPGAを用いたエッジデバイス上でのDeep Neural Networks (DNN) 推論アクセラレータの設計時間を短縮するハードウェア/ソフトウェア共同設計手法であるSECDAを提案する。
SECDAを用いて、エッジFPGAを含むプラットフォームであるPYNQ-Z1基板上で、2つの異なるDNNアクセラレータ設計を効率的に開発する。
我々は,4つの一般的なDNNモデルを用いた2つの加速器設計を評価し,CPUのみの推論よりもエネルギー消費を2.9$times$で3.5$times$までのモデルで平均性能を向上した。
論文 参考訳(メタデータ) (2021-10-01T15:20:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。