論文の概要: Fast Homomorphic Linear Algebra with BLAS
- arxiv url: http://arxiv.org/abs/2503.16080v1
- Date: Thu, 20 Mar 2025 12:19:47 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-21 16:33:12.889576
- Title: Fast Homomorphic Linear Algebra with BLAS
- Title(参考訳): BLASを用いた高速同相線形代数
- Authors: Youngjin Bae, Jung Hee Cheon, Guillaume Hanrot, Jai Hyun Park, Damien Stehlé,
- Abstract要約: ホモモルフィック暗号化は、プライバシ保護データ操作、特にAIに幅広いアプリケーションを開く。
これらの応用の多くは、重要な線型代数計算(行列 x ベクトル積、行列 x 行列積)を必要とする。
線型代数計算のこの中心的な役割は、準同型代数をはるかに超え、科学計算のほとんどの分野に適用できる。
CKKSをベースとした暗号化正方行列乗算と倍精度浮動小数点行列乗算との効率損失は、正確な状況に応じて4-12因子であることを示す。
- 参考スコア(独自算出の注目度): 11.269481520748839
- License:
- Abstract: Homomorphic encryption is a cryptographic paradigm allowing to compute on encrypted data, opening a wide range of applications in privacy-preserving data manipulation, notably in AI. Many of those applications require significant linear algebra computations (matrix x vector products, and matrix x matrix products). This central role of linear algebra computations goes far beyond homomorphic algebra and applies to most areas of scientific computing. This high versatility led, over time, to the development of a set of highly optimized routines, specified in 1979 under the name BLAS (basic linear algebra subroutines). Motivated both by the applicative importance of homomorphic linear algebra and the access to highly efficient implementations of cleartext linear algebra able to draw the most out of available hardware, we explore the connections between CKKS-based homomorphic linear algebra and floating-point plaintext linear algebra. The CKKS homomorphic encryption system is the most natural choice in this setting, as it natively handles real numbers and offers a large SIMD parallelism. We provide reductions for matrix-vector products, vector-vector products for moderate-sized to large matrices to their plaintext equivalents. Combined with BLAS, we demonstrate that the efficiency loss between CKKS-based encrypted square matrix multiplication and double-precision floating-point square matrix multiplication is a mere 4-12 factor, depending on the precise situation.
- Abstract(参考訳): ホモモルフィック暗号化(homomorphic encryption)は、暗号化されたデータ上での計算を可能にする暗号化パラダイムであり、プライバシ保護データ操作における幅広いアプリケーション、特にAIにおいて開放される。
これらの応用の多くは、重要な線型代数計算(行列 x ベクトル積、行列 x 行列積)を必要とする。
線型代数計算のこの中心的な役割は、準同型代数をはるかに超え、科学計算のほとんどの分野に適用できる。
この高汎用性は、時間とともに、1979年にBLAS (basic linear algebra subroutines) という名前で定義された高度に最適化されたルーチンの開発につながった。
ホモモルフィック線型代数の応用的重要性と、利用可能なハードウェアから最も多くを引き出すことができるクリアテキスト線形代数の高効率実装へのアクセスの両方により、CKKSベースのホモモルフィック線型代数と浮動小数点平文線型代数の接続について検討する。
CKKS準同型暗号システムは、実数をネイティブに処理し、大きなSIMD並列性を提供するため、この設定では最も自然な選択である。
本研究では, 行列ベクトル積, ベクトルベクトル積に対して, 中等級から大型の行列に対して, 平文の等価値に還元する。
BLASと組み合わせて、CKKSベースの暗号化正方行列乗算と倍精度浮動小数点行列乗算の効率損失は、正確な状況に応じて4-12因子であることを示した。
関連論文リスト
- Sublinear-Overhead Secure Linear Algebra on a Dishonest Server [3.8105803634609483]
我々は、高速、遠隔、およびデータ公開線形代数に対する自然効率性とセキュリティデシラタを述べる。
我々は、満足なアルゴリズムを暗示する行列とベクトル族の存在を予想し、共通暗号仮定に基づくそのようなアルゴリズムを提供する。
論文 参考訳(メタデータ) (2025-02-18T17:05:17Z) - Position: Curvature Matrices Should Be Democratized via Linear Operators [6.946287154076936]
線形演算子は、曲率行列を扱う汎用的でスケーラブルでユーザフレンドリな抽象化を提供する。
$textitcurvlinops$は、統一された線形演算子インターフェイスを通じて曲率行列を提供するライブラリである。
私たちは$textitcurvlinops$で、このインターフェースがいかに複雑さを隠蔽し、アプリケーションを単純化し、他のライブラリと相互運用可能で、大規模なNNにスケールするかを示します。
論文 参考訳(メタデータ) (2025-01-31T14:46:30Z) - CoLA: Exploiting Compositional Structure for Automatic and Efficient
Numerical Linear Algebra [62.37017125812101]
機械学習における大規模線形代数問題に対して, CoLA という, 単純だが汎用的なフレームワークを提案する。
線形演算子抽象と合成ディスパッチルールを組み合わせることで、CoLAはメモリと実行時の効率的な数値アルゴリズムを自動的に構築する。
偏微分方程式,ガウス過程,同変モデル構築,教師なし学習など,幅広い応用で有効性を示す。
論文 参考訳(メタデータ) (2023-09-06T14:59:38Z) - Large-scale gradient-based training of Mixtures of Factor Analyzers [67.21722742907981]
本稿では,勾配降下による高次元学習を効果的に行うための理論解析と新しい手法の両立に寄与する。
MFAトレーニングと推論/サンプリングは,学習終了後の行列逆変換を必要としない精度行列に基づいて行うことができることを示す。
理論解析と行列の他に,SVHNやMNISTなどの画像データセットにMFAを適用し,サンプル生成と外乱検出を行う能力を示す。
論文 参考訳(メタデータ) (2023-08-26T06:12:33Z) - Multiresolution kernel matrix algebra [0.0]
本研究では, あるS形式において, 最適スパース行列を生成するサンプルレットを用いて, カーネル行列の圧縮を示す。
カーネル行列の逆数(もし存在するなら)は S-形式でも圧縮可能である。
行列代数は擬微分計算によって数学的に正当化される。
論文 参考訳(メタデータ) (2022-11-21T17:50:22Z) - High-Dimensional Sparse Bayesian Learning without Covariance Matrices [66.60078365202867]
共分散行列の明示的な構成を避ける新しい推論手法を提案する。
本手法では, 数値線形代数と共役勾配アルゴリズムの対角線推定結果とを結合する。
いくつかのシミュレーションにおいて,本手法は計算時間とメモリにおける既存手法よりも拡張性が高い。
論文 参考訳(メタデータ) (2022-02-25T16:35:26Z) - Non-PSD Matrix Sketching with Applications to Regression and
Optimization [56.730993511802865]
非PSDおよび2乗根行列の次元削減法を提案する。
複数のダウンストリームタスクにこれらのテクニックをどのように使用できるかを示す。
論文 参考訳(メタデータ) (2021-06-16T04:07:48Z) - Multi-View Spectral Clustering with High-Order Optimal Neighborhood
Laplacian Matrix [57.11971786407279]
マルチビュースペクトルクラスタリングは、データ間の固有のクラスタ構造を効果的に明らかにすることができる。
本稿では,高次最適近傍ラプラシア行列を学習するマルチビュースペクトルクラスタリングアルゴリズムを提案する。
提案アルゴリズムは, 1次ベースと高次ベースの両方の線形結合の近傍を探索し, 最適ラプラシア行列を生成する。
論文 参考訳(メタデータ) (2020-08-31T12:28:40Z) - Sketching Transformed Matrices with Applications to Natural Language
Processing [76.6222695417524]
本稿では, 変換行列を用いて, 与えられた小さな行列の積を計算するための空間効率のよいスケッチアルゴリズムを提案する。
提案手法は誤差が小さく,空間と時間の両方で効率がよいことを示す。
論文 参考訳(メタデータ) (2020-02-23T03:07:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。