論文の概要: Towards automated verification of multi-party consensus protocols
- arxiv url: http://arxiv.org/abs/2112.02397v1
- Date: Sat, 4 Dec 2021 18:28:59 GMT
- ステータス: 処理完了
- システム内更新日: 2021-12-09 12:30:44.362209
- Title: Towards automated verification of multi-party consensus protocols
- Title（参考訳）: マルチパーティコンセンサスプロトコルの自動検証に向けて
- Authors: Ivan Fedotov, Anton Khritankov, Artem Barger
- Abstract要約: Hyperledger Fabricフレームワークは、承認ポリシープロトコルに基づくマルチパーティのコンセンサスを公開して、トランザクションに関するコンセンサスに到達する。
本稿では,統計的モデル検査と仮説検証を用いた支持政策の検証手法を提案する。
私たちの技術を使って、Hyperledger Fabricフレームワークを使ってエンタープライズアプリケーションを設計できます。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Blockchain technology and related frameworks have recently received extensive
attention. Blockchain systems use multi-party consensus protocols to reach
agreements on transactions. Hyperledger Fabric framework exposes a multi-party
consensus, based on endorsement policy protocol, to reach a consensus on a
transaction. In this paper, we define a problem of verification of a blockchain
multi-party consensus with probabilistic properties. Further, we propose a
verification technique of endorsement policies using statistical model checking
and hypothesis testing. We analyze several aspects of the policies, including
the ability to assign weights to organizations and the refusal probabilities of
organizations. We demonstrate on experiments the work of our verification
technique and how one can use experimental results to make the model
satisfiable the specification. One can use our technique to design enterprise
applications with the Hyperledger Fabric framework.
- Abstract（参考訳）: ブロックチェーン技術と関連するフレームワークは、最近広く注目を集めている。
ブロックチェーンシステムは、トランザクションの合意に達するためにマルチパーティコンセンサスプロトコルを使用する。
Hyperledger Fabricフレームワークは、承認ポリシープロトコルに基づくマルチパーティのコンセンサスを公開して、トランザクションに関するコンセンサスに到達する。
本稿では,確率特性を用いたブロックチェーンの多人数合意の検証問題を定義する。
さらに,統計的モデル検査と仮説検証を用いた支持政策の検証手法を提案する。
我々は、組織に重みを割り当てる能力や組織の拒否可能性など、政策のいくつかの側面を分析した。
実験では, 検証手法の成果と, 実験結果を用いて, モデルが仕様を満足できるようにする方法を実証する。
私たちの技術を使って、Hyperledger Fabricフレームワークを使ってエンタープライズアプリケーションを設計できます。
関連論文リスト
- The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳（メタデータ） (2024-07-16T20:53:04Z) - Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications [16.72979347045808]
ゼロ知識証明(ZKP)は、現代のブロックチェーンシステムのスケーラビリティ問題に対処するための、有望なソリューションとして登場した。
本研究では,暗号ハッシュの計算完全性を保証するため,ZKPの生成と検証を行う手法を提案する。
論文 参考訳（メタデータ） (2024-07-03T21:19:01Z) - A Novel Endorsement Protocol to Secure BFT-Based Consensus in Permissionless Blockchain [1.3723120574076126]
BFTベースのコンセンサスメカニズムは、ネットワークの高スケーラビリティ要件を満たすために、許可されたブロックチェーンで広く採用されている。
Sybil攻撃は、無許可ブロックチェーンにBFTベースのコンセンサスメカニズムを適用する際の最も潜在的な脅威の1つである。
本稿では,認証と検証プロセスの合理化と拡張性を実現するシグネチャアルゴリズムを用いた,新規なサポートベースのブートストラッププロトコルを提案する。
論文 参考訳（メタデータ） (2024-05-04T03:00:33Z) - What Blocks My Blockchain's Throughput? Developing a Generalizable Approach for Identifying Bottlenecks in Permissioned Blockchains [0.3495246564946556]
許可されたブロックチェーンのボトルネックを特定するための、より統一的でグラフィカルなアプローチを開発しています。
Hyperledger FabricとQuorumという2つの広く使用されているパーミッションブロックチェーンについて、詳細なケーススタディを実施しています。
論文 参考訳（メタデータ） (2024-04-02T13:00:50Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳（メタデータ） (2024-01-28T10:46:17Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - Conformal Policy Learning for Sensorimotor Control Under Distribution
Shifts [61.929388479847525]
本稿では,センサコントローラの観測値の分布変化を検知・応答する問題に焦点をあてる。
鍵となる考え方は、整合量子を入力として取ることができるスイッチングポリシーの設計である。
本稿では, 基本方針を異なる特性で切り替えるために, 共形量子関数を用いてこのようなポリシーを設計する方法を示す。
論文 参考訳（メタデータ） (2023-11-02T17:59:30Z) - Consensus Algorithms of Distributed Ledger Technology -- A Comprehensive Analysis [0.0]
この記事では、分散台帳技術(DLT)とブロックチェーンネットワークで使用されるさまざまなコンセンサスアルゴリズムを包括的に分析する。
ハードウェア要件、事前トラストレベル、トレランスレベルなどを含む11の属性を使用して、これらのコンセンサスアルゴリズムを評価する一連の比較表を生成する。
本稿では,これらのコンセンサスアルゴリズムがサプライチェーン管理,インテリジェントトランスポートシステム,スマートヘルスケアなど,様々なサイバー物理システム(CPS)のユースケースに適用可能であることを論じる。
論文 参考訳（メタデータ） (2023-09-23T23:32:11Z) - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳（メタデータ） (2023-09-12T09:37:26Z) - Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts [26.70294159598272]
本稿では、ブロックチェーントランザクションとスマートコントラクトの攻撃を検出するために設計された、新しい協調学習フレームワークを提案する。
当社のフレームワークは,マシンコードレベルでの複雑な攻撃を含む,さまざまな種類のブロックチェーン攻撃を分類する機能を示している。
我々のフレームワークは、広範囲なシミュレーションによって約94%の精度を達成し、リアルタイム実験では91%のスループットで毎秒2,150トランザクションを処理している。
論文 参考訳（メタデータ） (2023-08-30T07:17:20Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳（メタデータ） (2023-04-25T11:56:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。