論文の概要: Liveness Checking of the HotStuff Protocol Family

• arxiv url: http://arxiv.org/abs/2310.09006v1
• Date: Fri, 13 Oct 2023 11:03:13 GMT
• ステータス: 処理完了
• システム内更新日: 2023-10-23 02:39:55.130224
• Title: Liveness Checking of the HotStuff Protocol Family
• Title（参考訳）: HotStuffプロトコルファミリーのライブチェック
• Authors: J\'er\'emie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou
• Abstract要約: ビザンティンコンセンサスプロトコルは、あらゆるネットワーク同期モデルの下で安全保証を維持することを目的としている。 いくつかのプロトコルは、特定のシナリオ下での生存性特性に違反することが示されている。 我々は,ビザンチンコンセンサスプロトコルの生存性をチェックするため,温度およびラッソ検出法を用いている。
• 参考スコア（独自算出の注目度）: 2.07180164747172
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Byzantine consensus protocols aim at maintaining safety guarantees under any network synchrony model and at providing liveness in partially or fully synchronous networks. However, several Byzantine consensus protocols have been shown to violate liveness properties under certain scenarios. Existing testing methods for checking the liveness of consensus protocols check for time-bounded liveness violations, which generate a large number of false positives. In this work, for the first time, we check the liveness of Byzantine consensus protocols using the temperature and lasso detection methods, which require the definition of ad-hoc system state abstractions. We focus on the HotStuff protocol family that has been recently developed for blockchain consensus. In this family, the HotStuff protocol is both safe and live under the partial synchrony assumption, while the 2-Phase Hotstuff and Sync HotStuff protocols are known to violate liveness in subtle fault scenarios. We implemented our liveness checking methods on top of the Twins automated unit test generator to test the HotStuff protocol family. Our results indicate that our methods successfully detect all known liveness violations and produce fewer false positives than the traditional time-bounded liveness checks.
• Abstract（参考訳）: ビザンチン合意プロトコルは、任意のネットワーク同期モデルの下での安全性保証の維持と、部分的または完全同期ネットワークにおける生存性の提供を目的としている。 しかし、いくつかのビザンチンのコンセンサスプロトコルは、特定のシナリオで生存特性に違反することが示されている。 既存のコンセンサスプロトコルのライブ性をチェックするテスト手法では、時間境界のライブ性違反をチェックし、多数の偽陽性を発生させる。 そこで本研究では,アドホックなシステム状態抽象化の定義を必要とする温度およびラッソ検出手法を用いて,ビザンチンコンセンサスプロトコルの寿命を初めて確認する。 ブロックチェーンコンセンサスのために最近開発されたhotstuffプロトコルファミリにフォーカスしています。 このファミリーでは、ホットスタフプロトコルは安全であり、部分同期の前提下では生存するが、2相ホットスタフプロトコルと同期ホットスタフプロトコルは微妙な障害シナリオで生存を損なうことが知られている。 我々は、hotstuffプロトコルファミリをテストするために、twins自動ユニットテストジェネレータ上にライブネスチェックメソッドを実装しました。 以上の結果から,本手法は既知のライブネス違反の検出に成功し,従来のタイムバウンドライブネスチェックよりも偽陽性率が少なくなることが示唆された。

関連論文リスト

• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。 しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• All graph state verification protocols are composably secure [1.534667887016089]
  グラフ状態検証プロトコルは、悪意のあるパーティの存在下でも、複数のパーティがグラフ状態を共有しながら、状態が誠実に準備されていることをチェックする。 以前の研究は、そのような性質は抽象暗号フレームワークでは証明できないと推測していた。 グラフ状態検証プロトコルはすべて,グラフ状態作成の自然な機能に関して,構成可能なセキュアなプロトコルに変換可能であることを示す。
  論文  参考訳（メタデータ） (2024-02-02T14:37:26Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• Short Paper: Accountable Safety Implies Finality [10.589723476970443]
  ビザンチン・フォールト耐性(BFT)状態機械複製(SMR)コンセンサスプロトコルについて、2つの重要なデシラタが研究されている。 説明責任の安全性が最終性を意味することを示し、その結果、以前の結果を統一する。
  論文  参考訳（メタデータ） (2023-08-31T17:58:38Z)
• 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)
• QuTE: decentralized multiple testing on sensor networks with false discovery rate control [130.7122910646076]
  本稿では、偽発見率(FDR)の証明可能な保証を備えたグラフ上での分散多重仮説検定法を設計する。 異なるエージェントが無向グラフのノードに存在し、各エージェントはそのノードに局所的な1つ以上の仮説に対応するp値を持つ。 各エージェントは、グラフ全体の大域的FDRが予め定義されたレベルで制御されなければならないという共同目的のもと、隣人とのみ通信することで、それぞれのローカル仮説の1つ以上の拒絶を個別に決めなければならない。
  論文  参考訳（メタデータ） (2022-10-09T19:48:39Z)
• Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees [123.0401978870009]
  ほぼ最適な統計率を持つビザンチン・ロバスト・フェデレーション学習プロトコルを提案する。 競合プロトコルに対してベンチマークを行い、提案プロトコルの実証的な優位性を示す。 我々のバケットプロトコルは、プライバシー保証手順と自然に組み合わせて、半正直なサーバに対するセキュリティを導入することができる。
  論文  参考訳（メタデータ） (2022-05-24T04:03:07Z)
• 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)
• Entanglement purification by counting and locating errors with entangling measurements [62.997667081978825]
  量子状態の複数コピーに対するエンタングルメント浄化プロトコルについて検討する。 ノイズアンサンブルにおける誤差の数と位置を高次元補助的絡み合いシステムを用いて学習する。
  論文  参考訳（メタデータ） (2020-11-13T19:02:33Z)
• Composable Security for Multipartite Entanglement Verification [3.4806267677524896]
  我々は、$n$のパーティが、おそらく不正直なパーティーによって制御される絡み合った生成リソースをテストすることができる構成可能なセキュアなプロトコルを提案する。 このテストは、状態が共有されると、局所的な量子演算と認証された古典的通信でのみ行われる。 我々のプロトコルは一般に、通信や計算プロトコルを実行する前に、ネットワーク間でGHZ状態を安全に共有するために、量子インターネットのサブルーチンとして使用することができる。
  論文  参考訳（メタデータ） (2020-04-16T14:33:17Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。