論文の概要: Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
- arxiv url: http://arxiv.org/abs/2504.06211v1
- Date: Tue, 08 Apr 2025 16:56:10 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-04-16 15:49:40.188116
- Title: Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
- Title（参考訳）: zkSpeedの必要性: ゼロ知識証明のためのHyperPlonkの高速化
- Authors: Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen,
- Abstract要約: ZKPはブロックチェーン技術、検証可能な機械学習、電子投票に応用されている。
最近の研究により、GPUとASICにおける最先端ZKPプロトコルの重要なプリミティブが加速された。
この研究は、最先端のZKPプロトコルであるHyperPlonkのアクセラレータであるzkSpeedを提示する。
- 参考スコア（独自算出の注目度）: 19.39122173458594
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Zero-Knowledge Proofs (ZKPs) are rapidly gaining importance in privacy-preserving and verifiable computing. ZKPs enable a proving party to prove the truth of a statement to a verifying party without revealing anything else. ZKPs have applications in blockchain technologies, verifiable machine learning, and electronic voting, but have yet to see widespread adoption due to the computational complexity of the proving process. Recent works have accelerated the key primitives of state-of-the-art ZKP protocols on GPU and ASIC. However, the protocols accelerated thus far face one of two challenges: they either require a trusted setup for each application, or they generate larger proof sizes with higher verification costs, limiting their applicability in scenarios with numerous verifiers or strict verification time constraints. This work presents an accelerator, zkSpeed, for HyperPlonk, a state-of-the-art ZKP protocol that supports both one-time, universal setup and small proof sizes for typical ZKP applications in publicly verifiable, consensus-based systems. We accelerate the entire protocol, including two major primitives: SumCheck and Multi-scalar Multiplications (MSMs). We develop a full-chip architecture using 366.46 mm$^2$ and 2 TB/s of bandwidth to accelerate the entire proof generation process, achieving geometric mean speedups of 801$\times$ over CPU baselines.
- Abstract（参考訳）: Zero-Knowledge Proofs (ZKP) は、プライバシ保護と検証可能なコンピューティングにおいて、急速に重要性を高めている。
ZKPは、証明当事者が他の何も明らかにせずに、検証当事者に声明の真相を証明することを可能にする。
ZKPは、ブロックチェーン技術、検証可能な機械学習、電子投票に応用されているが、証明プロセスの計算複雑性のため、まだ広く採用されていない。
最近の研究により、GPUとASICにおける最先端ZKPプロトコルの重要なプリミティブが加速された。
しかし、これまで加速されたプロトコルは、各アプリケーションに対して信頼できるセットアップを必要とするか、より高い検証コストでより大きな証明サイズを生成するかの2つの課題に直面する。
この研究は、HyperPlonkのためのアクセラレーターzkSpeedを提示する。これは最先端のZKPプロトコルで、一般に検証可能なコンセンサスベースのシステムにおいて、典型的なZKPアプリケーションに対して1回、普遍的なセットアップと小さな証明サイズの両方をサポートする。
我々は、SumCheckとMulti-scalar Multiplications (MSM)の2つの主要なプリミティブを含むプロトコル全体を高速化する。
我々は,366.46 mm$^2$と2TB/sの帯域幅を用いたフルチップアーキテクチャを開発し,CPUベースライン上での801$\times$の幾何学的平均高速化を実現する。
関連論文リスト
- Trusted Compute Units: A Framework for Chained Verifiable Computations [41.94295877935867]
本稿では,異種技術間のコンポーザブルで相互運用可能な計算を可能にする統合フレームワークであるTrusted Compute Unit(TCU)を紹介する。
オンチェーンの確認遅延やガス料金を発生させることなく、セキュアなオフチェーンインタラクションを可能にすることで、TCUはシステムパフォーマンスとスケーラビリティを大幅に改善する。
論文 参考訳（メタデータ） (2025-04-22T09:01:55Z) - Secure Multi-Party Biometric Verification using QKD assisted Quantum Oblivious Transfer [34.46964288961048]
本稿では、量子オブリバスト転送(QOT)によって実現されたセキュアなマルチパーティ計算アプリケーションの実践的実装について述べる。
QOTプロトコルは、偏光符号化された絡み合った状態を使用して、認証を提供する量子鍵分布(QKD)を用いて、2つのパーティ間で不明瞭な鍵を共有する。
インターポールと国連のno-flyリストに対するプライバシー保護指紋マッチングの実用的なユースケースが実証されている。
論文 参考訳（メタデータ） (2025-01-09T15:51:30Z) - Experimental Simulation of Two Pulses and Three Pulses Coherent One Way Quantum Key Distribution Protocol in Noisy/Noiseless and Wired/Wireless Environment [1.8638865257327277]
Coherent One Way(COW)プロトコルは、ハードウェア展開の容易さから、最も有名なプロトコルの1つである。
我々は、ノイズのないシナリオとノイズのないシナリオの両方で、プロトコルの符号化と復号部分を示す。
論文 参考訳（メタデータ） (2024-09-23T11:02:52Z) - SZKP: A Scalable Accelerator Architecture for Zero-Knowledge Proofs [10.603449308259496]
ZKPは検証可能なコンピューティングにおける創発的なパラダイムである。
証明生成における2つの重要なプリミティブは、Number Theoretic Transform(NTT)とMulti-scalar multiplication(MSM)である。
我々は,チップ上での証明全体を高速化する最初のASICであるスケーラブルなアクセラレータフレームワークであるSZKPを提案する。
論文 参考訳（メタデータ） (2024-08-12T01:53:58Z) - Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets [3.3373764108905455]
構成性により、ユーザーは異なるNIZKを組み合わせられる。
我々は、NIZKのコラボレーティブ・コミット・アンド・プロブのための、最初の一般的な定義を示す。
論文 参考訳（メタデータ） (2024-07-27T08:45:34Z) - Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。
既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。
我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
論文 参考訳（メタデータ） (2024-05-24T17:33:10Z) - SOCI^+: An Enhanced Toolkit for Secure OutsourcedComputation on Integers [50.608828039206365]
本稿では,SOCIの性能を大幅に向上させるSOCI+を提案する。
SOCI+は、暗号プリミティブとして、高速な暗号化と復号化を備えた(2, 2)ホールドのPaillier暗号システムを採用している。
実験の結果,SOCI+は計算効率が最大5.4倍,通信オーバヘッドが40%少ないことがわかった。
論文 参考訳（メタデータ） (2023-09-27T05:19:32Z) - DeepGEMM: Accelerated Ultra Low-Precision Inference on CPU Architectures
using Lookup Tables [49.965024476651706]
DeepGEMMはSIMDハードウェア上で超高精度畳み込みニューラルネットワークを実行するためのルックアップテーブルベースのアプローチである。
実装は、x86プラットフォーム上で、対応する8ビット整数カーネルを最大1.74倍の性能で上回る。
論文 参考訳（メタデータ） (2023-04-18T15:13:10Z) - Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve
Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum
States [0.0]
従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。
ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。
私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
論文 参考訳（メタデータ） (2023-03-02T18:38:15Z) - SupercheQ: Quantum Advantage for Distributed Databases [0.5847659909241455]
ファイルの等価性をチェックするための古典的プロトコルよりも有利な量子プロトコルであるSupercheQを紹介する。
最初のバージョンであるSupercheQ-EE (Efficient )は、2O(n)ビットのファイル検証にn qubitsを使用している。
2つめの変種であるSupercheQ-IE (Incremental )は、n qubitsを使用してO(n2)ビットのファイルを検証し、指紋のインクリメンタルアップデートを一定時間サポートしている。
論文 参考訳（メタデータ） (2022-12-07T18:45:08Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳（メタデータ） (2022-06-29T22:19:12Z) - Composably secure data processing for Gaussian-modulated continuous
variable quantum key distribution [58.720142291102135]
連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。
構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。
特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
論文 参考訳（メタデータ） (2021-03-30T18:02:55Z) - Round-robin differential phase-time-shifting protocol for quantum key
distribution: theory and experiment [58.03659958248968]
量子鍵分布(QKD)は、遠隔者間で共通の暗号鍵の確立を可能にする。
近年,信号の乱れの監視を回避できるQKDプロトコルが提案され,初期の実験で実証されている。
我々は,ラウンドロビン差動位相シフトプロトコルのセキュリティ証明を,集団攻撃シナリオにおいて導出する。
その結果,RRDPTSプロトコルは高い量子ビット誤り率の条件下で,RDPSと比較して高い秘密鍵レートが得られることがわかった。
論文 参考訳（メタデータ） (2021-03-15T15:20:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。