Fugu-MT 論文翻訳(概要): Short Paper: Accountable Safety Implies Finality

論文の概要: Short Paper: Accountable Safety Implies Finality

arxiv url: http://arxiv.org/abs/2308.16902v3
Date: Thu, 28 Dec 2023 05:39:36 GMT
ステータス: 処理完了
システム内更新日: 2024-03-19 07:03:01.482751
Title: Short Paper: Accountable Safety Implies Finality
Title（参考訳）: 速報:説明責任の安全性は最終結果に影響を及ぼす
Authors: Joachim Neu, Ertem Nusret Tas, David Tse,
Abstract要約: ビザンチン・フォールト耐性(BFT)状態機械複製(SMR)コンセンサスプロトコルについて、2つの重要なデシラタが研究されている。説明責任の安全性が最終性を意味することを示し、その結果、以前の結果を統一する。
参考スコア（独自算出の注目度）: 10.589723476970443
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Motivated by proof-of-stake (PoS) blockchains such as Ethereum, two key desiderata have recently been studied for Byzantine-fault tolerant (BFT) state-machine replication (SMR) consensus protocols: Finality means that the protocol retains consistency, as long as less than a certain fraction of validators are malicious, even in partially-synchronous environments that allow for temporary violations of assumed network delay bounds. Accountable safety means that in any case of inconsistency, a certain fraction of validators can be identified to have provably violated the protocol. Earlier works have developed impossibility results and protocol constructions for these properties separately. We show that accountable safety implies finality, thereby unifying earlier results.
Abstract（参考訳）: BFT(Byzantine-fault Tolerant)ステートマシンレプリケーション(SMR)コンセンサスプロトコルでは,EthereumなどのPoSブロックチェーンをモチベーションとして,2つの重要なDesiderataが研究されている。アカウンタブル・セーフティとは、いかなる不整合の場合でも、一部のバリデーターがプロトコルに確実に違反したと特定できることを意味する。初期の研究は、これらの特性に対する可逆性の結果とプロトコル構築を別々に開発した。説明責任の安全性が最終性を意味することを示し、その結果、以前の結果を統一する。

関連論文リスト

Robust Yet Efficient Conformal Prediction Sets [53.78604391939934]
コンフォーマル予測(CP)は、任意のモデルの出力を真のラベルを含むことが保証された予測セットに変換することができる。整合性スコアの最悪のケース変化をバウンドすることで、証明可能なロバストな集合を導出する。
論文参考訳（メタデータ） (2024-07-12T10:59:44Z)
Security of hybrid BB84 with heterodyne detection [0.0]
量子鍵分布(QKD)は物理学の法則に基づく永続的なセキュリティを約束する。最近のハイブリッドQKDプロトコルは、両方のカテゴリの利点を活用するために導入されている。我々は2021年にQiによって導入されたプロトコルの厳密なセキュリティ証明を提供し、そこでは情報を離散変数に符号化する。
論文参考訳（メタデータ） (2024-02-26T19:00:01Z)
A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文参考訳（メタデータ） (2024-01-19T14:52:04Z)
Security of a Continuous-Variable based Quantum Position Verification Protocol [0.0]
我々は、コヒーレントな状態とその特性を利用するプロトコルを提示し、分析する。我々は、エントロピーの不確実性関係を通じて、無拘束攻撃者に対するプロトコルの安全性を証明する。連続変数のEPRペアを事前に共有している攻撃者がプロトコルを破ることができることを示す。
論文参考訳（メタデータ） (2023-08-08T09:56:38Z)
Robustness of implemented device-independent protocols against constrained leakage [0.0]
デバイス非依存(DI)プロトコルは近年大きな進歩を遂げている。これらのデモのセキュリティ証明は、DI暗号の典型的な前提に依存しており、デバイスは互いに望ましくない情報を漏らさないし、敵にも漏らさない。
論文参考訳（メタデータ） (2023-02-27T16:28:23Z)
Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum Key Distribution Protocols [4.58733012283457]
本稿では,一般的なDM CV-QKDプロトコルに対して,独立かつ同一に分散された集団攻撃に対する構成可能な有限サイズセキュリティ証明を提案する。我々は、セキュア鍵レートの厳密な下限を計算するために、数値的なセキュリティ証明手法を拡張し、適用する。その結果,少なくとも72kmの伝送距離で実験可能な条件下では,セキュアな有限サイズ鍵レートが得られることがわかった。
論文参考訳（メタデータ） (2023-01-20T17:16:21Z)
The Quantum Chernoff Divergence in Advantage Distillation for QKD and DIQKD [0.0]
デバイス非依存型量子鍵分布(DIQKD)は、量子デバイスにおける不完全性の敵対的利用を軽減することを目的としている。量子チャーノフの発散を忠実さに置き換える別の証明構造を提案する。本結果は、DIQKDが可能である状況に関する量子情報理論の基本的な問題に関する知見を提供する。
論文参考訳（メタデータ） (2022-12-14T01:44:23Z)
Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive Privacy Analysis and Beyond [57.10914865054868]
垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
論文参考訳（メタデータ） (2022-07-19T05:47:30Z)
Conformal Off-Policy Prediction in Contextual Bandits [54.67508891852636]
コンフォーマルなオフ政治予測は、新しい目標ポリシーの下で、結果に対する信頼できる予測間隔を出力することができる。理論上の有限サンプル保証は、標準的な文脈的バンディットの設定を超える追加の仮定をすることなく提供する。
論文参考訳（メタデータ） (2022-06-09T10:39:33Z)
Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文参考訳（メタデータ） (2022-03-03T10:07:32Z)
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)

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