Fugu-MT 論文翻訳(概要): Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control

論文の概要: Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control

arxiv url: http://arxiv.org/abs/2603.22857v1
Date: Tue, 24 Mar 2026 06:51:51 GMT
ステータス: 翻訳完了
システム内更新日: 2026-03-25 19:53:37.342623
Title: Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control
Title（参考訳）: 格子からのセキュアな2成分行列乗算とその暗号化制御への応用
Authors: Kaoru Teranishi,
Abstract要約: 提案プロトコルは、標準格子ベースの暗号仮定の下では確実に安全である。線形制御則のセキュアな実装に適用することで,プロトコルの実現可能性を示す。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this study, we propose a two-party computation protocol for approximate matrix multiplication of fixed-point numbers. The proposed protocol is provably secure under standard lattice-based cryptographic assumptions and enables matrix multiplication at a desired approximation level within a single round of communication. We demonstrate the feasibility of the protocol by applying it to the secure implementation of a linear control law. Our evaluation reveals that the client achieves lower online computational complexity compared to the original controller computation, while ensuring the privacy of controller inputs, outputs, and parameters. Furthermore, a numerical example confirms that the proposed method maintains sufficient precision of control inputs even in the presence of approximation and quantization errors.
Abstract（参考訳）: 本研究では,固定点数の近似行列乗算のための2要素計算プロトコルを提案する。提案プロトコルは、標準格子ベースの暗号仮定の下では確実に安全であり、1ラウンドの通信で所望の近似レベルで行列乗算を可能にする。線形制御則のセキュアな実装に適用することで,プロトコルの実現可能性を示す。評価の結果、クライアントは、コントローラの入力、出力、パラメータのプライバシを確保しながら、元のコントローラ計算と比較して、オンライン計算の複雑さが低いことが判明した。さらに、数値的な例では、近似や量子化誤差がある場合でも、提案手法が十分な制御入力の精度を維持することを確認している。

関連論文リスト

Variational Encrypted Model Predictive Control [1.3416169841532526]
我々は,オンライン実行が暗号化操作のみに依存する変動型暗号化モデル予測制御プロトコルを開発した。提案手法は,2次コストの復号化をサンプリング分布を傾けることで自然に処理するサンプリングベース推定器にMPC問題を再構成する。暗号化による誤りが最適性に与える影響を解析し,シミュレーション結果から提案手法の実用性を示す。
論文参考訳（メタデータ） (2026-03-19T20:23:52Z)
Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning [52.23804865017831]
本稿では,ニューラルネットワークによるパラメータ化を行う非線形制御系における閉ループ収縮の検証問題に対処する。我々は、対称メッツラー行列の優越的固有値が非正であることを確かめるために、閉ループの縮約性に対するトラクタブルでスケーラブルな十分条件を導出する。
論文参考訳（メタデータ） (2025-12-01T23:06:56Z)
Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
生成のための教師なし共形推論フレームワークを提案する。我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
論文参考訳（メタデータ） (2025-09-26T23:40:47Z)
Client-Aided Secure Two-Party Computation of Dynamic Controllers [1.217503190366097]
提案プロトコルは,2つのサーバに対するコントローラ計算のアウトソーシングを実現する。プロトコルの実現性は、PIDとオブザーバベースの制御の数値的な例を通して示される。
論文参考訳（メタデータ） (2025-03-04T01:35:47Z)
Secure and Efficient Two-party Quantum Scalar Product Protocol With Application to Privacy-preserving Matrix Multiplication [2.770988618353868]
2-party quantum scalar product (S2SP)は、セキュアマルチパーティ計算(SMC)における有望な研究領域である既存の量子S2SPプロトコルは十分に効率が良くないため、複雑さは通常指数レベルに近い。本稿では,Fourier状態に基づくセキュアな2パーティ量子スカラー(S2QSP)プロトコルを提案する。
論文参考訳（メタデータ） (2023-09-23T14:33:46Z)
Encrypted Dynamic Control exploiting Limited Number of Multiplications and a Method using RLWE-based Cryptosystem [0.3749861135832073]
本稿では,ほとんどの同型暗号方式で実装可能な動的コントローラを暗号化する手法を提案する。結果として、暗号化されたコントローラは、暗号化されたデータごとに、限られた数の同型乗算しか必要としない。本稿では,Ring Learning With Errors(RLWE)ベースの暗号システムにおいて,メッセージのベクトルを1つの暗号文に暗号化する手法のカスタマイズを提案する。
論文参考訳（メタデータ） (2023-07-07T08:24:48Z)
Robust and efficient verification of graph states in blind measurement-based quantum computation [52.70359447203418]
Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
論文参考訳（メタデータ） (2023-05-18T06:24:45Z)
Actor-Critic based Improper Reinforcement Learning [61.430513757337486]
我々は,未知のマルコフ決定プロセスに対して,学習者に100万ドルのベースコントローラを付与する不適切な強化学習環境を考える。本稿では,(1)ポリシーグラディエントに基づくアプローチ,(2)単純なアクター・クリティカル・スキームとNatural Actor-Criticスキームを切り替えるアルゴリズムを提案する。
論文参考訳（メタデータ） (2022-07-19T05:55:02Z)
Data post-processing for the one-way heterodyne protocol under composable finite-size security [62.997667081978825]
本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
論文参考訳（メタデータ） (2022-05-20T12:37:09Z)
Composably secure data processing for Gaussian-modulated continuous variable quantum key distribution [58.720142291102135]
連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
論文参考訳（メタデータ） (2021-03-30T18:02:55Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。